default search action
Roberto Di Cosmo
Person information
- affiliation: INRIA, France
- affiliation: Paris Diderot University, Paris, France
- affiliation (PhD): University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i10]Roberto Di Cosmo, Stefano Zacchiroli:
The Software Heritage Open Science Ecosystem. CoRR abs/2310.10295 (2023) - 2022
- [c56]Roberto Di Cosmo:
Should We Preserve the World's Software History, And Can We? TPDL 2022: 3-7 - 2021
- [c55]Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi:
Preserving landmark legacy software with the Software Heritage Acquisition Process. iPRES 2021 - 2020
- [j27]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): 39-52 (2020) - [j26]Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli:
Referencing Source Code Artifacts: A Separate Concern in Software Citation. Comput. Sci. Eng. 22(2): 33-43 (2020) - [j25]Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli:
Software provenance tracking at the scale of public source code. Empir. Softw. Eng. 25(4): 2930-2959 (2020) - [j24]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): 1-16 (2020) - [j23]Roberto Di Cosmo:
Announcing biblatex-software: software citation made easy. ACM SIGSOFT Softw. Eng. Notes 45(4): 22-23 (2020) - [c54]Roberto Di Cosmo:
Archiving and Referencing Source Code with Software Heritage. ICMS 2020: 362-373 - [c53]Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli:
Dependency Solving Is Still Hard, but We Are Getting Better at It. SANER 2020: 547-551 - [i9]Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli:
Referencing Source Code Artifacts: a Separate Concern in Software Citation. CoRR abs/2001.08647 (2020) - [i8]Roberto Di Cosmo:
Archiving and referencing source code with Software Heritage. CoRR abs/2004.00514 (2020) - [i7]Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli:
Dependency Solving Is Still Hard, but We Are Getting Better at It. CoRR abs/2011.07851 (2020)
2010 – 2019
- 2019
- [c52]Roberto Di Cosmo:
Software Heritage: que faire avec tout le code source du monde? EGC 2019: 5-6 - [i6]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 abs/1905.11123 (2019) - [i5]Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli:
Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale. CoRR abs/1906.08076 (2019) - [i4]Roberto Di Cosmo:
How to use Software Heritage for archiving and referencing your source code: guidelines and walkthrough. CoRR abs/1909.10760 (2019) - 2018
- [j22]Jean-François Abramatic, Roberto Di Cosmo, Stefano Zacchiroli:
Building the universal archive of source code. Commun. ACM 61(10): 29-31 (2018) - [c51]Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli:
Identifiers for Digital Objects: The case of software source code preservation. iPRES 2018 - [c50]Roberto Di Cosmo:
Software heritage: collecting, preserving, and sharing all our source code (keynote). ASE 2018: 1-2 - 2017
- [j21]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): 4:1-4:25 (2017) - [c49]Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro:
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. CP 2017: 370-386 - [c48]Roberto Di Cosmo, Stefano Zacchiroli:
Software Heritage: Why and How to Preserve Software Source Code. iPRES 2017 - [c47]Pietro Abate, Roberto Di Cosmo:
Adoption of Academic Tools in Open Source Communities: The Debian Case Study. OSS 2017: 139-150 - [e1]Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli:
Open Source Systems: Towards Robust Practices - 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings. IFIP Advances in Information and Communication Technology 496, 2017, ISBN 978-3-319-57734-0 [contents] - 2015
- [c46]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: 1-16 - [c45]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: 397-411 - [c44]Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli:
Mining Component Repositories for Installability Issues. MSR 2015: 24-33 - [c43]Maëlick Claes, Tom Mens, Roberto Di Cosmo, Jérôme Vouillon:
A Historical Analysis of Debian Package Incompatibilities. MSR 2015: 212-223 - 2014
- [j20]Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro:
Aeolus: A component model for the cloud. Inf. Comput. 239: 100-121 (2014) - [j19]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Learning from the future of component repositories. Sci. Comput. Program. 90: 93-115 (2014) - [c42]Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo:
Easing software component repository evolution. ICSE 2014: 756-766 - [c41]Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi:
Automated synthesis and deployment of cloud applications. ASE 2014: 211-222 - 2013
- [j18]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
A modular package manager architecture. Inf. Softw. Technol. 55(2): 459-474 (2013) - [j17]Jérôme Vouillon, Roberto Di Cosmo:
On software component co-installability. ACM Trans. Softw. Eng. Methodol. 22(4): 34:1-34:35 (2013) - [c40]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: 1-3 - [c39]Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro:
Component Reconfiguration in the Presence of Conflicts. ICALP (2) 2013: 187-198 - [c38]Jérôme Vouillon, Roberto Di Cosmo:
Broken sets in software repository evolution. ICSE 2013: 412-421 - 2012
- [j16]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Dependency solving: A separate concern in component evolution management. J. Syst. Softw. 85(10): 2228-2240 (2012) - [c37]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Learning from the future of component repositories. CBSE 2012: 51-60 - [c36]Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO 2012: 216-239 - [c35]Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Why do software packages conflict? MSR 2012: 141-150 - [c34]Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro:
Towards a Formal Component Model for the Cloud. SEFM 2012: 156-171 - [c33]Marco Danelutto, Roberto Di Cosmo:
A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml. ICCS 2012: 1837-1846 - 2011
- [j15]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): 1144-1160 (2011) - [c32]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
MPM: a modular package manager. CBSE 2011: 179-188 - [c31]Pietro Abate, Roberto Di Cosmo:
Predicting upgrade failures using dependency analysis. ICDE Workshops 2011: 145-150 - [c30]Roberto Di Cosmo, Jérôme Vouillon:
On software component co-installability. SIGSOFT FSE 2011: 256-266 - [c29]Roberto Di Cosmo, Olivier Lhomme, Claude Michel:
Aligning component upgrades. LoCoCo 2011: 1-11 - [i3]Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli:
Sources of Inter-package Conflicts in Debian. CoRR abs/1110.1354 (2011) - 2010
- [j14]Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4): 25:1-25:24 (2010) - [c28]Roberto Di Cosmo, Jaap Boender:
Using strong conflicts to detect quality issues in component-based complex systems. ISEC 2010: 163-172 - [c27]Roberto Di Cosmo, Stefano Zacchiroli:
Feature Diagrams as Package Dependencies. SPLC 2010: 476-480
2000 – 2009
- 2009
- [c26]Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli:
Strong dependencies between software components. ESEM 2009: 89-99 - [i2]Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos:
Package upgrades in FOSS distributions: details and challenges. CoRR abs/0902.1610 (2009) - [i1]Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli:
Strong Dependencies between Software Components. CoRR abs/0905.4226 (2009) - 2008
- [j13]Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis:
Skeletal Parallel Programming with OCamlP3l 2.0. Parallel Process. Lett. 18(1): 149-164 (2008) - [c25]Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli:
Improving the Quality of GNU/Linux Distributions. COMPSAC 2008: 1240-1246 - [c24]Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On Isomorphisms of Intersection Types. CSL 2008: 461-477 - [c23]Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos:
Package Upgrades In FOSS Distributions: Details And Challenges. HotSWUp 2008 - 2007
- [j12]Roberto Di Cosmo, Zheng Li, Susanna Pelagatti:
A calculus for parallel computations over multidimensional dense arrays. Comput. Lang. Syst. Struct. 33(3-4): 82-110 (2007) - 2006
- [j11]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): 35-50 (2006) - [j10]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): 539-550 (2006) - [c22]Roberto Di Cosmo:
Educating the e-citizen. ITiCSE 2006: 1 - [c21]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: 199-208 - 2005
- [j9]Roberto Di Cosmo:
A short survey of isomorphisms of types. Math. Struct. Comput. Sci. 15(5): 825-838 (2005) - [c20]François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis:
Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO 2005: 811-818 - [c19]Roberto Di Cosmo, François Pottier, Didier Rémy:
Subtyping Recursive Types Modulo Associative Commutative Products. TLCA 2005: 179-193 - 2004
- [c18]Roberto Di Cosmo, Thomas Dufour:
The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. LPAR 2004: 240-256 - [c17]Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore:
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL 2004: 64-76 - 2003
- [j8]Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski:
Proof Nets And Explicit Substitutions. Math. Struct. Comput. Sci. 13(3): 409-450 (2003) - [j7]Roberto Di Cosmo, Susanna Pelagatti:
A Calculus for Dense Array Distributions. Parallel Process. Lett. 13(3): 377-388 (2003) - 2002
- [c16]Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat:
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS 2002: 147- - 2000
- [c15]Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski:
Proof Nets and Explicit Substitutions. FoSSaCS 2000: 63-81 - [c14]Jean-Vincent Loddo, Roberto Di Cosmo:
Playing Logic Programs with the Alpha-Beta Algorithm. LPAR 2000: 207-224
1990 – 1999
- 1999
- [c13]Vincent Balat, Roberto Di Cosmo:
A Linear Logical View of Linear Type Isomorphisms. CSL 1999: 250-265 - [c12]Roberto Di Cosmo, Stefano Guerrini:
Strong Normalization of Proof Nets Modulo Structural Congruences. RTA 1999: 75-89 - 1998
- [c11]Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet:
A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP 1998: 355-373 - 1997
- [c10]Roberto Di Cosmo, Neil Ghani:
On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP 1997: 237-247 - [c9]Roberto Di Cosmo, Delia Kesner:
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). LICS 1997: 35-46 - 1996
- [j6]Pierre-Louis Curien, Roberto Di Cosmo:
A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. J. Funct. Program. 6(2): 299-327 (1996) - [j5]Roberto Di Cosmo, Delia Kesner:
Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. Theor. Comput. Sci. 169(2): 201-220 (1996) - [c8]Maria-Virginia Aponte, Roberto Di Cosmo:
Type Isomorphisms for Module Signatures. PLILP 1996: 334-346 - [c7]Roberto Di Cosmo:
On the Power of Simple Diagrams. RTA 1996: 200-214 - 1995
- [j4]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): 176-201 (1995) - [c6]Roberto Di Cosmo, Delia Kesner:
Rewriting with Extensional Polymorphic Lambda-Calculus. CSL 1995: 215-232 - [c5]Roberto Di Cosmo, Adolfo Piperno:
Expanding Extensional Polymorphism. TLCA 1995: 139-153 - 1994
- [j3]Roberto Di Cosmo, Delia Kesner:
Simulating Expansions without Expansions. Math. Struct. Comput. Sci. 4(3): 315-362 (1994) - [c4]Roberto Di Cosmo, Delia Kesner:
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. ICALP 1994: 462-472 - 1993
- [j2]Roberto Di Cosmo:
Deciding Type Isomorphisms in a Type-Assignment Framework. J. Funct. Program. 3(4): 485-525 (1993) - [c3]Roberto Di Cosmo, Delia Kesner:
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. ICALP 1993: 645-656 - 1992
- [j1]Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo:
Provable Isomorphisms of Types. Math. Struct. Comput. Sci. 2(2): 231-247 (1992) - [c2]Roberto Di Cosmo:
Type Isomorphisms in a Type-Assignment Framework. POPL 1992: 200-210 - 1991
- [c1]Pierre-Louis Curien, Roberto Di Cosmo:
A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. ICALP 1991: 291-302
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint