BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Analysing co-installability of software components - Roberto Di Co
 smo (IRILL)
DTSTART:20130220T130000Z
DTEND:20130220T140000Z
UID:TALK42142@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:    Modern software systems are built by composing components 
 drawn from large\n    repositories\, whose size and complexity is increasi
 ng at a very fast pace. A\n    fundamental challenge for the maintainabili
 ty and the scalability of such\n    software systems is the ability to qui
 ckly identify the components that can or\n    cannot be installed together
 : this is the co-installability problem\, which is\n    related to boolean
  satisfiability and is known to be algorithmically hard. This\n    joint w
 ork with Jerome Vouillon presents a novel approach to the problem\, based\
 n    on semantic preserving graph-theoretic transformations\, that allows 
 to extract\n    from a concrete component repository a much smaller one wi
 th a simpler\n    structure\, but equivalent co-installability properties.
  This smaller repository\n    can be displayed in a way that provides a co
 ncise view of the co-installability\n    issues in the original repository
 \, or used as a basis for studying various\n    problems related to co-ins
 tallability\, and in particular the evolution of\n    co-installability du
 ring repository evolution. This approach has been\n    extensively tested 
 on GNU/Linux distributions\, but can be applied to a large\n    class of c
 omponent based systems.\n\n   And then reserve for an informal discussion 
 the work that has been\n   organised around the MISC solver competition fo
 r improving the quality of\n   package installers like apt-get for Debian 
 (and that can be quite relevant\n   for Opam :-))\n\nBio: Roberto Di Cosmo
  (http://www.dicosmo.org) holds a PhD in Computer Science and is currently
  Computer Science professor at University Paris Diderot\, after teaching f
 or almost a decade at Ecole Normale Supérieure in Paris\, and spending a 
 few years at INRIA.\n\nHis long term research interest in theoretical comp
 uting range from functional programming\, parallel and distributed program
 ming\, the semantics of programming languages\, type systems\, rewriting a
 nd linear logic. More recently\, he focused on new scientific problems pos
 ed by the general adoption of Free Software\, with a particular focus on s
 tatic analysis of large software collections\, that were at the core of th
 e Mancoosi european project (www.mancoosi.org).\n\nFollowing the evolution
  of our society under the impact of IT with great interest\, he is a long 
 term Free Software advocate\, contributing to its adoption since 1998 with
  books\, seminars\, articles and software. After creating the Free Softwar
 e thematic group of Systematic in October 2007\, he is currently director 
 of IRILL (www.irill.org)\, a research structure dedicated to Free and Open
  Source Software quality.\n\n
LOCATION:LT2\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR