Profils utilisateurs correspondant à "Roberto Di Cosmo"

Roberto Di Cosmo

Professor of Computer Science, University Paris Diderot
Adresse e-mail validée de dicosmo.org
Cité 3598 fois

[LIVRE][B] Le hold-up planétaire: La face cachée de Microsoft

R Di Cosmo, D Nora - 1998 - books.google.com
… Le temps d’écouter Roberto Di Cosmo décortiquer avec brio … Âgé de trente-cinq ans, italien,
Roberto Di Cosmo est … des mortels n’empêche pas Roberto Di Cosmo de faire preuve d’un …

Managing the complexity of large free and open source package-based software distributions

F Mancinelli, J Boender, R Di Cosmo… - 21st IEEE/ACM …, 2006 - ieeexplore.ieee.org
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 …

Software heritage: Why and how to preserve software source code

R Di Cosmo, S Zacchiroli - iPRES 2017-14th International Conference …, 2017 - hal.science
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 …

[PDF][PDF] Building the universal archive of source code

JF Abramatic, R Di Cosmo, S Zacchiroli - Communications of the ACM, 2018 - dl.acm.org
… 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 …

Dependency solving: a separate concern in component evolution management

P Abate, R Di Cosmo, R Treinen, S Zacchiroli - Journal of Systems and …, 2012 - Elsevier
Maintenance of component-based software platforms often has to face rapid evolution of
software components. Component dependencies, conflicts, and package managers with …

[HTML][HTML] Aeolus: A component model for the cloud

R Di Cosmo, J Mauro, S Zacchiroli… - Information and …, 2014 - Elsevier
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 …

Strong dependencies between software components

P Abate, R Di Cosmo, J Boender… - 2009 3rd International …, 2009 - ieeexplore.ieee.org
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 …

Provable isomorphisms of types

K Bruce, R Di Cosmo, G Longo - Mathematical Structures in …, 1992 - ens.hal.science
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 …

Why do software packages conflict?

C Artho, K Suzaki, R Di Cosmo… - 2012 9th IEEE …, 2012 - ieeexplore.ieee.org
Determining whether two or more packages cannot be installed together is an important issue
in the quality assurance process of package-based distributions. Unfortunately, the sheer …

Package upgrades in FOSS distributions: Details and challenges

R Di Cosmo, S Zacchiroli, P Trezentos - Proceedings of the 1st …, 2008 - dl.acm.org
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 …