Roberto Di Cosmo

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 24

Top Topics

Bug Localization

Legacy Software

Top Venues

Comput. Sci. Eng.

Publications

Roberto Di Cosmo, Stefano Zacchiroli
The Software Heritage Open Science Ecosystem. CoRR (2023)
Roberto Di Cosmo
Should We Preserve the World's Software History, And Can We? TPDL (2022)
Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi
Preserving landmark legacy software with the Software Heritage Acquisition Process. iPRES (2021)
Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli
Dependency Solving Is Still Hard, but We Are Getting Better at It. CoRR (2020)
Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli
Software provenance tracking at the scale of public source code. Empir. Softw. Eng. 25 (4) (2020)
Roberto Di Cosmo, Morane Gruenpeter, Bruno Marmol, Alain Monteil, Laurent Romary, Jozefina Sadowska
Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive (HAL). Int. J. Digit. Curation 15 (1) (2020)
Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli
Referencing Source Code Artifacts: a Separate Concern in Software Citation. CoRR (2020)
Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Saïd Hacid, Arnaud Legrand, Nicolas P. Rougier
Attributing and Referencing (Research) Software: Best Practices and Outlook From Inria. Comput. Sci. Eng. 22 (1) (2020)
Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli
Referencing Source Code Artifacts: A Separate Concern in Software Citation. Comput. Sci. Eng. 22 (2) (2020)
Roberto Di Cosmo
Archiving and Referencing Source Code with Software Heritage. ICMS (2020)
Roberto Di Cosmo
Archiving and referencing source code with Software Heritage. CoRR (2020)
Roberto Di Cosmo
Announcing biblatex-software: software citation made easy. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli
Dependency Solving Is Still Hard, but We Are Getting Better at It. SANER (2020)
Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli
Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale. CoRR (2019)
Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Said Hacid, Arnaud Legrand, Nicolas P. Rougier
Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria. CoRR (2019)
Roberto Di Cosmo
How to use Software Heritage for archiving and referencing your source code: guidelines and walkthrough. CoRR (2019)
Roberto Di Cosmo
Software Heritage: que faire avec tout le code source du monde? EGC (2019)
Roberto Di Cosmo
Software heritage: collecting, preserving, and sharing all our source code (keynote). ASE (2018)
Jean-François Abramatic, Roberto Di Cosmo, Stefano Zacchiroli
Building the universal archive of source code. Commun. ACM 61 (10) (2018)
Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli
Identifiers for Digital Objects: The case of software source code preservation. iPRES (2018)
Roberto Di Cosmo, Stefano Zacchiroli
Software Heritage: Why and How to Preserve Software Source Code. iPRES (2017)
Benjamin Canou, Roberto Di Cosmo, Grégoire Henry
Scaling up functional programming education: under the hood of the OCaml MOOC. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. CP (2017)
Pietro Abate, Roberto Di Cosmo
Adoption of Academic Tools in Open Source Communities: The Debian Case Study. OSS (2017)
Maëlick Claes, Tom Mens, Roberto Di Cosmo, Jérôme Vouillon
A Historical Analysis of Debian Package Incompatibilities. MSR (2015)
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
Mining Component Repositories for Installability Issues. MSR (2015)
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR (2015)
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC (2015)
Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo
Easing software component repository evolution. ICSE (2014)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
Aeolus: A component model for the cloud. Inf. Comput. 239 (2014)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Learning from the future of component repositories. Sci. Comput. Program. 90 (2014)
Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
Automated synthesis and deployment of cloud applications. ASE (2014)
Jérôme Vouillon, Roberto Di Cosmo
On software component co-installability. ACM Trans. Softw. Eng. Methodol. 22 (4) (2013)
Jérôme Vouillon, Roberto Di Cosmo
Broken sets in software repository evolution. ICSE (2013)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
A modular package manager architecture. Inf. Softw. Technol. 55 (2) (2013)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
Component Reconfiguration in the Presence of Conflicts. ICALP (2) (2013)
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC (2013)
Marco Danelutto, Roberto Di Cosmo
A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml. ICCS (2012)
Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO (2012)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Dependency solving: A separate concern in component evolution management. J. Syst. Softw. 85 (10) (2012)
Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Why do software packages conflict? MSR (2012)
Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
Towards a Formal Component Model for the Cloud. SEFM (2012)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Learning from the future of component repositories. CBSE (2012)
Roberto Di Cosmo, Jérôme Vouillon
On software component co-installability. SIGSOFT FSE (2011)
Roberto Di Cosmo, Olivier Lhomme, Claude Michel
Aligning component upgrades LoCoCo (2011)
Pietro Abate, Roberto Di Cosmo
Predicting upgrade failures using dependency analysis. ICDE Workshops (2011)
Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
Supporting software evolution in component-based FOSS systems. Sci. Comput. Program. 76 (12) (2011)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
MPM: a modular package manager. CBSE (2011)
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli
Sources of Inter-package Conflicts in Debian CoRR (2011)
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
On isomorphisms of intersection types. ACM Trans. Comput. Log. 11 (4) (2010)
Roberto Di Cosmo, Jaap Boender
Using strong conflicts to detect quality issues in component-based complex systems. ISEC (2010)
Roberto Di Cosmo, Stefano Zacchiroli
Feature Diagrams as Package Dependencies. SPLC (2010)
Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
Strong Dependencies between Software Components CoRR (2009)
Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli
Strong dependencies between software components. ESEM (2009)
Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos
Package upgrades in FOSS distributions: details and challenges CoRR (2009)
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
On Isomorphisms of Intersection Types. CSL (2008)
Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos
Package Upgrades In FOSS Distributions: Details And Challenges. HotSWUp (2008)
Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli
Improving the Quality of GNU/Linux Distributions. COMPSAC (2008)
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis
Skeletal Parallel Programming with OCamlP3l 2.0. Parallel Process. Lett. 18 (1) (2008)
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti
A calculus for parallel computations over multidimensional dense arrays. Comput. Lang. Syst. Struct. 33 (3-4) (2007)
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
Domain decomposition and skeleton programming with OCamlP3l. Parallel Comput. 32 (7-8) (2006)
Roberto Di Cosmo
Educating the e-citizen. ITiCSE (2006)
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
Remarks on isomorphisms in typed lambda calculi with empty and sum types. Ann. Pure Appl. Log. 141 (1-2) (2006)
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE (2006)
Roberto Di Cosmo, François Pottier, Didier Rémy
Subtyping Recursive Types Modulo Associative Commutative Products. TLCA (2005)
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO (2005)
Roberto Di Cosmo
A short survey of isomorphisms of types. Math. Struct. Comput. Sci. 15 (5) (2005)
Roberto Di Cosmo, Thomas Dufour
The Equational Theory of Is Decidable, but Not Finitely Axiomatisable. LPAR (2004)
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL (2004)
Roberto Di Cosmo, Susanna Pelagatti
A Calculus for Dense Array Distributions. Parallel Process. Lett. 13 (3) (2003)
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski
Proof Nets And Explicit Substitutions. Math. Struct. Comput. Sci. 13 (3) (2003)
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS (2002)
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski
Proof Nets and Explicit Substitutions. FoSSaCS (2000)
Jean-Vincent Loddo, Roberto Di Cosmo
Playing Logic Programs with the Alpha-Beta Algorithm. LPAR (2000)
Roberto Di Cosmo, Stefano Guerrini
Strong Normalization of Proof Nets Modulo Structural Congruences. RTA (1999)
Vincent Balat, Roberto Di Cosmo
A Linear Logical View of Linear Type Isomorphisms. CSL (1999)
Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet
A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP (1998)
Roberto Di Cosmo, Delia Kesner
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). LICS (1997)
Roberto Di Cosmo, Neil Ghani
On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP (1997)
Roberto Di Cosmo, Delia Kesner
Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. Theor. Comput. Sci. 169 (2) (1996)
Roberto Di Cosmo
On the Power of Simple Diagrams. RTA (1996)
Maria-Virginia Aponte, Roberto Di Cosmo
Type Isomorphisms for Module Signatures. PLILP (1996)
Pierre-Louis Curien, Roberto Di Cosmo
A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. J. Funct. Program. 6 (2) (1996)
Roberto Di Cosmo, Adolfo Piperno
Expanding Extensional Polymorphism. TLCA (1995)
Roberto Di Cosmo
Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object Inf. Comput. 119 (2) (1995)
Roberto Di Cosmo, Delia Kesner
Rewriting with Extensional Polymorphic Lambda-Calculus. CSL (1995)
Roberto Di Cosmo, Delia Kesner
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. ICALP (1994)
Roberto Di Cosmo, Delia Kesner
Simulating Expansions without Expansions. Math. Struct. Comput. Sci. 4 (3) (1994)
Roberto Di Cosmo, Delia Kesner
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. ICALP (1993)
Roberto Di Cosmo
Deciding Type Isomorphisms in a Type-Assignment Framework. J. Funct. Program. 3 (4) (1993)
Roberto Di Cosmo
Type Isomorphisms in a Type-Assignment Framework. POPL (1992)
Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo
Provable Isomorphisms of Types. Math. Struct. Comput. Sci. 2 (2) (1992)
Pierre-Louis Curien, Roberto Di Cosmo
A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. ICALP (1991)