Roberto Di Cosmo

99 papers A* 13A 8B 12Misc 1Journal 40Unranked 23

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