|
[6]
|
Isabelle Blanc Catala, Roberto Di Cosmo, Mathieu Giraud, Daniel Le Berre,
Violaine Louvet, and Sophie Renaudin.
Establishing a national research software award.
Open Research Europe, 3:185, October 2023.
Version 1, submitted for review.
|
|
[5]
|
Valentin Lorentz, Roberto Di Cosmo, and Stefano Zacchiroli.
The Popular Content Filenames Dataset: Deriving Most Likely
Filenames from the Software Heritage Archive.
Technical report, July 2023.
preprint.
|
|
[4]
|
Manuel Carro, Stefano Bistarelli, Roberto Di Cosmo, and Alfonso Pierantonio.
Open Access: Status and Recommendations.
Technical report, Informatics Europe, May 2023.
|
|
[3]
|
Daniel Le Berre, Jean-Yves Jeannas, Roberto Di Cosmo, and François
Pellegrini.
Higher Education and Research Forges in France - Definition, uses,
limitations encountered and needs analysis.
Technical report, Comité pour la science ouverte, May 2023.
English translation of [1].
|
|
[2]
|
Roberto Di Cosmo and Stefano Zacchiroli.
The Software Heritage Open Science Ecosystem, pages 33--61.
Springer International Publishing, Cham, 2023.
|
|
[1]
|
Daniel Le Berre, Jean-Yves Jeannas, Roberto Di Cosmo, and François
Pellegrini.
Forges de l'Enseignement supérieur et de la Recherche
-Définition, usages, limitations rencontrées et analyse des besoins.
Technical report, Comité pour la science ouverte, 2023.
|
|
[4]
|
Roberto Di Cosmo.
Code Source.
In Dictionnaire du Numérique. February 2022.
English version available at
http://www.dicosmo.org/Articles/2022-02-code-source_EN.pdf.
|
|
[3]
|
Roberto Di Cosmo.
Building the software pillar of Open Science.
In Open Science European Conferencem (OSEC 2022), pages
183--193. OpenEdition Press, 2022.
English translation of [2].
|
|
[2]
|
Roberto Di Cosmo.
Construire le pilier logiciel de la Science Ouverte.
In Open Science European Conferencem (OSEC 2022), pages
183--193. OpenEdition Press, 2022.
|
|
[1]
|
Roberto Di Cosmo.
Should we preserve the world's software history, and can we?
In Gianmaria Silvello, Óscar Corcho, Paolo Manghi, Giorgio
Maria Di Nunzio, Koraljka Golub, Nicola Ferro, and Antonella Poggi, editors,
Linking Theory and Practice of Digital Libraries - 26th International
Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua,
Italy, September 20-23, 2022, Proceedings, volume 13541 of Lecture
Notes in Computer Science, pages 3--7. Springer, 2022.
|
|
[3]
|
Morane Gruenpeter, Roberto Di Cosmo, Katherine Thornton, Kenneth Seals-Nutt,
Carlo Montangero, and Guido Scatena.
Software Stories for landmark legacy code.
Research report, Inria, November 2021.
|
|
[2]
|
Roberto Di Cosmo, Carlo Montangero, Guido Scatena, and Laura Bussi.
Preserving landmark legacy software with the Software Heritage
Acquisition Process.
In iPres2021 - 17th International Conference on Digital
Preservation, Beijing, China, 2021.
|
|
[1]
|
Roberto Di Cosmo.
Software Heritage, une archive pour collecter et préserver le
code source.
Bulletin des Bibliothèques de France, 2021.
|
|
[12]
|
Morane Gruenpeter, Roberto Di Cosmo, Alice Allen, Anita Bandrowski, Peter Chan,
Martin Fenner, Leyla Garcia, Catherine M. Jones, Daniel S. Katz, John Kunze,
Moritz Schubotz, and Ilian T. Todorov.
Use cases and identifier schemes for persistent software source code
identification.
Technical report, October 2020.
Output from the Research Data Alliance/FORCE11 Software Source Code
Identification Working group.
|
|
[11]
|
Roberto Di Cosmo.
Announcing biblatex-software.
ACM SIGSOFT Software Engineering Notes, 45(4):22--23,
October 2020.
|
|
[10]
|
Roberto Di Cosmo, Morane Gruenpeter, Bruno Marmol, Alain Monteil, Laurent
Romary, and Jozefina Sadowska.
Curated archiving of research software artifacts: Lessons learned
from the french open archive (HAL).
International Journal of Digital Curation, 15(1):16, August
2020.
|
|
[9]
|
Roberto Di Cosmo.
Software Heritage, the universal source code archive.
Enjeux Numériques, (10), June 2020.
|
|
[8]
|
Roberto Di Cosmo and Marco Danelutto.
[Rp] Reproducing and replicating the OCamlP3l experiment.
ReScience C, 6(1):#2, April 2020.
|
|
[7]
|
Roberto Di Cosmo.
What is a sustainable path to open access?, Jan 2020.
|
|
[6]
|
Roberto Di Cosmo, Jose Benito Gonzalez Lopez, Jean-François Abramatic, Kay
Graf, Miguel Colom, Paolo Manghi, Melissa Harrison, Yannick Barborini, Ville
Tenhunen, Michael Wagner, Wolfgang Dalitz, Jason Maassen, Carlos
Martinez-Ortiz, Elisabetta Ronchieri, Sam Yates, Moritz Schubotz, Leonardo
Candela, Martin Fenner, and Eric Jeangirard.
Scholarly Infrastructures for Research Software.
European Commission. Directorate General for Research and
Innovation., 2020.
|
|
[5]
|
Roberto Di Cosmo.
Archiving and referencing source code with software heritage.
In ICMS, volume 12097 of Lecture Notes in Computer
Science, pages 362--373. Springer, 2020.
|
|
[4]
|
Pietro Abate, Roberto Di Cosmo, Georgios Gousios, and Stefano Zacchiroli.
Dependency solving is still hard, but we are getting better at it.
In Kostas Kontogiannis, Foutse Khomh, Alexander Chatzigeorgiou,
Marios-Eleftherios Fokaefs, and Minghui Zhou, editors, 27th IEEE
International Conference on Software Analysis, Evolution and Reengineering,
SANER 2020, London, ON, Canada, February 18-21, 2020, pages 547--551.
IEEE, 2020.
|
|
[3]
|
Guillaume Rousseau, Roberto Di Cosmo, and Stefano Zacchiroli.
Software provenance tracking at the scale of public source code.
Empirical Software Engineering, 25(4):2930--2959, 2020.
|
|
[2]
|
Roberto Di Cosmo, Morane Gruenpeter, and Stefano Zacchiroli.
Referencing source code artifacts: a separate concern in software
citation.
Computing in Science and Engineering, 22(2):33--43, 2020.
|
|
[1]
|
Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault,
Mohand-Said Hacid, Arnaud Legrand, and Nicolas Rougier.
Attributing and referencing (research) software: Best practices and
outlook from inria.
Computing in Science and Engineering, 22(1):39--52, Jan 2020.
Available from https://hal.archives-ouvertes.fr/hal-02135891.
|
|
[3]
|
Mélanie Clément-Fontaine, Roberto Di Cosmo, Bastien Guerry, Patrick
Moreau, and François Pellegrini.
Encouraging a wider usage of software derived from research.
Research report, Committee for Open Science's Free Software and Open
Source Project Group, November 2019.
|
|
[2]
|
Cagdas Bozman, Benjamin Canou, Roberto Di Cosmo, Pierrick Couderc, Louis
Gesbert, Grégoire Henry, Fabrice Le Fessant, Michel Mauny, Carine Morel,
Loïc Peyrot, and Yann Regis-Gianas.
Learn-OCaml : un assistant à l'enseignement d'OCaml.
In JFLA 2019 - Journées Francophones des Langages
Applicatifs, Les Rousses, France, January 2019.
|
|
[1]
|
Roberto Di Cosmo.
Software heritage: que faire avec tout le code source du monde?
In Marie-Christine Rousset and Lydia Boudjeloud-Assala, editors,
Extraction et Gestion des connaissances, EGC 2019, Metz, France,
January 21-25, 2019, volume E-35 of RNTI, pages 5--6.
Hermann-Éditions, 2019.
|
|
[5]
|
Roberto Di Cosmo.
Le code source des logiciels.
Patrimoine Industriel, (73), December 2018.
|
|
[4]
|
Jean-François Abramatic, Roberto Di Cosmo, and Stefano Zacchiroli.
Building the universal archive of source code.
Commun. ACM, 61(10):29--31, September 2018.
|
|
[3]
|
Roberto Di Cosmo, Morane Gruenpeter, and Stefano Zacchiroli.
Identifiers for digital objects: the case of software source code
preservation.
In Proceedings of the 15th International Conference on Digital
Preservation, iPRES 2018, Boston, USA, September 2018.
Available from https://hal.archives-ouvertes.fr/hal-01865790.
|
|
[2]
|
Roberto Di Cosmo.
Software heritage: Collecting, preserving, and sharing all our source
code (keynote).
In Proceedings of the 33rd ACM/IEEE International Conference on
Automated Software Engineering, ASE 2018, pages 1--2, New York, NY, USA,
2018. ACM.
|
|
[1]
|
Barborini Yannick, Roberto Di Cosmo, Antoine R. Dumont, Morane Gruenpeter,
Bruno P Marmol, Alain Monteil, Jozefina Sadowska, and Stefano Zacchiroli.
La création du nouveau type de dépôt scientifique - Le
logiciel.
JSO 2018 - 7es journées Science Ouverte Couperin : 100 access : initiatives pour une transition réussie, January 2018.
Poster.
|
|
[8]
|
Roberto Di Cosmo and Stefano Zacchiroli.
Software heritage: Why and how to preserve software source code.
In Proceedings of the 14th International Conference on Digital
Preservation, iPRES 2017, Kyoto, Japan, September 2017.
Available from https://hal.archives-ouvertes.fr/hal-01590958.
|
|
[7]
|
Roberto Di Cosmo and Valérie Schafer.
Le logiciel libre, de l'usage à la recherche.
1024, (11):39--52, September 2017.
Bulletin de la Société Informatique de France.
|
|
[6]
|
Pietro Abate and Roberto Di Cosmo.
Adoption of academic tools in open source communities: the Debian
case study.
In OSS 2017, pages 139--150. Springer, May 2017.
|
|
[5]
|
Roberto Di Cosmo.
Software heritage: pourquoi et comment construire l'archive
universelle du code source.
1024, (10):67--72, May 2017.
Bulletin de la Société Informatique de France.
|
|
[4]
|
Roberto Di Cosmo.
Software heritage : pourquoi et comment construire la grande
bibliothèque du code source.
Entreprises et histoire, 2(87):69--75, 2017.
|
|
[3]
|
Benjamin Canou, Roberto Di Cosmo, and Grégoire Henry.
Scaling up functional programming education: under the hood of the
ocaml MOOC.
PACMPL, 1(ICFP):4:1--4:25, 2017.
|
|
[2]
|
Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, and Jacopo Mauro.
Nightsplitter: A scheduling tool to optimize (sub)group activities.
In J. Christopher Beck, editor, Principles and Practice of
Constraint Programming - 23rd International Conference, CP 2017, Melbourne,
VIC, Australia, August 28 - September 1, 2017, Proceedings, volume 10416 of
Lecture Notes in Computer Science, pages 370--386. Springer, 2017.
|
|
[1]
|
Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio
Robles, and Stefano Zacchiroli, editors.
Open Source Systems: Towards Robust Practices - 13th IFIP WG
2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May
22-23, 2017, Proceedings, volume 496 of IFIP Advances in Information
and Communication Technology, 2017.
|
|
[4]
|
Roberto Di Cosmo.
Reprenons le contrôle de nos données.
Journal du CNRS, 14April 2015.
|
|
[3]
|
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli,
Gianluigi Zavattaro, and Jakub Zwolakowski.
Automatic application deployment in the cloud: from practice to
theory and back (invited paper).
In Luca Aceto and David de Frutos-Escrig, editors, 26th
International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain,
September 1.4, 2015, volume 42 of LIPIcs, pages 1--16. Schloss
Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015.
|
|
[2]
|
Maëlick Claes, Tom Mens, Roberto Di Cosmo, and Jérôme
Vouillon.
A historical analysis of debian package incompatibilities.
In Massimiliano Di Penta, Martin Pinzger, and Romain Robbes, editors,
12th IEEE/ACM Working Conference on Mining Software Repositories,
MSR 2015, Florence, Italy, May 16-17, 2015, pages 212--223. IEEE, 2015.
|
|
[1]
|
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf
Treinen, and Stefano Zacchiroli.
Mining component repositories for installability issues.
In Massimiliano Di Penta, Martin Pinzger, and Romain Robbes, editors,
12th IEEE/ACM Working Conference on Mining Software Repositories,
MSR 2015, Florence, Italy, May 16-17, 2015, pages 24--33. IEEE, 2015.
|
|
[4]
|
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.
Learning from the future of component repositories.
Science of Computer Programming, 90(B):93--115, September 2014.
|
|
[3]
|
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, and Gianluigi Zavattaro.
Aeolus: A component model for the cloud.
Information and Computation, 239:100--121, 2014.
|
|
[2]
|
Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub
Zwolakowski, Antoine Eiche, and Alexis Agahi.
Automated synthesis and deployment of cloud applications.
In Ivica Crnkovic, Marsha Chechik, and Paul Grünbacher,
editors, ACM/IEEE International Conference on Automated Software
Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, pages
211--222. ACM, 2014.
|
|
[1]
|
Jérôme Vouillon, Mehdi Dogguy, and Roberto Di Cosmo.
Easing software component repository evolution.
In Pankaj Jalote, Lionel C. Briand, and André van der Hoek,
editors, 36th International Conference on Software Engineering, ICSE
'14, Hyderabad, India - May 31 - June 07, 2014, pages 756--766. ACM, 2014.
|
|
[6]
|
Roberto Di Cosmo.
Organiser le partage pour préserver les données.
Pour la Science, 433:86--90, November 2013.
|
|
[5]
|
Jérôme Vouillon and Roberto Di Cosmo.
On software component co-installability.
ACM Trans. Softw. Eng. Methodol., 22(4):34, 2013.
|
|
[4]
|
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael
Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi
Zavattaro, and Jakub Zwolakowski.
Aeolus: Mastering the complexity of cloud application deployment.
In ESOCC, pages 1--3, 2013.
|
|
[3]
|
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, and Gianluigi Zavattaro.
Component reconfiguration in the presence of conflicts.
In ICALP (2), pages 187--198, 2013.
|
|
[2]
|
Jérôme Vouillon and Roberto Di Cosmo.
Broken sets in software repository evolution.
In ICSE, pages 412--421, 2013.
|
|
[1]
|
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.
A modular package manager architecture.
Information and Software Technology, 55(2):459 -- 474, 2013.
Special Section: Component-Based Software Engineering (CBSE), 2011.
|
|
[7]
|
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.
Learning from the future of component repositories.
In Proceedings of the 15th ACM SIGSOFT symposium on Component
Based Software Engineering, CBSE '12, pages 51--60, New York, NY, USA, 2012.
ACM.
|
|
[6]
|
Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.
Formal aspects of free and open source software components - a short
survey.
In FMCO, pages 216--239, 2012.
|
|
[5]
|
Roberto Di Cosmo, Stefano Zacchiroli, and Gianluigi Zavattaro.
Towards a formal component model for the cloud.
In SEFM, pages 156--171, 2012.
|
|
[4]
|
Patrice Bertrand, Roberto Di Cosmo, and Stefane Fermigier.
Il faut enseigner le logiciel libre en france.
Le Monde, page 8 (suppl. Sciences & Techno), 20October 2012.
|
|
[3]
|
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.
Dependency solving: a separate concern in component evolution
management.
Journal of System and Software Science, 85(10):2228 -- 2240,
2012.
Automated Software Evolution.
|
|
[2]
|
Marco Danelutto and Roberto Di Cosmo.
A "Minimal Disruption" skeleton experiment: Seamless map &
reduce embedding in OCaml.
Procedia CS, 9:1837--1846, 2012.
|
|
[1]
|
C. Artho, K. Suzaki, R. Di Cosmo, R. Treinen, and S. Zacchiroli.
Why do software packages conflict?
In Mining Software Repositories (MSR), 2012 9th IEEE Working
Conference on, pages 141--150, 2012.
|
|
[6]
|
Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio,
and Stefano Zacchiroli.
Supporting software evolution in component-based FOSS systems.
Science of Computer Programming, 76(12):1144--1160, December
2011.
|
|
[5]
|
Roberto Di Cosmo, Olivier Lhomme, and Claude Michel.
Aligning component upgrades.
In Conrad Drescher, Inês Lynce, and Ralf Treinen, editors,
Proceedings Second Workshop on Logics for Component Configuration,
volume 65, pages 1--11, 2011.
|
|
[4]
|
Roberto Di Cosmo and Jérôme Vouillon.
On software component co-installability.
In Tibor Gyimóthy and Andreas Zeller, editors,
SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software
Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering
Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, pages 256--266.
ACM, 2011.
|
|
[3]
|
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.
Mpm: a modular package manager.
In Proceedings of the 14th international ACM Sigsoft symposium
on Component based software engineering, CBSE '11, pages 179--188, New York,
NY, USA, 2011. ACM.
|
|
[2]
|
Pietro Abate and Roberto Di Cosmo.
Predicting upgrade failures using dependency analysis.
In Serge Abiteboul, Klemens Böhm, Christoph Koch, and Kian-Lee
Tan, editors, Workshops Proceedings of the 27th International Conference
on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, pages
145--150. IEEE, 2011.
|
|
[1]
|
Roberto Di Cosmo.
Manifeste Pour Une Création Artistique Libre Dans Un Internet
Libre.
lulu.com, 2011.
Freely available at
http://www.dicosmo.org/Books/ConcaveRepartition-online.pdf.
|
|
[3]
|
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, and Makoto
Tatsuta.
On isomorphisms of intersection types.
ACM Transactions on Computational Logic, 11(4):1--24, 2010.
|
|
[2]
|
Roberto Di Cosmo and Stefano Zacchiroli.
Feature diagrams as package dependencies.
In Jan Bosch and Jaejoon Lee, editors, Software Product Lines:
Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South
Korea. Proceedings, volume 6287 of Lecture Notes in Computer Science,
pages 476--480. Springer, 13-17 September 2010.
|
|
[1]
|
Roberto Di Cosmo and Jaap Boender.
Using strong conflicts to detect quality issues in component-based
complex systems.
In ISEC '10: Proceedings of the 3rd India software engineering
conference, pages 163--172, New York, NY, USA, 2010. ACM.
|
|
[4]
|
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, and Pierre Weis.
Skeletal parallel programming with ocamlp3l 2.0.
Parallel Processing Letters, 18(1):149--164, March 2008.
|
|
[3]
|
Roberto Di Cosmo, Stefano Zacchiroli, and Paulo Trezentos.
Package upgrades in FOSS distributions: details and challenges.
In HotSWUp '08: Proceedings of the 1st International Workshop on
Hot Topics in Software Upgrades, pages 1--5, New York, NY, USA, 2008. ACM.
|
|
[2]
|
Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, and Fabio
Mancinelli.
Improving the quality of gnu/linux distributions.
In Proceedings of the 32nd Annual IEEE International Computer
Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008,
Turku, Finland, pages 1240--1246. IEEE Computer Society, 2008.
|
|
[1]
|
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, and Makoto
Tatsuta.
On isomorphisms of intersection types.
In Michael Kaminski and Simone Martini, editors, Computer
Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference
of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, volume
5213 of Lecture Notes in Computer Science, pages 461--477. Springer,
2008.
|
|
[9]
|
Marcelo Fiore, Roberto Di Cosmo, and Vincent Balat.
Remarks on isomorphisms in typed lambda calculi with empty and sum
types.
Annals of Pure and Applied Logic, 141(1--2):35--50, August
2006.
|
|
[8]
|
Roberto Di Cosmo.
Scientific publications: The role of public administrations in the
ICT era.
Upgrade, 7(3):41--47, June 2006.
Available as https://hal.archives-ouvertes.fr/hal-03362932, and
also in French at https://hal.archives-ouvertes.fr/hal-03362939.
|
|
[7]
|
Roberto Di Cosmo, Fabio Mancinelli, Jaap Boender, Jerome Vouillon, Berke Durak,
Xavier Leroy, David Pinheiro, Paulo Trezentos, Mario Morgado, Tova Milo, Tal
Zur, Rafael Suarez, Marc Lijour, and Ralf Treinen.
Report on formal mangement of software dependencies.
Technical report, EDOS, April 2006.
EDOS project Deliverable 2.2, available as
http://hal-univ-diderot.archives-ouvertes.fr/docs/00/69/74/68/PDF/edos-wp2d2.pdf.
|
|
[6]
|
Jaap Boender, Roberto Di Cosmo, Berke Durak, Xavier Leroy, Fabio Mancinelli,
Mario Morgado, David Pinheiro, Ralf Treinen, Paulo Trezentos, and
Jérôme Vouillon.
News from the EDOS project: improving the maintenance of free
software distributions.
In Olivier Berger, editor, Proceedings of the 7th
International Workshop on Free Software (IWFS'06), pages 199 --
207, Porto Alegre, Brazil, April 2006.
|
|
[5]
|
François Clément, Vincent Martin, Arnaud Vodicka, Roberto Di Cosmo, and
Pierre Weis.
Domain decomposition and skeleton programming with OCamlP3l.
In G. R. Joubert, W. E. Nagel, F. J. Peters, O. Plata, P. Tirado, and
E. Zapata, editors, Proc. of the Internat. Conf. on Parallel Computing:
Current & Future Issues of High-End Computing, volume 33 of J. von
Neumann Institute for Computing (NIC), pages 811--818. NIC-Directors, 2006.
|
|
[4]
|
François Clément, Vincent Martin, Arnaud Vodicka, Roberto Di Cosmo, and
Pierre Weis.
Domain decomposition and skeleton programming with OCamlP3l.
Parallel Computing, 32:539--550, 2006.
Special Issue on Algorithmic Skeletons, extended version of
[5].
|
|
[3]
|
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak,
Xavier Leroy, and Ralf Treinen.
Managing the complexity of large free and open source package-based
software distributions.
In Sebastian Uchitel and Steve Easterbrook, editors, 21st
IEEE/ACM International Conference on Automated Software Engineering (ASE),
pages 199--208. IEEE Computer Society, 2006.
|
|
[2]
|
Roberto Di Cosmo.
Educating the e-citizen.
In 11th annual SIGCSE conference on Innovation and technology in
computer science education, pages 1--1, New York, NY, USA, 2006. ACM Press.
|
|
[1]
|
Roberto Di Cosmo, Berke Durak, Xavier Leroy, Fabio Mancinelli, and
Jérôme Vouillon.
Maintaining large software distributions: new challenges from the
FOSS era.
In Proceedings of the FRCSS 2006 workshop, 2006.
EASST Newsletter.
|
|
[6]
|
Serge Abiteboul, Ciarán Bryce, Roberto Di Cosmo, Klaus R. Dittrich,
Stéfane Fermigier, Stéphane Laurière, Frédéric Lepied, Xavier
Leroy, Tova Milo, Eleonora Panto, Radu Pop, Assaf Sagi, Yotam Shtossel,
Florent Villard, and Boris Vrdoljak.
EDOS: Environment for the Development and Distribution of
Open Source Software.
In First International Conference on Open Source Systems
(OSS 2005), 2005.
|
|
[5]
|
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, and Pierre Weis.
Skeletal parallel programming with ocamlp3l 2.0.
Third International Workshop on High-level Parallel Programming
and Applications, 4-5July 2005.
|
|
[4]
|
Roberto Di Cosmo, François Pottier, and Didier Rémy.
Subtyping recursive types modulo associative commutative products.
Typed Lambda Calculus and Applications, 2005.
|
|
[3]
|
Roberto Di Cosmo.
A short survey of isomorphisms of types.
Mathematical Structures in Computer Science, 15:825--838, 2005.
|
|
[2]
|
Roberto Di Cosmo and Sergei Soloviev, editors.
Special Issue on Type Isomorphisms. Cambridge University Press,
2005.
Vol. 15.
|
|
[1]
|
Roberto Di Cosmo and Thomas Dufour.
The equational theory of <n,0,1,+,·,> is decidable, but
not finitely axiomatisable.
In LPAR'05, Lecture Notes in Computer Science, pages 240--256,
2005.
|
|
[7]
|
F. Clément, A. Li, V. Martin, A. Vodicka, R. Di Cosmo, and P. Weis.
Parallel programming with the ocamlp3l system, with applications to
coupling numerical codes.
Journal of Functional Programming, September 2003.
Submitted.
|
|
[6]
|
F. Clément, V. Martin, A. Vodicka, R. Di Cosmo, and P. Weis.
Domain decomposition for flow simulation around a waste disposal
site: direct computation versus code coupling using ocamlp3l.
International Conference on Supercomputing in Nuclear
Applications (SNA'2003), September 2003.
|
|
[5]
|
Roberto Di Cosmo.
Legal tools to protect software: Choosing the right one.
Upgrade, 4(3):21--23, June 2003.
Available as https://hal.archives-ouvertes.fr/hal-03362924.
|
|
[4]
|
Roberto Di Cosmo, Delia Kesner, and Emmanuel Polonovski.
Proof nets and explicit substitutions.
Mathematical Structures in Computer Science, 13(3):409--450,
June 2003.
|
|
[3]
|
Roberto Di Cosmo and Susanna Pelagatti.
A calculus for dense array distributions.
Parallel Processing Letters, 13(3):377--388, 2003.
|
|
[2]
|
François Clément, Arnaud Vodicka, Roberto Di Cosmo, and Pierre Weis.
Couplage de codes numériques, parallélisme et langages de haut
niveau.
RR 4825, INRIA, 2003.
http://www.inria.fr/rrrt/rr-4825.html.
|
|
[1]
|
Roberto Di Cosmo and Susanna Pelagatti.
A calculus for dense array distributions.
Second International Workshop on High-Level Parallel Programming
and Applications, 2003.
|
|
[6]
|
Roberto Di Cosmo and Dominique Nora.
Le Hold-Up planétaire.
Calmann-Levy, October 1998.
Now freely available at http://www.dicosmo.org/HoldUp/.
|
|
[5]
|
Roberto Di Cosmo.
Réécriture avec axiomes extensionnels et isomorphismes de
types.
Habilitation à diriger des recherches, Université de Paris VII,
2, place Jussieu - 75005 Paris, April 1998.
|
|
[4]
|
Roberto Di Cosmo.
Piège dans le Cyberespace.
Multimédium, 17 March 1998.
|
|
[3]
|
Marco Danelutto, Roberto Di Cosmo, Xavier Leroy, and Susanna Pelagatti.
Parallel functional programming with skeletons: the OCamlP3L
experiment.
In Proceedings ACM workshop on ML and its applications,
Baltimore, 1998. Cornell University.
|
|
[2]
|
Roberto Di Cosmo, Jean-Vincent Loddo, and Stéphane Nicolet.
A game semantics foundation for logic programming.
In Catuscia Palamidessi, Hugh Glaser, and Karl Meinke, editors,
PLILP'98, volume 1490 of Lecture Notes in Computer Science, pages
355--373, 1998.
|
|
[1]
|
Marco Danelutto, Roberto Di Cosmo, Xavier Leroy, and Susanna Pelagatti.
OcamlP3l: a functional parallel programming system.
Technical Report 98-01, LIENS - DMI, Ecole Normale Supérieure,
1998.
|
|
[6]
|
D. Delahaye, Roberto Di Cosmo, and B. Werner.
Recherche dans une bibliothèque de preuves Coq en utilisant le
type et modulo isomorphismes.
In PRC/GDR de programmation, Pôle Preuves et Spécifications
Algébriques, November 1997.
|
|
[5]
|
Roberto Di Cosmo and Delia Kesner.
Strong normalization of explicit substitutions via cut elimination in
proof nets (extended abstract).
In Proceedings, Twelfth Annual IEEE Symposium on Logic in
Computer Science (LICS), pages 35--46, Warsaw, Poland, 29 June- 2July 1997.
IEEE Computer Society Press.
|
|
[4]
|
Roberto Di Cosmo.
À travers le miroir d'une bibliographie.
Le médiéviste et l'ordinateur, N35, été
1997. Bibliographies., 1997.
|
|
[3]
|
Roberto Di Cosmo and Neil Ghani.
Combining algebraic rewriting with higher order extensional lambda
calculi.
In Pierpaolo Degano, Roberto Gorrieri, and Alberto
Marchetti-Spaccamela, editors, Intern. Conf. on Automata, Languages and
Programming (ICALP)24, number 1256 in Lecture Notes in Computer Science,
pages 237--247, 1997.
|
|
[2]
|
Maria-Virginia Aponte, Roberto Di Cosmo, and Catherine Dubois.
Signature subtyping modulo type isomorphisms.
submitted, 1997.
|
|
[1]
|
Vincent Danos and Roberto Di Cosmo.
The Linear Logic Primer.
1997.
In preparation: preliminary version available from
http://www.dicosmo.org.
|
|
[9]
|
Roberto Di Cosmo.
A brief history of rewriting with extensionality.
In Fairouz Kamareddine, editor, International Summer School on
Type Theory and Rewriting, Glasgow, September 1996. Kluwer.
A set of slides on the subject is available as
http://www.dicosmo.org/Slides/GLA96.ps.gz.
|
|
[8]
|
Roberto Di Cosmo.
A brief history of rewriting with extensionality.
Lecture notes. http://www.dicosmo.org/, September 1996.
|
|
[7]
|
Roberto Di Cosmo.
On the power of simple diagrams.
In Rewriting Techniques and Applications, number 1103 in
Lecture Notes in Computer Science, pages 200--214, July 1996.
|
|
[6]
|
Roberto Di Cosmo.
Sémantique dénotationnelle.
Course Notes. http://www.dicosmo.org/CourseNotes, 1996.
|
|
[5]
|
Roberto Di Cosmo.
Une panoramique de conceptes et langages orientés objets.
Course Notes. http://www.dicosmo.org/CourseNotes/OO, 1996.
|
|
[4]
|
Maria-Virginia Aponte and Roberto Di Cosmo.
Type isomorphisms for module signatures.
In Programming Languages Implementation and Logic Programming
(PLILP), volume 1140 of Lecture Notes in Computer Science, pages
334--346. Springer-Verlag, 1996.
|
|
[3]
|
Roberto Di Cosmo and Delia Kesner.
Rewriting with polymorphic extensional λ-calculus.
In CSL'95, volume 1092 of Lecture Notes in Computer
Science, pages 215--232. Springer-Verlag, 1996.
Extended abstract presented in Paderborn, September 1995.
|
|
[2]
|
Roberto Di Cosmo and Delia Kesner.
Combining algebraic rewriting, extensional lambda calculi and
fixpoints.
Theoretical Computer Science, 169(2):201--220, 1996.
|
|
[1]
|
Pierre-Louis Curien and Roberto Di Cosmo.
A confluent reduction system for the λ-calculus with
surjective pairing and terminal object.
Journal of Functional Programming, 6(2):299--327, 1996.
This is an extended and revised version of [?].
|
|
[5]
|
Hassan Aït-Kaci and Roberto Di Cosmo.
Compiling order-sorted feature term unification.
TN 7, Digital Equipment Corporation, December 1993.
|
|
[4]
|
Roberto Di Cosmo and Delia Kesner.
A confluent reduction for the extensional typed λ-calculus
with pairs, sums, recursion and terminal object.
In Andrzej Lingas, editor, Intern. Conf. on Automata, Languages
and Programming (ICALP), volume 700 of Lecture Notes in Computer
Science, pages 645--656. Springer-Verlag, July 1993.
|
|
[3]
|
Roberto Di Cosmo.
Isomorphisms of Types.
Tesi di dottorato, Dipartimento di Informatica, Universitá di Pisa,
40, Corso Italia - 56100 Pisa - Italy, January 1993.
|
|
[2]
|
Roberto Di Cosmo and Delia Kesner.
Simulating expansions without expansions.
Technical Report LIENS-93-11/INRIA 1911, LIENS-DMI and INRIA, 1993.
|
|
[1]
|
Roberto Di Cosmo.
Deciding type isomorphisms in a type assignment framework.
Journal of Functional Programming, 3(3):485--525, 1993.
Special Issue on ML.
|
|
[4]
|
Pierre-Louis Curien and Roberto Di Cosmo.
A confluent reduction system for the λ-calculus with
surjective pairing and terminal object.
In Leach, Monien, and Artalejo, editors, Intern. Conf. on
Automata, Languages and Programming (ICALP), volume 510 of Lecture
Notes in Computer Science, pages 291--302. Springer-Verlag, July 1991.
|
|
[3]
|
Roberto Di Cosmo.
Invertibility of terms and valid isomorphisms. a proof theoretic
study on second order λ-calculus with surjective pairing and terminal
object.
Technical Report 91-10, LIENS - Ecole Normale Supérieure, 1991.
|
|
[2]
|
Pierre-Louis Curien and Roberto Di Cosmo.
A confluent reduction system for the λ-calculus with
surjective pairing and terminal object.
Technical Report 91-11, LIENS - Ecole Normale Supérieure, 1991.
|
|
[1]
|
Roberto Di Cosmo and Giuseppe Longo.
Constuctively equivalent propositions and isomorphisms of objects (or
terms as natural transformations).
In Moschovakis, editor, Logic from Computer Science, volume 21
of Mathematical Sciences Research Institute Publications, pages 73--94.
Springer Verlag, Berkeley, 1991.
|
