Roberto Di Cosmo

According to our database, Roberto Di Cosmo authored at least 81 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Software Heritage Open Science Ecosystem.

Roberto Di Cosmo, Stefano Zacchiroli

CoRR, 2023

2022

Should We Preserve the World's Software History, And Can We?

Roberto Di Cosmo

Proceedings of the Linking Theory and Practice of Digital Libraries, 2022

2021

Preserving landmark legacy software with the Software Heritage Acquisition Process.

Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi

Proceedings of the 17th International Conference on Digital Preservation, 2021

2020

Announcing biblatex-software: software citation made easy.

Roberto Di Cosmo

ACM SIGSOFT Softw. Eng. Notes, 2020

Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive (HAL).

Roberto Di Cosmo, Morane Gruenpeter, Bruno Marmol, Alain Monteil, Laurent Romary, Jozefina Sadowska

Int. J. Digit. Curation, 2020

Software provenance tracking at the scale of public source code.

Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli

Empir. Softw. Eng., 2020

Referencing Source Code Artifacts: A Separate Concern in Software Citation.

Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli

Comput. Sci. Eng., 2020

Attributing and Referencing (Research) Software: Best Practices and Outlook From Inria.

Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Saïd Hacid, Arnaud Legrand, Nicolas P. Rougier

Comput. Sci. Eng., 2020

Dependency Solving Is Still Hard, but We Are Getting Better at It.

Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Archiving and Referencing Source Code with Software Heritage.

Roberto Di Cosmo

Proceedings of the Mathematical Software - ICMS 2020, 2020

2019

How to use Software Heritage for archiving and referencing your source code: guidelines and walkthrough.

Roberto Di Cosmo

CoRR, 2019

Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale.

Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli

CoRR, 2019

Software Heritage: que faire avec tout le code source du monde?

Roberto Di Cosmo

Proceedings of the Extraction et Gestion des connaissances, 2019

2018

Building the universal archive of source code.

Jean-François Abramatic, Roberto Di Cosmo, Stefano Zacchiroli

Commun. ACM, 2018

Software heritage: collecting, preserving, and sharing all our source code (keynote).

Roberto Di Cosmo

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Identifiers for Digital Objects: The case of software source code preservation.

Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli

Proceedings of the 15th International Conference on Digital Preservation, 2018

2017

Scaling up functional programming education: under the hood of the OCaml MOOC.

Benjamin Canou, Roberto Di Cosmo, Grégoire Henry

Proc. ACM Program. Lang., 2017

Adoption of Academic Tools in Open Source Communities: The Debian Case Study.

Pietro Abate, Roberto Di Cosmo

Proceedings of the Open Source Systems: Towards Robust Practices, 2017

Software Heritage: Why and How to Preserve Software Source Code.

Roberto Di Cosmo, Stefano Zacchiroli

Proceedings of the 14th International Conference on Digital Preservation, 2017

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities.

Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro

Proceedings of the Principles and Practice of Constraint Programming, 2017

2015

A Historical Analysis of Debian Package Incompatibilities.

Maëlick Claes, Tom Mens, Roberto Di Cosmo, Jérôme Vouillon

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Mining Component Repositories for Installability Issues.

Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Automatic Deployment of Services in the Cloud with Aeolus Blender.

Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).

Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Learning from the future of component repositories.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Sci. Comput. Program., 2014

Aeolus: A component model for the cloud.

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro

Inf. Comput., 2014

Automated synthesis and deployment of cloud applications.

Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Easing software component repository evolution.

Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

On software component co-installability.

Jérôme Vouillon, Roberto Di Cosmo

ACM Trans. Softw. Eng. Methodol., 2013

A modular package manager architecture.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Inf. Softw. Technol., 2013

Broken sets in software repository evolution.

Jérôme Vouillon, Roberto Di Cosmo

Proceedings of the 35th International Conference on Software Engineering, 2013

Component Reconfiguration in the Presence of Conflicts.

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Aeolus: Mastering the Complexity of Cloud Application Deployment.

Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012

A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml.

Marco Danelutto, Roberto Di Cosmo

Proceedings of the International Conference on Computational Science, 2012

Dependency solving: A separate concern in component evolution management.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

J. Syst. Softw., 2012

Towards a Formal Component Model for the Cloud.

Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Why do software packages conflict?

Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Formal Aspects of Free and Open Source Software Components - A Short Survey.

Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Supporting software evolution in component-based FOSS systems.

Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli

Sci. Comput. Program., 2011

Sources of Inter-package Conflicts in Debian

Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli

CoRR, 2011

Aligning component upgrades

Roberto Di Cosmo, Olivier Lhomme, Claude Michel

Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

Predicting upgrade failures using dependency analysis.

Pietro Abate, Roberto Di Cosmo

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

MPM: a modular package manager.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010

On isomorphisms of intersection types.

Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta

ACM Trans. Comput. Log., 2010

Feature Diagrams as Package Dependencies.

Roberto Di Cosmo, Stefano Zacchiroli

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Using strong conflicts to detect quality issues in component-based complex systems.

Roberto Di Cosmo, Jaap Boender

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009

Strong dependencies between software components.

Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008

Skeletal Parallel Programming with OCamlP3l 2.0.

Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis

Parallel Process. Lett., 2008

Package Upgrades In FOSS Distributions: Details And Challenges.

Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos

Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008

Improving the Quality of GNU/Linux Distributions.

Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A calculus for parallel computations over multidimensional dense arrays.

Roberto Di Cosmo, Zheng Li, Susanna Pelagatti

Comput. Lang. Syst. Struct., 2007

2006

Domain decomposition and skeleton programming with OCamlP3l.

François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis

Parallel Comput., 2006

Remarks on isomorphisms in typed lambda calculi with empty and sum types.

Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat

Ann. Pure Appl. Log., 2006

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Educating the e-citizen.

Roberto Di Cosmo

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005

A short survey of isomorphisms of types.

Roberto Di Cosmo

Math. Struct. Comput. Sci., 2005

Subtyping Recursive Types Modulo Associative Commutative Products.

Roberto Di Cosmo, François Pottier, Didier Rémy

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

2004

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.

Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable.

Roberto Di Cosmo, Thomas Dufour

Proceedings of the Logic for Programming, 2004

2003

A Calculus for Dense Array Distributions.

Roberto Di Cosmo, Susanna Pelagatti

Parallel Process. Lett., 2003

Proof Nets And Explicit Substitutions.

Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski

Math. Struct. Comput. Sci., 2003

2000

Playing Logic Programs with the Alpha-Beta Algorithm.

Jean-Vincent Loddo, Roberto Di Cosmo

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Strong Normalization of Proof Nets Modulo Structural Congruences.

Roberto Di Cosmo, Stefano Guerrini

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

A Linear Logical View of Linear Type Isomorphisms.

Vincent Balat, Roberto Di Cosmo

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

A Game Semantics Foundation for Logic Programming (Extended Abstract).

Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).

Roberto Di Cosmo, Delia Kesner

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

On Modular Properties of Higher Order Extensional Lambda Calculi.

Roberto Di Cosmo, Neil Ghani

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints.

Roberto Di Cosmo, Delia Kesner

Theor. Comput. Sci., 1996

A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object.

Pierre-Louis Curien, Roberto Di Cosmo

J. Funct. Program., 1996

On the Power of Simple Diagrams.

Roberto Di Cosmo

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Type Isomorphisms for Module Signatures.

Maria-Virginia Aponte, Roberto Di Cosmo

Proceedings of the Programming Languages: Implementations, 1996

1995

Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object

Roberto Di Cosmo

Inf. Comput., June, 1995

Expanding Extensional Polymorphism.

Roberto Di Cosmo, Adolfo Piperno

Proceedings of the Typed Lambda Calculi and Applications, 1995

Rewriting with Extensional Polymorphic Lambda-Calculus.

Roberto Di Cosmo, Delia Kesner

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Simulating Expansions without Expansions.

Roberto Di Cosmo, Delia Kesner

Math. Struct. Comput. Sci., 1994

Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.

Roberto Di Cosmo, Delia Kesner

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Deciding Type Isomorphisms in a Type-Assignment Framework.

Roberto Di Cosmo

J. Funct. Program., 1993

A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.

Roberto Di Cosmo, Delia Kesner

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Provable Isomorphisms of Types.

Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo

Math. Struct. Comput. Sci., 1992

Type Isomorphisms in a Type-Assignment Framework.

Roberto Di Cosmo

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991

A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.

Pierre-Louis Curien, Roberto Di Cosmo

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991