The widespread adoption of free and open source software (FOSS) in many strategic contexts
of the information technology society has drawn the attention on the issues regarding how …

Maintenance of component-based software platforms often has to face rapid evolution of
software components. Component dependencies, conflicts, and package managers with …

The upgrade problems faced by Free and Open Source Software distributions have
characteristics not easily found elsewhere. We describe the structure of packages and their role in …

Software is now a key component present in all aspects of our society. Its preservation has
attracted growing attention over the past years within the digital preservation community. We …

We introduce the Aeolus component model, which is specifically designed to capture
realistic scenarios arising when configuring and deploying distributed applications in the so-called …

Component-based systems often describe context requirements in terms of explicit inter-component
dependencies. Studying large instances of such systems - such as free and open …

… Roberto Di Cosmo LIENS-DMI Ecole Normale … Di Cosmo, Roberto, 1963Isomorphisms of
types: from [ lambda ]-calculus to information retrieval and language design / Roberto Di Cosmo…

… Jean-François Abramatic, Roberto Di Cosmo, and Stefano Zacchiroli … Di Cosmo, R. and
Zacchiroli, S. Software Heritage: Why … Roberto Di Cosmo (roberto@dicosmo.org) is director of …

Users and developers of software distributions are often confronted with installation problems
due to conflicting packages. A prototypical example of this are the Linux distributions such …

A constructive characterization is given of the isomorphisms which must hold in all models of
the typed lambda calculus with surjective pairing. Using the close relation between closed …