<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
dicosmo_clean.bib
@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -q -c 'author : "Cosmo"' /home/dicosmo/TeX/Bibliography/dicosmo.bib -oc /dev/null -ob ./dicosmo_clean.bib}}
@article{BruceDicosmoLongo92,
author = {Kim Bruce and Di Cosmo, Roberto and Giuseppe Longo},
title = {Provable isomorphisms of types},
journal = {Mathematical Structures in Computer Science},
year = {1992},
volume = {2},
number = {2},
pages = {231--247},
mynote = {Proc. of Symposium on Symbolic Computation, ETH, Zurich, March 1990},
url = {http://www.dicosmo.org/Articles/MSCS.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/MSCS.dvi}},
doi = {http://dx.doi.org/10.1017/S0960129500001444},
urllocal = {http://www.dicosmo.org/Articles/MSCS.pdf},
dmi-category = {journal},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {BruceDicosmoLongo90},
dmi-equipe = {eq-lambda},
x-topic = {typeis},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#BruceDicosmoLongo90.abstract}
}
@unpublished{DanosDicosmo92,
author = {Vincent Danos and Di Cosmo, Roberto},
title = {Introduction to Linear Logic},
note = {Course Notes, very preliminary version of \cite{LLPrimer97}},
month = jun,
url = {http://www.dicosmo.org/CorsoPisa.dvi},
urllocal = {http://www.dicosmo.org/CorsoPisa.dvi},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/CorsoPisa.dvi}},
year = {1992},
dmi-category = {coursenotes},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {linlog},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#CorsoPisa.abstract}
}
@book{LLPrimer97,
author = {Vincent Danos and Di Cosmo, Roberto},
title = {The Linear Logic Primer},
publisher = {},
year = {1997},
dmi-category = {subm},
volume = {},
number = {},
series = {},
address = {},
edition = {},
month = {},
note = {In preparation: preliminary version available from \verb|http://www.dicosmo.org|},
dmi-time = {},
dmi-status = {},
dmi-wais = {},
dmi-equipe = {},
x-topic = {linlog},
dmi-outdates = {}
}
@unpublished{XML,
author = {Di Cosmo, Roberto},
title = {An extensional operational and axiomatic semantics for type-inference with recursion and algebraic data types},
month = oct,
year = {1995},
urllocal = {http://www.dicosmo.org/Articles/MLX.pdf},
dmi-category = {misc},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {rewrit},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MLX.abstract}
}
@incollection{DicosmoLongo91,
author = {Di Cosmo, Roberto and Giuseppe Longo},
editor = {Moschovakis},
title = {Constuctively Equivalent Propositions and Isomorphisms of Objects (or Terms as Natural Transformations)},
booktitle = {Logic from Computer Science},
pages = {73-94},
volume = 21,
series = {Mathematical Sciences Research Institute Publications},
year = 1991,
publisher = {Springer Verlag},
address = {Berkeley},
mynote = {Proceedings of a workshop held November 13-17, 1989.},
doi = {http://dx.doi.org/10.1007/978-1-4612-2822-6_4},
dmi-category = {invite},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {typeis},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Berkeley90.abstract}
}
@article{DicosmoJFP92,
author = {Di Cosmo, Roberto},
title = {Deciding Type isomorphisms in a type assignment framework},
journal = {Journal of Functional Programming},
year = 1993,
volume = 3,
number = 3,
pages = {485--525},
note = {Special Issue on ML},
dmi-category = {journal},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {typeis},
doi = {http://dx.doi.org/10.1017/S0956796800000861},
urllocal = {http://www.dicosmo.org/Articles/JFP93.pdf},
url = {http://www.dicosmo.org/Articles/JFP93.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/JFP93.pdf}},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#JFP93.abstract}
}
@article{Dicosmo93,
author = {Di Cosmo, Roberto},
title = {Second order Isomorphic Types.
{A} proof theoretic study on second order $\lambda$-calculus
with surjective pairing and terminal object},
journal = {Information and Computation},
pages = {176--201},
month = jun,
year = 1995,
doi = {http://dx.doi.org/10.1006/inco.1995.1085},
urllocal = {http://www.dicosmo.org/Articles/SecondOrderIsos.pdf},
dmi-category = {journal},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {Dicosmo90},
dmi-equipe = {eq-lambda},
x-topic = {typeis},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#SecondOrderNEW.abstract}
}
@inproceedings{CurienDicosmo90,
author = {Pierre-Louis Curien and Di Cosmo, Roberto},
title = {A confluent reduction system for the $\lambda$-calculus with surjective pairing and terminal object},
booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)},
year = 1991,
month = jul,
editor = {Leach and Monien and Artalejo},
pages = {291--302},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 510,
doi = {http://dx.doi.org/10.1007/3-540-54233-7_142},
dmi-category = {intconf},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {rewriting},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Icalp91.abstract}
}
@article{CurienDicosmoJFP95,
author = {Pierre-Louis Curien and Di Cosmo, Roberto},
title = {A confluent reduction system for the $\lambda$-calculus with surjective pairing and terminal object},
journal = {Journal of Functional Programming},
pages = {299--327},
volume = 6,
number = 2,
year = 1996,
note = {This is an extended and revised version of \cite{CurienDicosmo90}.},
dmi-category = {journal},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
doi = {http://dx.doi.org/10.1017/S0956796800001696},
urllocal = {http://www.dicosmo.org/Articles/JFP96.pdf},
x-topic = {rewriting},
dmi-equipe = {eq-lambda},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#JFP95.abstract}
}
@inproceedings{DicosmoPiperno95,
author = {Di Cosmo, Roberto and Adolfo Piperno},
editor = {Mariangiola Dezani-Ciancaglini and Gordon Plotkin},
title = {Expanding Extensional Polymorphism},
booktitle = {Typed Lambda Calculus and Applications},
pages = {139--153},
year = 1995,
month = apr,
series = {Lecture Notes in Computer Science},
volume = 902,
doi = {http://dx.doi.org/10.1007/BFb0014050},
urllocal = {http://www.dicosmo.org/Articles/TLCA95.pdf},
ps = {http://www.dicosmo.org/Articles/TLCA95.ps},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/TLCA95.pdf}},
dmi-category = {intconf},
dmi-wais = {YES},
dmi-time = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {rewriting},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TLCA95.abstract}
}
@inproceedings{DicosmoPOPL92,
author = {Di Cosmo, Roberto},
title = {Type isomorphisms in a type assignment framework},
booktitle = {19th Ann. ACM Symp. on Principles of Programming Languages (POPL)},
publisher = {ACM},
year = 1992,
pages = {200-210},
dmi-category = {intconf},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {typeis},
doi = {http://dx.doi.org/10.1145/143165.143208},
urllocal = {http://www.dicosmo.org/Articles/POPL92.pdf},
url = {http://www.dicosmo.org/Articles/POPL92.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/POPL92.pdf}},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#POPL92.abstract}
}
@techreport{BruceDicosmoLongo90,
author = {Kim Bruce and Di Cosmo, Roberto and Giuseppe Longo},
title = {Provable isomorphisms of types},
institution = {LIENS - Ecole Normale Sup\'erieure},
number = {90-14},
year = 1990,
dmi-category = {rapliens},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
urllocal = {http://www.dicosmo.org/Articles/1990-BruceDicosmoLongo.pdf},
x-topic = {typeis},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#BruceDicosmoLongo90.abstract}
}
@techreport{CurienDicosmo91b,
author = {Pierre-Louis Curien and Di Cosmo, Roberto},
title = {A confluent reduction system for the $\lambda$-calculus with surjective pairing and terminal object},
institution = {LIENS - Ecole Normale Sup\'erieure},
number = {91-11},
year = 1991,
dmi-category = {rapliens},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {rewriting},
urllocal = {http://www.dicosmo.org/TR/LIENS-91-11.pdf},
url = {http://www.dicosmo.org/TR/LIENS-91-11.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/TR/LIENS-91-11.pdf}},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TR-11-91.abstract}
}
@techreport{Dicosmo90,
author = {Di Cosmo, Roberto},
title = {Invertibility of terms and valid isomorphisms.
A proof theoretic study on second order $\lambda$-calculus
with surjective pairing and terminal object},
institution = {LIENS - Ecole Normale Sup\'erieure},
number = {91-10},
year = 1991,
dmi-category = {rapliens},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {rewriting},
urllocal = {http://www.dicosmo.org/TR/LIENS-93-11.pdf},
url = {http://www.dicosmo.org/TR/LIENS-93-11.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/TR/LIENS-93-11.pdf}},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TR-10-91.abstract}
}
@inproceedings{DCK92,
author = {Di Cosmo, Roberto and Delia Kesner},
title = {A confluent reduction for the extensional
typed $\lambda$-calculus with pairs, sums,
recursion and terminal object},
booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)},
year = 1993,
month = jul,
editor = {Andrzej Lingas},
publisher = {Springer-Verlag},
pages = {645--656},
volume = 700,
series = {Lecture Notes in Computer Science},
urllocal = {http://www.dicosmo.org/Articles/1993-DiCosmoKesner-Icalp.pdf},
dmi-category = {intconf},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
x-topic = {rewriting},
dmi-equipe = {eq-lambda},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Icalp93.abstract}
}
@techreport{DCKinria93,
author = {Di Cosmo, Roberto and Delia Kesner},
title = {Simulating Expansions without Expansions},
institution = {LIENS-DMI and INRIA},
number = {LIENS-93-11/INRIA 1911},
year = {1993},
dmi-category = {rapliens},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
x-topic = {rewriting},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MSCS93.abstract}
}
@article{DCKmscs93,
author = {Di Cosmo, Roberto and Delia Kesner},
title = {Simulating Expansions without Expansions},
year = {1994},
volume = 4,
pages = {1--48},
journal = {Mathematical Structures in Computer Science},
mynote = {A preliminary version is available as Technical Report
LIENS-93-11/INRIA 1911 },
urllocal = {http://www.dicosmo.org/Articles/1993-DiCosmoKesner-MSCS.pdf},
dmi-category = {journal},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {DCKinria93},
dmi-equipe = {eq-lambda},
x-topic = {rewriting},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MSCS93.abstract}
}
@phdthesis{DiCosmoTh93,
author = {Di Cosmo, Roberto},
title = {Isomorphisms of Types},
school = {Dipartimento di Informatica, Universit\'a di Pisa},
year = {1993},
address = {40, Corso Italia - 56100 Pisa - Italy},
type = {Tesi di Dottorato},
month = jan,
x-topic = {typeis},
dmi-category = {these},
dmi-equipe = {eq-lambda}
}
@phdthesis{DiCosmoTh98,
author = {Di Cosmo, Roberto},
title = {R\'e\'ecriture avec axiomes extensionnels et isomorphismes de types},
school = {Universit\'e de Paris VII},
year = {1998},
address = {2, place Jussieu - 75005 Paris},
type = {Habilitation `a diriger des recherches},
month = apr,
dmi-category = {these},
x-topic = {typeis},
dmi-equipe = {eq-lambda}
}
@inproceedings{DCK94a,
author = {Di Cosmo, Roberto and Delia Kesner},
editor = {Serge Abiteboul and Eli Shamir},
title = {Combining first order algebraic rewriting systems,
recursion and extensional lambda calculi},
booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)},
year = 1994,
month = jul,
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 820,
pages = {462--472},
x-topic = {rewriting},
dmi-category = {intconf},
dmi-wais = {YES},
dmi-equipe = {eq-lambda},
doi = {http://dx.doi.org/10.1007/3-540-58201-0_90},
urllocal = {http://www.dicosmo.org/Articles/1994-DiCosmoKesner-Icalp.pdf},
url = {http://www.dicosmo.org/Articles/1994-DiCosmoKesner-Icalp.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/1994-DiCosmoKesner-Icalp.pdf}},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Icalp94.abstract}
}
@article{TCS95,
author = {Di Cosmo, Roberto and Delia Kesner},
title = {Combining algebraic rewriting, extensional lambda calculi and fixpoints},
journal = {Theoretical Computer Science},
volume = {169},
number = {2},
pages = {201-220},
year = 1996,
x-topic = {rewriting},
doi = {http://dx.doi.org/10.1016/S0304-3975(96)00121-1},
urllocal = {http://www.dicosmo.org/Articles/1996-DiCosmoKesner-TCS.pdf},
dmi-category = {journal},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TCS95.abstract}
}
@book{ISOSBook,
author = {Di Cosmo, Roberto},
title = {Isomorphisms of types: from $\lambda$-calculus to information retrieval
and language design},
publisher = {Birkhauser},
year = {1995},
x-topic = {typeis},
dmi-category = {livre},
url = {http://www.ens.fr/users/dicosmo/Publications/ISObook.html},
html = {http://www.ens.fr/users/dicosmo/Publications/ISObook.html},
htmlurl = {\htmladdnormallink{Contents and Overview}{http://www.ens.fr/users/dicosmo/Publications/ISObook.html}},
note = {ISBN-0-8176-3763-X},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#ISOSBook}
}
@inproceedings{DCK95a,
author = {Di Cosmo, Roberto and Delia Kesner},
title = {Rewriting with polymorphic extensional $\lambda$-calculus},
booktitle = {CSL'95},
year = 1996,
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 1092,
pages = {215--232},
x-topic = {rewriting},
dmi-category = {intc},
note = {Extended abstract presented in Paderborn, } # sep # { 1995},
doi = {http://dx.doi.org/10.1007/3-540-61377-3_40},
urllocal = {http://www.dicosmo.org/Articles/1995-DiCosmoKesner-CSL.pdf},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/1995-DiCosmoKesner-CSL.pdf}},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#CSL95.abstract}
}
@inproceedings{DCA95,
author = {Maria-Virginia Aponte and Di Cosmo, Roberto},
title = {Type isomorphisms for module signatures},
dmi-category = {intc},
year = {1996},
booktitle = {Programming Languages Implementation and Logic Programming (PLILP)},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 1140,
pages = {334--346},
doi = {http://dx.doi.org/10.1007/3-540-61756-6_95},
urllocal = {http://www.dicosmo.org/Articles/1996-AponteDiCosmo-PLILP.pdf},
x-topic = {typeis},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MLModulesIsos.abstract}
}
@unpublished{ADD97,
author = {Maria-Virginia Aponte and Di Cosmo, Roberto and Catherine Dubois},
title = {Signature subtyping modulo type isomorphisms},
note = {submitted},
dmi-category = {subm},
year = {1997},
x-topic = {typeis},
ps = {http://www.dicosmo.org/Articles/ADCD97.ps.gz}
}
@techreport{DCH93,
author = {Hassan A{\"{\i}}t-Kaci and Di Cosmo, Roberto},
title = {Compiling Order-Sorted Feature Term Unification},
institution = {Digital Equipment Corporation},
year = {1993},
type = {TN},
number = {7},
x-topic = {prolog},
dmi-category = {rapp},
month = dec,
abstract = {Order-sorted feature (OSF) terms generalize
first-order rational terms: functors become partially ordered
sorts, arity is unconstrained, and subterms are unordered,
indicated by explicit feature symbols rather than implicit
positions. Thus, OSF terms provide a handy data structure to
represent objects in symbolic programming languages. LIFE is
such an experimental language extending Prolog by replacing its
term data structure and unification operation with OSF term and
unification. In this paper, we present an abstract machine
design for OSF term unification. This compiling scheme consists
of an alteration of recent refinements of WAM technology for
compiling Prolog's unification. Our modifications account for
order-sortedness, symbolic features, and absence of
arity. Then, we improve that design by incorporating several
immediate optimizations.},
htmlurl = {\htmladdnormallink{pdf}{http://www.dicosmo.org/Articles/1993-AitKaciDiCosmo.pdf}},
urllocal = {http://www.dicosmo.org/Articles/1993-AitKaciDiCosmo.pdf}
}
@inproceedings{POD96,
author = {Di Cosmo, Roberto},
title = {On the power of simple diagrams},
booktitle = {Rewriting Techniques and Applications},
year = 1996,
month = jul,
series = {Lecture Notes in Computer Science},
number = 1103,
pages = {200--214},
x-topic = {rewriting},
url = {http://www.dicosmo.org/Articles/POD.pdf},
urllocal = {http://www.dicosmo.org/Articles/POD.pdf},
doi = {http://dx.doi.org/10.1007/3-540-61464-8_53},
htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/POD.pdf}},
dmi-category = {intconf},
dmi-wais = {YES},
dmi-time = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#POD96.abstract}
}
@inproceedings{CocAlg,
author = {Di Cosmo, Roberto and Neil Ghani},
editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti-Spaccamela},
title = {Combining algebraic rewriting with higher order extensional lambda calculi},
booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)24},
year = {1997},
pages = {237--247},
series = {Lecture Notes in Computer Science},
number = 1256,
x-topic = {rewriting},
urllocal = {http://www.dicosmo.org/Articles/1997-DiCosmoGhani-Icalp.pdf},
doi = {http://dx.doi.org/10.1016/S0304-3975(96)00121-1},
dmi-wais = {YES},
dmi-time = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
dmi-category = {intconf}
}
@unpublished{CoursOO,
author = {Di Cosmo, Roberto},
title = {Une panoramique de conceptes et langages orient\'es objets},
note = {Course Notes. {\tt http://www.dicosmo.org/CourseNotes/OO}},
dmi-category = {coursenotes},
year = {1996}
}
@unpublished{CoursCompil,
author = {Di Cosmo, Roberto},
title = {Compilation (pour la Ma^{\i}trise)},
note = {Course Notes. {\tt http://www.dicosmo.org/CourseNotes/Compilation}},
dmi-category = {coursenotes},
year = {1999}
}
@unpublished{IF121,
author = {Di Cosmo, Roberto},
title = {Introduction `a l'Informatique pour le DEUG},
note = {Course Notes. {\tt http://www.dicosmo.org/IF121}},
dmi-category = {coursenotes},
year = {2000}
}
@unpublished{SemDen,
author = {Di Cosmo, Roberto},
title = {S\'emantique D\'enotationnelle},
note = {Course Notes. {\tt http://www.dicosmo.org/CourseNotes}},
dmi-category = {coursenotes},
year = {1996}
}
@unpublished{RDC96,
author = {Di Cosmo, Roberto},
title = {A brief history of rewriting with extensionality},
dmi-category = {coursenotes},
note = {Lecture notes. {\tt http://www.dicosmo.org/}},
month = sep,
year = {1996}
}
@inproceedings{DCKLics96,
author = {Di Cosmo, Roberto and Delia Kesner},
title = {Strong Normalization of Explicit Substitutions via Cut
Elimination in Proof Nets (extended abstract)},
dmi-category = {intconf},
booktitle = {Proceedings, Twelfth Annual IEEE Symposium on Logic in
Computer Science (LICS)},
mynote = {Full paper available as {\tt http://www.dicosmo.org/Articles/esll.ps.gz}},
doi = {http://dx.doi.org/10.1109/LICS.1997.614927},
htmlurl = {\htmladdnormallink{ps}{http://www.dicosmo.org/Articles/1997-DiCosmoKesner-Lics.pdf}},
urllocal = {http://www.dicosmo.org/Articles/1997-DiCosmoKesner-Lics.pdf},
pages = {35--46},
month = {29 } # jun # {- 2} # jul,
address = {Warsaw, Poland},
organization = {IEEE Computer Society Press},
year = {1997},
x-topic = {linlog}
}
@inproceedings{RDC96ExpSurvey,
author = {Di Cosmo, Roberto},
title = {A brief history of rewriting with extensionality},
booktitle = {International Summer School on Type Theory and Rewriting},
year = {1996},
x-topic = {rewriting},
dmi-category = {arti},
editor = {Fairouz Kamareddine},
publisher = {Kluwer},
address = {Glasgow},
month = sep,
note = {A set of slides on the subject is available as
{\tt http://www.dicosmo.org/Slides/GLA96.ps.gz}}
}
@techreport{OcamlP3l,
author = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
title = {{\tt OcamlP3l}: a functional parallel programming system},
institution = {LIENS - DMI, Ecole Normale Sup\'erieure},
number = {98-01},
year = 1998,
x-topic = {parallel},
dmi-category = {rapliens},
dmi-wais = {YES},
dmi-time = {},
dmi-status = {},
dmi-outdates = {},
dmi-equipe = {eq-lambda},
url = {http://www.di.ens.fr/ftp/pub/dmi/users/liens/liens-98-1.A4.ps.Z},
htmlurl = {\htmladdnormallink{ps}{http://www.dicosmo.org/TR/LIENS-93-11.dvi.Z}},
abstract-url = {http://www.di.ens.fr/EDITION/preprints/Index.liens.98.html}
}
@inproceedings{DDW97,
author = {D. Delahaye and Di Cosmo, Roberto and B. Werner},
title = {Recherche dans une biblioth`eque de
preuves {Coq} en utilisant le type et modulo isomorphismes},
booktitle = {PRC/GDR de programmation, P^ole Preuves et Sp\'ecifications Alg\'ebriques},
year = {1997},
x-topic = {typeis},
month = {November},
dmi-category = {autc}
}
@inproceedings{Prologames,
author = {Di Cosmo, Roberto and Jean-Vincent Loddo and St\'ephane Nicolet},
title = {A game semantics foundation for logic programming},
booktitle = {PLILP'98},
editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke},
year = {1998},
volume = {1490},
pages = {355--373},
series = {Lecture Notes in Computer Science},
x-topic = {prolog},
doi = {http://dx.doi.org/10.1007/BFb0056626},
urllocal = {http://www.dicosmo.org/Articles/1998-DiCosmoLoddoNicolet.pdf},
dmi-category = {intc},
dmi-wais = {YES},
dmi-equipe = {eq-lambda}
}
@article{PiegeCyberespace,
author = {Di Cosmo, Roberto},
title = {Pi`ege dans le {C}yberespace},
journal = {Multim\'edium},
year = {1998},
dmi-category = {vulg},
month = {17 } # mar,
mynote = {Available from {\tt http://www.mmedium.com/dossiers/piege}},
dmi-equipe = {eq-lambda},
url = {http://www.mmedium.com/dossiers/piege/},
htmlurl = {\htmladdnormallink{html}{http://www.mmedium.com/dossiers/piege/}}
}
@inproceedings{Ocamlp3lMlw98,
author = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
title = {Parallel Functional Programming with Skeletons: the {OCamlP3L} experiment},
booktitle = {Proceedings ACM workshop on ML and its applications},
publisher = {Cornell University},
year = {1998},
address = {Baltimore},
x-topic = {parallel},
urllocal = {http://www.dicosmo.org/Articles/1998-DaneluttoDiCosmoLeroyPelagatti-MLW.pdf},
dmi-category = {autc},
abstract = {This paper reports on skeleton-based parallel programming in the context of
the Caml functional language. An experimental implementation, based on
TCP sockets and marshaling of function closures, is described and
assessed.}
}
@book{HoldUp,
author = {Di Cosmo, Roberto and Nora, Dominique},
title = {Le Hold-Up plan\'etaire.},
publisher = {Calmann-Levy},
year = {1998},
dmi-category = {livv},
month = oct,
note = {Now freely available at \url{http://www.dicosmo.org/HoldUp/}}
}
@book{Manifesto,
author = {Di Cosmo, Roberto},
title = {Manifeste Pour Une Cr\'eation Artistique Libre Dans Un Internet Libre},
publisher = {lulu.com},
year = {2011},
dmi-category = {livv},
url = {http://www.amazon.fr/Manifeste-Cr%C3%A9ation-Artistique-Libre-Internet/dp/1445795671},
isbn = {1445795671},
note = {Freely available at \url{http://www.dicosmo.org/Books/ConcaveRepartition-online.pdf}}
}
@inproceedings{DCG99,
author = {Di Cosmo, Roberto and Stefano Guerrini},
title = {Strong Normalization of Proof Nets modulo Structural Congruences},
booktitle = {Rewriting Techniques and Applications},
year = {1999},
doi = {http://dx.doi.org/10.1007/3-540-48685-2_6},
urllocal = {http://www.dicosmo.org/Articles/1999-DiCosmoGuerrini-RTA.pdf},
x-topic = {rewriting},
dmi-category = {intc},
dmi-equipe = {eq-lambda}
}
@inproceedings{DCB99,
author = {Vincent Balat and Di Cosmo, Roberto},
title = {A linear logical view of linear type isomorphisms},
booktitle = {Computer Science Logic},
year = {1999},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 1683,
x-topic = {linlog},
dmi-category = {intc},
urllocal = {http://www.dicosmo.org/Articles/1999-BalatDiCosmo-CSL.pdf},
doi = {http://dx.doi.org/10.1007/3-540-48168-0_18},
editors = {J\"org Flum and Mario Rodr\'{\i}guez-Artalejo},
isbn = {3-540-66536-6},
pages = {250--265}
}
@inproceedings{DCKP00,
author = {Di Cosmo, Roberto and Delia Kesner and Emmanuel Polonovski},
title = {Proof Nets and Explicit Substitutions},
booktitle = {Foundation of Software Science and Computation Structure},
year = {2000},
doi = {http://dx.doi.org/10.1007/3-540-46432-8_5},
urllocal = {http://www.dicosmo.org/Articles/2000-DiCosmoKesnerPolonovski-Fossacs.pdf},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 1784,
x-topic = {linlog},
dmi-category = {intc},
pages = {63--81}
}
@article{DCKP03,
author = {Di Cosmo, Roberto and Delia Kesner and Emmanuel Polonovski},
title = {Proof Nets and Explicit Substitutions},
journal = {Mathematical Structures in Computer Science},
year = {2003},
x-topic = {linlog},
doi = {http://dx.doi.org/10.1017/S0960129502003791},
urllocal = {http://www.dicosmo.org/Articles/2003-DiCosmoKesnerPolonovski-Mscs.pdf},
dmi-category = {journal},
month = jun,
pages = {409--450},
volume = 13,
number = 3
}
@inproceedings{DCD05,
author = {Di Cosmo, Roberto and Thomas Dufour},
title = {The equational theory of $<N,0,1,+,\cdot,\uparrow>$ is decidable, but not finitely axiomatisable},
booktitle = {LPAR'05},
year = {2005},
series = {Lecture Notes in Computer Science},
doi = {http://dx.doi.org/10.1007/978-3-540-32275-7_17},
urllocal = {http://www.dicosmo.org/Articles/zeroisnfa.pdf},
x-topic = {numbertheory},
dmi-category = {intc},
pages = {240--256}
}
@inproceedings{DCL00,
author = {Di Cosmo, Roberto and Jean-Vincent Loddo},
title = {Playing logic programs with the Alpha-Beta algorithm},
booktitle = {LPAR'00},
editor = {Michel Parigot and Adrei Voronkov},
year = {2000},
volume = {1955},
pages = {207--224},
series = {Lecture Notes in Computer Science},
x-topic = {prolog},
doi = {http://dx.doi.org/10.1007/3-540-44404-1_14},
urllocal = {http://www.dicosmo.org/Articles/2000-DiCosmoLoddo-Lpar.pdf},
dmi-category = {intc}
}
@inproceedings{BDCFLics2002,
author = {Vincent Balat and Di Cosmo, Roberto and Marcelo Fiore},
title = {Remarks on Isomorphisms in
Typed Lambda Calculi with Empty and Sum Type },
booktitle = {LICS},
year = {2002},
x-topic = {typeis},
dmi-category = {intc},
publisher = {IEEE},
month = jul,
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029824},
urllocal = {http://www.dicosmo.org/Articles/2002-BalatDiCosmoFiore-Lics.pdf}
}
@inproceedings{BDCF03,
author = {Vincent Balat and Di Cosmo, Roberto and Marcelo Fiore},
title = {Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lamda Calculus with Sums},
year = {2004},
x-topic = {rewriting},
doi = {http://dx.doi.org/10.1145/982962.964007},
urllocal = {http://www.dicosmo.org/Articles/2004-BalatDiCosmoFiore-Popl.pdf},
dmi-category = {intc},
booktitle = {31st Ann. ACM Symp. on Principles of Programming Languages (POPL)},
publisher = {ACM},
pages = {64--76},
dmi-time = {},
dmi-status = {}
}
@article{MSCSSurvey05,
title = {A short survey of Isomorphisms of Types},
year = {2005},
dmi-category = {jour},
author = {Di Cosmo, Roberto},
x-topic = {typeis},
doi = {http://dx.doi.org/10.1017/S0960129505004871},
urllocal = {http://www.dicosmo.org/Articles/mscs-survey.pdf},
journal = {Mathematical Structures in Computer Science},
volume = 15,
pages = {825--838}
}
@article{DCP03,
author = {Di Cosmo, Roberto and Susanna Pelagatti},
title = {A calculus for dense array distributions},
journal = {Second International Workshop on High-Level Parallel Programming and Applications},
year = {2003},
x-topic = {parallel},
dmi-category = {autc},
dmi-status = {}
}
@techreport{Estime03,
author = {Cl\'ement, Fran\c{c}ois and Vodicka, Arnaud and Di Cosmo, Roberto and Weis, Pierre},
title = {Couplage de codes num\'eriques, parall\'elisme et langages de haut niveau},
institution = {INRIA},
year = {2003},
x-topic = {parallel},
dmi-category = {rapp},
type = {RR},
number = {4825},
note = {\url{http://www.inria.fr/rrrt/rr-4825.html}}
}
@article{DCPR03,
author = {Di Cosmo, Roberto and Fran\c{c}ois Pottier and Didier R\'emy},
title = {Subtyping Recursive Types modulo Associative Commutative Products},
x-topic = {typeis},
journal = {Typed Lambda Calculus and Applications},
year = {2005},
doi = {http://dx.doi.org/10.1007/11417170_14},
urllocal = {http://www.dicosmo.org/Articles/2005-DiCosmoPottierRemy-Tlca.pdf},
dmi-category = {intc}
}
@article{Upgrade2003,
author = {Di Cosmo,Roberto},
title = {Legal Tools to Protect Software: Choosing the Right One},
journal = {Upgrade},
year = {2003},
volume = {4},
number = {3},
pages = {21--23},
month = jun,
urllocal = {http://www.dicosmo.org/Articles/up4-3DiCosmo.pdf},
note = {Available as \url{https://hal.archives-ouvertes.fr/hal-03362924}},
dmi-category = {autc}
}
@article{Upgrade2006,
author = {Di Cosmo,Roberto},
title = {Scientific Publications: The Role of Public Administrations in The {ICT} Era},
journal = {Upgrade},
year = {2006},
volume = 7,
number = 3,
pages = {41--47},
month = jun,
note = {Available as \url{https://hal.archives-ouvertes.fr/hal-03362932}, and also in French at \url{https://hal.archives-ouvertes.fr/hal-03362939}},
dmi-category = {autc}
}
@article{Specif2004,
author = {Di Cosmo,Roberto},
title = {E-duquons l'e-citoyen!},
journal = {Bulletin de Specif},
year = {2004},
month = dec,
urllocal = {http://www.dicosmo.org/Articles/mscs-survey.pdf},
note = {Available as \url{http://www.dicosmo.org/Articles/Specif-3-3.pdf}},
dmi-category = {autc}
}
@article{DCP2003,
author = {Di Cosmo, Roberto and Susanna Pelagatti},
title = {A calculus for dense array distributions},
journal = {Parallel Processing Letters},
year = {2003},
x-topic = {parallel},
doi = {http://dx.doi.org/10.1142/S0129626403001355},
urllocal = {http://www.dicosmo.org/Articles/2003-DiCosmoPelagatti-Ppl.pdf},
dmi-category = {jour},
dmi-status = {},
volume = {13},
number = {3},
pages = {377--388}
}
@article{DCLP2005,
author = {Di Cosmo, Roberto and Zheng Li and Susanna Pelagatti},
title = {A Calculus for Parallel Computations over Multidimensional Dense Arrays},
journal = {Computer Languages, Systems and Structures},
year = {2007},
x-topic = {parallel},
doi = {http://dx.doi.org/10.1016/j.cl.2006.07.005},
urllocal = {http://www.dicosmo.org/Articles/2007-DiCosmoPelagattiZheng-Clls.pdf},
dmi-category = {jour},
volume = {33},
number = {3-4},
pages = {82--110},
url = {http://hal.archives-ouvertes.fr/hal-00154354/en/},
notes = {Special issue on Cost Models for High-Level Parallel Languages}
}
@article{HLPP2005,
author = {Di Cosmo, Roberto and Zheng Li and Susanna Pelagatti and Pierre Weis},
title = {Skeletal Parallel Programming with OcamlP3L 2.0},
journal = {Third International Workshop on High-level Parallel Programming and Applications},
year = {2005},
x-topic = {parallel},
dmi-category = {autc},
month = {4-5} # jul,
notes = {Warwick University, Coventry, United Kingdom}
}
@article{PPL2008,
author = {Di Cosmo, Roberto and Zheng Li and Susanna Pelagatti and Pierre Weis},
title = {Skeletal Parallel Programming with OcamlP3L 2.0},
journal = {Parallel Processing Letters},
year = {2008},
x-topic = {parallel},
doi = {http://dx.doi.org/10.1142/S0129626408003284},
urllocal = {http://www.dicosmo.org/Articles/2008-DiCosmoPelagattiWeisZheng-Ppl.pdf},
dmi-category = {jour},
month = mar,
volume = 18,
number = 1,
pages = {149-164},
ee = {http://dx.doi.org/10.1142/S0129626408003284},
bibsource = {DBLP, http://dblp.uni-trier.de},
notes = {Extended version of ~\cite{HLPP2005}}
}
@article{sna2003,
author = {F. Cl\'ement and V. Martin and A. Vodicka and Di Cosmo, R. and P. Weis},
title = {Domain decomposition for flow simulation around a waste disposal site: direct computation versus code coupling using OCamlP3l},
journal = {International Conference on Supercomputing in Nuclear Applications (SNA'2003)},
x-topic = {parallel},
year = {2003},
dmi-category = {intc},
month = sep
}
@article{p3ljfp2004,
author = {F. Cl\'ement and A. Li and V. Martin and A. Vodicka and Di Cosmo, R. and P. Weis},
title = {Parallel programming with the OcamlP3l system, with applications to coupling numerical codes},
journal = {Journal of Functional Programming},
year = {2003},
x-topic = {parallel},
urllocal = {http://www.dicosmo.org/Articles/2004-ClementDiCosmoMartinVodickaWeisZheng.pdf},
dmi-category = {subm},
month = sep,
note = {Submitted}
}
@mastersthesis{DC86,
author = { Di Cosmo, Roberto},
title = {Isomorfismi di Tipi},
school = {Universit`a di Pisa},
x-topic = {typeis},
dmi-category = {these},
year = {1986}
}
@inproceedings{EDOS-FRCSS06,
title = {Maintaining large software distributions:
new challenges from the {FOSS} era},
author = {Roberto {Di Cosmo} and Berke Durak and Xavier Leroy
and Fabio Mancinelli and J{\'e}r{^o}me Vouillon},
booktitle = {Proceedings of the FRCSS 2006 workshop},
year = 2006,
x-topic = {soften},
dmi-category = {autc},
note = {EASST Newsletter},
abstract = {In the mainstream adoption of free and open source software (FOSS),
distribution editors play a crucial role: they package, integrate and
distribute a wide variety of software, written in a variety of
languages, for a variety of purposes of unprecedented breadth.
Ensuring the quality of a FOSS distribution is a technical and
engineering challenge, owing to the size and complexity of these
distributions (tens of thousands of software packages). A number of
original topics for research arise from this challenge. This paper is
a gentle introduction to this new research area, and strives to
clearly and formally identify many of the desirable properties that
must be enjoyed by these distributions to ensure an acceptable quality
level.}
}
@inproceedings{edos2006wsl,
address = {Porto Alegre, Brazil},
author = {Boender, Jaap and Di Cosmo, Roberto and Durak, Berke and Leroy, Xavier and Mancinelli, Fabio and Morgado, Mario and Pinheiro, David and Treinen, Ralf and Trezentos, Paulo and Vouillon, J{\'e}r{^o}me},
booktitle = {{P}roceedings of the 7th {I}nternational {W}orkshop on {F}ree {S}oftware ({IWFS}'06)},
editor = {Berger, Olivier},
month = apr,
x-topic = {soften},
title = {News from the {EDOS} project: improving the maintenance of free software distributions},
urllocal = {http://www.dicosmo.org/Articles/wsl06.pdf},
url = {http://www.dicosmo.org/Articles/wsl06.pdf},
year = {2006},
dmi-category = {autc},
pages = {199 -- 207},
isbn = {857669066-7}
}
@techreport{Edos2.2,
author = {Di Cosmo, Roberto and
Fabio Mancinelli and
Jaap Boender and
Jerome Vouillon and
Berke Durak and
Xavier Leroy and David Pinheiro and
Paulo Trezentos and Mario Morgado and Tova Milo and Tal Zur and Rafael Suarez and Marc Lijour and
Ralf Treinen},
title = {Report on formal mangement of software dependencies},
institution = {EDOS},
year = {2006},
x-topic = {soften},
dmi-category = {deliverable},
month = apr,
note = {EDOS project Deliverable 2.2, available as \url{http://hal-univ-diderot.archives-ouvertes.fr/docs/00/69/74/68/PDF/edos-wp2d2.pdf}}
}
@inproceedings{ECitizen06,
author = {Di Cosmo, Roberto},
title = {Educating the e-citizen},
booktitle = {11th annual SIGCSE conference on Innovation and technology in computer science education},
year = {2006},
pages = {1--1},
ee = {http://doi.acm.org/10.1145/1140124.1140125},
doi = {10.1145/1140124.1140125},
address = {New York, NY, USA},
publisher = {ACM Press},
location = {Bologna, Italy},
isbn = {1-59593-055-8},
dmi-category = {invi}
}
@inproceedings{EdosAse06,
author = {Fabio Mancinelli and
Jaap Boender and
Di Cosmo, Roberto and
Jerome Vouillon and
Berke Durak and
Xavier Leroy and
Ralf Treinen},
title = {Managing the Complexity of Large Free and Open Source Package-Based
Software Distributions.},
booktitle = {21st IEEE/ACM International Conference on Automated Software
Engineering (ASE)},
year = {2006},
pages = {199-208},
urllocal = {http://www.dicosmo.org/Articles/2006-Edos-Ase.pdf},
ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.49},
doi = {10.1109/ASE.2006.49},
bibsource = {DBLP, http://dblp.uni-trier.de},
editor = {Sebastian Uchitel and Steve Easterbrook},
publisher = {IEEE Computer Society},
isbn = {0-7695-2579-2},
x-topic = {soften},
dmi-category = {intc}
}
@article{fclparco06,
author = {Fran\c{c}ois Cl\'ement and Vincent Martin and Arnaud Vodicka and Di Cosmo, Roberto and Pierre Weis},
title = {Domain Decomposition and Skeleton Programming with {OCamlP3l}},
journal = {Parallel Computing},
year = {2006},
volume = {32},
pages = {539--550},
urllocal = {http://www.dicosmo.org/Articles/2006-ClementDiCosmoMartinVodickaWeis-Parco.pdf},
ee = {http://dx.doi.org/10.1016/j.parco.2006.04.003},
doi = {10.1016/j.parco.2006.04.003},
x-topic = {parallel},
dmi-category = {jour},
note = {Special Issue on Algorithmic Skeletons, extended version of ~\cite{fclparco05}}
}
@inproceedings{fclparco05,
author = {Fran\c{c}ois Cl\'ement and Vincent Martin and Arnaud Vodicka and Di Cosmo, Roberto and Pierre Weis},
title = {Domain Decomposition and Skeleton Programming with {OCamlP3l}},
booktitle = {Proc. of the Internat. Conf. on Parallel Computing: Current & Future Issues of High-End Computing},
pages = {811--818},
year = {2006},
editor = {G. R. Joubert and W. E. Nagel and F. J. Peters and O. Plata and P. Tirado and E. Zapata},
volume = {33},
series = {J. von Neumann Institute for Computing (NIC)},
publisher = {NIC-Directors},
x-topic = {parallel},
dmi-category = {intc}
}
@article{apal:06,
author = {Marcelo Fiore and Di Cosmo, Roberto and Vincent Balat},
url = {http://www.sciencedirect.com/science/article/B6TYB-4H8MNM8-1/2/e457f1b5f47b814e9c5409f9eac608ce},
title = {Remarks on isomorphisms in typed lambda calculi with empty and sum types},
journal = {Annals of Pure and Applied Logic},
year = {2006},
volume = {141},
number = {1--2},
pages = {35--50},
month = aug,
x-topic = {typeis},
keywords = {Type isomorphism; Typed lambda calculus with sums; Tarski's high school algebra problem},
urllocal = {http://www.dicosmo.org/Articles/2006-BalatDiCosmoFiore-Apal.pdf},
dmi-category = {jour},
doi = {http://dx.doi.org/10.1016/j.apal.2005.09.001},
abstract = {Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question for the language of arithmetic expressions using a constant for the number one and the operations of product and exponentiation is affirmative, and the complete equational theory also characterises isomorphism in the typed lambda calculus, where the constant for one and the operations of product and exponentiation respectively correspond to the unit type and the product and arrow type constructors. This paper studies isomorphisms in typed lambda calculi with empty and sum types from this viewpoint. Our main contribution is to show that a family of so-called Wilkie-Gurevic identities, that plays a pivotal role in the study of Tarski's high school algebra problem, arises from type-theoretic isomorphisms. We thus close an open problem by establishing that the theory of type isomorphisms in the presence of product, arrow, and sum types (with or without the unit type) is not finitely axiomatisable. Further, we observe that for type theories with arrow, empty and sum types the correspondence between isomorphism and arithmetic equality generally breaks down, but that it still holds in some particular cases including that of type isomorphism with the empty type and equality with zero.}
}
@incollection{sep-logic-linear,
author = {Di Cosmo, Roberto and Dale Miller},
title = {Linear Logic},
booktitle = {The Stanford Encyclopedia of Philosophy},
editor = {Edward N. Zalta},
url = {http://plato.stanford.edu/archives/fall2006/entries/logic-linear/},
year = {Fall 2006},
x-topic = {linlog},
dmi-category = {autj}
}
@inproceedings{IsosIntersection2008,
author = {Mariangiola Dezani-Ciancaglini and
Di Cosmo, Roberto and
Elio Giovannetti and
Makoto Tatsuta},
title = {On Isomorphisms of Intersection Types},
year = {2008},
pages = {461-477},
urllocal = {http://www.dicosmo.org/Articles/2008-DezaniDiCosmoGiovannettiTatsuta-Csl.pdf},
ee = {http://dx.doi.org/10.1007/978-3-540-87531-4_33},
doi = {10.1007/978-3-540-87531-4_33},
bibsource = {DBLP, http://dblp.uni-trier.de},
dmi-category = {intc},
editor = {Michael Kaminski and Simone Martini},
booktitle = {Computer Science Logic, 22nd International Workshop, CSL
2008, 17th Annual Conference of the EACSL, Bertinoro, Italy,
September 16-19, 2008. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5213},
isbn = {978-3-540-87530-7},
x-topic = {typeis}
}
@inproceedings{Compsac08,
author = {Jaap Boender and
Di Cosmo, Roberto and
J{\'e}r{^o}me Vouillon and
Berke Durak and
Fabio Mancinelli},
title = {Improving the Quality of GNU/Linux Distributions},
year = {2008},
pages = {1240-1246},
ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.226},
doi = {10.1109/COMPSAC.2008.226},
dmi-category = {intc},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer
Software and Applications Conference, COMPSAC 2008, 28 July
- 1 August 2008, Turku, Finland},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3262-2},
x-topic = {soften}
}
@inproceedings{MancoosiHotSwUp2008,
author = {Di Cosmo, Roberto and Zacchiroli, Stefano and Trezentos, Paulo},
title = {Package upgrades in {FOSS} distributions: details and challenges},
year = {2008},
isbn = {978-1-60558-304-4},
pages = {1--5},
location = {Nashville, Tennessee},
urllocal = {http://www.dicosmo.org/Articles/2008-DiCosmoTrezentosZacchiroli-Hotswup.pdf},
ee = {http://doi.acm.org/10.1145/1490283.1490292},
doi = {10.1145/1490283.1490292},
publisher = {ACM},
address = {New York, NY, USA},
dmi-category = {intc},
booktitle = {HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades},
isbn = {978-1-60558-304-4},
location = {Nashville, Tennessee},
x-topic = {soften}
}
@inproceedings{EDOS-OSS-05,
author = {
Serge Abiteboul and
Ciar\'an Bryce and
Roberto {Di Cosmo} and
Klaus R. Dittrich and
St\'efane Fermigier and
St\'ephane Lauri`ere and
Fr\'ed\'eric Lepied and
Xavier Leroy and
Tova Milo and
Eleonora Panto and
Radu Pop and
Assaf Sagi and
Yotam Shtossel and
Florent Villard and
Boris Vrdoljak},
title = {{EDOS}: {Environment} for the {Development} and
{Distribution} of {Open} {Source} {Software}},
booktitle = {First International Conference on {Open} {Source} Systems
(OSS 2005)},
year = 2005,
x-topic = {soften},
urllocal = {http://oss2005.case.unibz.it/Papers/37.pdf},
abstract = {
The open-source software community is now
comprised of a very large and growing number of
contributors and users. The GNU/Linux operating system for
instance has an estimated 18 million users worldwide and its
contributing developers can be counted by thousands. The
critical mass of contributors taking part in various opensource
projects has helped to ensure high quality for open
source software. However, despite the achievements of the
open-source software industry, there are issues in the
production of large scale open-source software (OSS) such as
the GNU/Linux operating system that have to be addressed as
the numbers of users, of contributors, and of available
applications grow. EDOS is a European project supported by
IST started October 2004 and ending in 2007, whose
objective is to provide a new generation of methodologies,
theoretical models, technical tools and quality models
specifically tailored to OSS engineering and to software
distribution over the Internet.},
dmi-category = {intc},
x-topic = {softeng}
}
@article{LaRecherche2009,
author = {Di Cosmo, Roberto},
title = {La science du logiciel libre},
journal = {La Recherche},
note = {Les cahiers de l'INRIA},
pages = {70--73},
year = {2009},
dmi-category = {vulg},
month = dec,
url = {http://hal.inria.fr/inria-00511691/fr}
}
@article{ScienceEtAvenir2009,
author = {Di Cosmo, Roberto},
title = {Offrons aux jeunes les cl\'es du pouvoir et de la libert\'e},
journal = {Science et Avenir},
pages = {42--45},
volume = 751,
url = {http://sciencesetavenirmensuel.nouvelobs.com/hebdo/parution/p751/articles/a407123-.html},
year = {2009},
dmi-category = {vulg},
month = sep
}
@inproceedings{ESEM2009,
author = {Pietro Abate and
Jaap Boender and
Di Cosmo, Roberto and
Stefano Zacchiroli},
title = {Strong Dependencies between Software Components},
year = 2009,
pages = {89--99},
month = oct,
publisher = {IEEE Press},
x-topic = {soften},
dmi-category = {intc},
doi = {10.1109/ESEM.2009.5316017},
urllocal = {http://www.dicosmo.org/Articles/2009-AbateBoenderDiCosmoZacchiroli-Esem.pdf},
booktitle = {International Symposium on Empirical Sofware Engineering and Measurement},
url = {http://ieeexplore.ieee.org:80/search/wrapper.jsp?arnumber=5316017}
}
@article{I-CIO-2009,
author = {Andrew Donohogue and Di Cosmo, Roberto},
title = {Open for Business},
year = 2009,
month = aug,
publisher = {Fujitsu Publication/ Redwood},
journal = {I-CIO, Global Intelligence for the CIO},
dmi-category = {vulg},
url = {http://www.i-cio.com/blog/july/roberto-di-cosmo}
}
@inproceedings{ISEC10,
author = {Di Cosmo, Roberto and Boender, Jaap},
title = {Using strong conflicts to detect quality issues in component-based complex systems},
booktitle = {ISEC '10: Proceedings of the 3rd India software engineering conference},
year = {2010},
isbn = {978-1-60558-922-0},
pages = {163--172},
location = {Mysore, India},
dmi-category = {intc},
urllocal = {http://www.dicosmo.org/Articles/2010-BoenderDiCosmo-Isec.pdf},
doi = {http://doi.acm.org/10.1145/1730874.1730905},
publisher = {ACM},
address = {New York, NY, USA},
x-topic = {soften}
}
@inproceedings{SPLC2010,
author = {Di Cosmo, Roberto and
Stefano Zacchiroli},
title = {Feature Diagrams as Package Dependencies},
editor = {Jan Bosch and
Jaejoon Lee},
booktitle = {Software Product Lines: Going Beyond - 14th International
Conference, SPLC 2010, Jeju Island, South Korea. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6287},
month = {13-17 } # sep,
year = {2010},
pages = {476-480},
urllocal = {http://www.dicosmo.org/Articles/2010-DiCosmoZacchiroli-Splc.pdf},
ee = {http://dx.doi.org/10.1007/978-3-642-15579-6_40},
bibsource = {DBLP, http://dblp.uni-trier.de},
x-topic = {soften},
dmi-category = {intc}
}
@article{IsosIntersection2010,
author = {Mariangiola Dezani-Ciancaglini and
Di Cosmo, Roberto and
Elio Giovannetti and
Makoto Tatsuta},
title = {On isomorphisms of intersection types},
journal = {ACM Transactions on Computational Logic},
volume = {11},
pages = {1-24},
number = {4},
year = {2010},
urllocal = {http://www.dicosmo.org/Articles/2010-DezaniDiCosmoGiovannettiTatsuta-Tocl.pdf},
ee = {http://doi.acm.org/10.1145/1805950.1805955},
doi = {http://doi.acm.org/10.1145/1805950.1805955},
dmi-category = {jour},
x-topic = {typeis},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Predictions2011,
author = {Pietro Abate and Di Cosmo, Roberto},
title = {Predicting Upgrade Failures Using Dependency Analysis},
year = {2011},
urllocal = {http://www.dicosmo.org/Articles/2011-AbateDiCosmo-Hotswup.pdf},
doi = {http://dx.doi.org/10.1109/ICDEW.2011.5767626},
ee = {http://dx.doi.org/10.1109/ICDEW.2011.5767626},
pages = {145-150},
editor = {Serge Abiteboul and
Klemens B{\"o}hm and
Christoph Koch and
Kian-Lee Tan},
booktitle = {Workshops Proceedings of the 27th International Conference
on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover,
Germany},
publisher = {IEEE},
x-topic = {soften},
isbn = {978-1-4244-9194-0},
dmi-category = {intc}
}
@article{SCP2011,
title = {Supporting software evolution in component-based {FOSS} systems},
journal = {Science of Computer Programming},
volume = {76},
number = {12},
pages = {1144-1160},
month = dec,
year = {2011},
note = {},
issn = {0167-6423},
urllocal = {http://www.dicosmo.org/Articles/2010-DiCosmoDiRuscioPeliccionePierantonioZacchiroli-Scp.pdf},
doi = {DOI: 10.1016/j.scico.2010.11.001},
url = {http://authors.elsevier.com/offprints/SCICO1260/72d70a6343eaa626df60920580edfa83},
author = {Di Cosmo, Roberto and Di Ruscio, Davide and Patrizio Pelliccione and Alfonso Pierantonio and Stefano Zacchiroli},
keywords = {System's upgrade},
keywords = {FOSS systems},
keywords = {Open source project},
keywords = {Model-driven engineering (MDE)},
keywords = {Configuration management},
dmi-category = {jour},
x-topic = {soften}
}
@inproceedings{mpm2011,
author = {Abate, Pietro and Di Cosmo, Roberto and Treinen, Ralf and Zacchiroli, Stefano},
title = {MPM: a modular package manager},
booktitle = {Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering},
series = {CBSE '11},
year = {2011},
isbn = {978-1-4503-0723-9},
location = {Boulder, Colorado, USA},
pages = {179--188},
numpages = {10},
urllocal = {http://www.dicosmo.org/Articles/2011-AbateDiCosmoTreinenZacchiroli-Cbse.pdf},
url = {http://doi.acm.org/10.1145/2000229.2000255},
doi = {http://doi.acm.org/10.1145/2000229.2000255},
acmid = {2000255},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {package managers},
x-topic = {soften},
dmi-category = {intc}
}
@inproceedings{FSE2011,
author = {Di Cosmo, Roberto and J{\'e}r{^o}me Vouillon},
title = {On software component co-installability},
year = {2011},
pages = {256-266},
urllocal = {http://www.dicosmo.org/Articles/coinstallability.pdf},
ee = {http://doi.acm.org/10.1145/2025113.2025149},
doi = {http://doi.acm.org/10.1145/2025113.2025149},
bibsource = {DBLP, http://dblp.uni-trier.de},
dmi-category = {intc},
editor = {Tibor Gyim{\'o}thy and
Andreas Zeller},
booktitle = {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},
publisher = {ACM},
isbn = {978-1-4503-0443-6},
x-topic = {soften}
}
@inproceedings{6224274,
author = {Artho, C. and Suzaki, K. and Di Cosmo, R. and Treinen, R. and Zacchiroli, S.},
booktitle = {Mining Software Repositories (MSR), 2012 9th IEEE Working Conference on},
title = {Why do software packages conflict?},
year = {2012},
pages = {141-150},
abstract = {Determining whether two or more packages cannot be installed together is an important issue in the quality assurance process of package-based distributions. Unfortunately, the sheer number of different configurations to test makes this task particularly challenging, and hundreds of such incompatibilities go undetected by the normal testing and distribution process until they are later reported by a user as bugs that we call “conflict defects”. We performed an extensive case study of conflict defects extracted from the bug tracking systems of Debian and Red Hat. According to our results, conflict defects can be grouped into five main categories. We show that with more detailed package meta-data, about 30 % of all conflict defects could be prevented relatively easily, while another 30 % could be found by targeted testing of packages that share common resources or characteristics. These results allow us to make precise suggestions on how to prevent and detect conflict defects in the future.},
keywords = {program debugging;program testing;quality assurance;software packages;software quality;Debian;Red Hat;bug tracking system;conflict defect;distribution process;normal testing;package meta-data;package-based distribution;quality assurance process;software package;Computer bugs;Databases;Libraries;Manuals;Software packages;Testing},
doi = {10.1109/MSR.2012.6224274},
issn = {2160-1852},
dmi-category = {intc},
x-topic = {soften},
urllocal = {http://www.dicosmo.org/Articles/2011-ArthoSuzakiDiCosmoTreinenZacchiroli-Msr.pdf}
}
@inproceedings{AlignedUpgrades2011,
author = {Di Cosmo, Roberto and Olivier Lhomme and Claude Michel},
title = {Aligning component upgrades},
year = {2011},
pages = {1-11},
x-topic = {soften},
urllocal = {http://www.dicosmo.org/Articles/2011-DiCosmoLhommeMichel-Lococo.pdf},
doi = {http://doi.acm.org/10.4204/EPTCS.65.1},
abstract = { Modern software systems, like GNU/Linux distributions or Eclipse-based
development environment, are often deployed by selecting components out of
large component repositories. Maintaining such software systems by
performing component upgrades is a complex task, and the users need to have
an expressive preferences language at their disposal to specify the kind of
upgrades they are interested in. Recent research has shown that it is
possible to develop solvers that handle preferences expressed as a
combination of a few basic criteria used in the MISC competition, ranging
from the number of new components to the freshness of the final
configuration. In this work we introduce a set of new criteria that allow
the users to specify their preferences for solutions with components aligned
to the same upstream sources, provide an efficient encoding and report on
the experimental results that prove that optimising these alignment criteria
is a tractable problem in practice.},
editor = {Conrad Drescher and
In{^e}s Lynce and
Ralf Treinen},
booktitle = {Proceedings Second Workshop on Logics for Component Configuration},
journal = {EPTCS},
volume = {65},
ee = {http://arxiv.org/abs/1108.6097},
bibsource = {DBLP, http://dblp.uni-trier.de},
dmi-category = {intc},
x-topic = {soften}
}
@article{Parmap2012,
author = {Marco Danelutto and
Di Cosmo, Roberto},
title = {A "{M}inimal {D}isruption" Skeleton Experiment: Seamless Map
{&} Reduce Embedding in {OC}aml},
journal = {Procedia CS},
volume = {9},
year = {2012},
pages = {1837-1846},
ee = {http://dx.doi.org/10.1016/j.procs.2012.04.202},
doi = {http://dx.doi.org/10.1016/j.procs.2012.04.202},
urllocal = {http://www.dicosmo.org/Articles/2012-DaneluttoDiCosmo-Pcs.pdf},
dmi-category = {intc},
x-topic = {parallel},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DepSolversNP2012,
author = {Abate, Pietro and Di Cosmo, Roberto and Treinen, Ralf and Zacchiroli, Stefano},
title = {Dependency Solving: a Separate Concern in Component Evolution Management},
journal = {Journal of System and Software Science},
year = {2012},
dmi-category = {jour},
volume = {85},
number = {10},
pages = {2228 - 2240},
note = {Automated Software Evolution},
issn = {0164-1212},
doi = {10.1016/j.jss.2012.02.018},
urllocal = {http://www.dicosmo.org/Articles/2012-AbateDiCosmoTreinenZacchiroli-Jss.pdf},
url = {http://www.sciencedirect.com/science/article/pii/S0164121212000477},
x-topic = {soften},
keywords = {Component},
keywords = {Dependency solving},
keywords = {Software evolution},
keywords = {Package management},
keywords = {Open source},
keywords = {Competition}
}
@article{LeMonde2012,
author = {Patrice Bertrand and Di Cosmo, Roberto and Stefane Fermigier},
title = {Il faut enseigner le Logiciel Libre en France},
journal = {Le Monde },
pages = {8 (suppl. Sciences & Techno)},
month = 20 # oct,
year = {2012},
dmi-category = {vulg}
}
@article{MPM2012ITS,
author = {Pietro Abate and Di Cosmo,Roberto and Ralf Treinen and Stefano Zacchiroli},
title = {A modular package manager architecture},
journal = {Information and Software Technology},
volume = {55},
number = {2},
pages = {459 - 474},
year = {2013},
note = {Special Section: Component-Based Software Engineering (CBSE), 2011},
issn = {0950-5849},
doi = {10.1016/j.infsof.2012.09.002},
urllocal = {http://www.dicosmo.org/Articles/2013-AbateDiCosmoTreinenZacchiroli-Ist.pdf},
url = {http://www.sciencedirect.com/science/article/pii/S0950584912001851},
keywords = {Software dependencies},
keywords = {Software repositories},
keywords = {Software components},
keywords = {Package manager},
keywords = {Open source},
x-topic = {soften},
dmi-category = {jour},
abstract = {Context
The success of modern software distributions in the Free and Open Source world can be explained, among other factors, by the availability of a large collection of software packages and the possibility to easily install and remove those components using state-of-the-art package managers. However, package managers are often built using a monolithic architecture and hard-wired and ad-hoc dependency solvers implementing some customized heuristics.
Objective
We aim at laying the foundation for improving on existing package managers. Package managers should be complete, that is find a solution whenever there exists one, and allow the user to specify complex criteria that define how to pick the best solution according to the user~s preferences.
Method
In this paper we propose a modular architecture relying on precise interface formalisms that allows the system administrator to choose from a variety of dependency solvers and backends.
Results
We have built a working prototype, called MPM, following the design advocated in this paper, and we show how it largely outperforms a variety of current package managers.
Conclusion
We argue that a modular architecture, allowing for delegating the task of constraint solving to external solvers, is the path that leads to the next generation of package managers that will deliver better results, offer more expressive preference languages, and be easily adaptable to new platforms.}
}
@unpublished{BallotSignature2007,
author = {Di Cosmo, Roberto},
title = {On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack},
dmi-category = {infl},
month = apr,
year = {2007},
url = {http://hal.archives-ouvertes.fr/hal-00142440},
x-topic = {securi},
abstract = { This paper describes in detail an attack on multiple-choice voting
schemas, that has gone largely unnoticed in the literature. Written in
2006, to complement my original Wikipedia article dating back to January
2005, it is still unpublished up to now: I did not find yet the
necessary energy to go through the process of getting it accepted in the
scholar community working on security, which is not my research
domain. And yet, it is probably my most referenced and more influential
article to date (just Google it around a bit).}
}
@inproceedings{AeolusModel2012,
author = {Di Cosmo, Roberto and
Stefano Zacchiroli and
Gianluigi Zavattaro},
title = {Towards a Formal Component Model for the Cloud},
booktitle = {SEFM},
year = {2012},
pages = {156-171},
urllocal = {http://www.dicosmo.org/Articles/2012-DiCosmoZacchiroliZavattaro-Sefm.pdf},
ee = {http://dx.doi.org/10.1007/978-3-642-33826-7_11},
doi = {http://dx.doi.org/10.1007/978-3-642-33826-7_11},
bibsource = {DBLP, http://dblp.uni-trier.de},
x-topic = {soften},
dmi-category = {intc}
}
@inproceedings{Hats2012,
author = {Di Cosmo, Roberto and
Ralf Treinen and
Stefano Zacchiroli},
title = {Formal Aspects of Free and Open Source Software Components
- A Short Survey},
booktitle = {FMCO},
year = {2012},
pages = {216-239},
urllocal = {http://www.dicosmo.org/Articles/2012-DiCosmoTreinenZacchiroli-Fmco.pdf},
ee = {http://dx.doi.org/10.1007/978-3-642-40615-7_8},
doi = {http://dx.doi.org/10.1007/978-3-642-40615-7_8},
bibsource = {DBLP, http://dblp.uni-trier.de},
x-topic = {soften},
dmi-category = {intc}
}
@inproceedings{Cbse2012,
author = {Abate, Pietro and Di Cosmo, Roberto and Treinen, Ralf and Zacchiroli, Stefano},
title = {Learning from the future of component repositories},
booktitle = {Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering},
series = {CBSE '12},
year = {2012},
isbn = {978-1-4503-1345-2},
location = {Bertinoro, Italy},
pages = {51--60},
numpages = {10},
urllocal = {http://www.dicosmo.org/Articles/2012-AbateDiCosmoTreinenZacchiroli-Cbse.pdf},
url = {http://doi.acm.org/10.1145/2304736.2304747},
doi = {http://doi.acm.org/10.1145/2304736.2304747},
acmid = {2304747},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {component repository, quality assurance, speculative analysis},
x-topic = {soften},
dmi-category = {intc}
}
@inproceedings{coinst-upgrade,
author = {J\'er^ome Vouillon and Di Cosmo, Roberto},
title = {Broken Sets in Software Repository Evolution},
booktitle = {ICSE},
year = {2013},
pages = {412-421},
x-topic = {soften},
doi = {http://dx.doi.org/10.1145/2522920.2522927},
urllocal = {http://www.dicosmo.org/Articles/2013-DiCosmoVouillon-Icse.pdf},
dmi-category = {intc}
}
@inproceedings{AeolusIcalp2013,
author = {Di Cosmo, Roberto and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro},
title = {Component Reconfiguration in the Presence of Conflicts},
booktitle = {ICALP (2)},
year = {2013},
pages = {187-198},
urllocal = {http://www.dicosmo.org/Articles/2013-DiCosmoMauroZavattaroZacchiroli-Icalp.pdf},
ee = {http://dx.doi.org/10.1007/978-3-642-39212-2_19},
doi = {http://dx.doi.org/10.1007/978-3-642-39212-2_19},
bibsource = {DBLP, http://dblp.uni-trier.de},
x-topic = {soften},
dmi-category = {intc}
}
@inproceedings{Esoc2013,
author = {Michel Catan and
Di Cosmo, Roberto and
Antoine Eiche and
Tudor A. Lascu and
Michael Lienhardt and
Jacopo Mauro and
Ralf Treinen and
Stefano Zacchiroli and
Gianluigi Zavattaro and
Jakub Zwolakowski},
title = {Aeolus: Mastering the Complexity of Cloud Application Deployment},
booktitle = {ESOCC},
year = {2013},
pages = {1-3},
urllocal = {http://www.dicosmo.org/Articles/2013-CatanDiCosmoEicheLascuLienhardtMauroTreinenZavattaroZacchiroliZwolakowski-esocc.pdf},
ee = {http://dx.doi.org/10.1007/978-3-642-40651-5_1},
doi = {http://dx.doi.org/10.1007/978-3-642-40651-5_1},
bibsource = {DBLP, http://dblp.uni-trier.de},
x-topic = {soften},
dmi-category = {intc}
}
@article{PourLaScience2013,
author = {Di Cosmo, Roberto},
title = {Organiser le partage pour pr\'eserver les donn\'ees},
journal = {Pour la {S}cience},
pages = {86--90},
year = {2013},
volume = 433,
dmi-category = {vulg},
month = nov,
urllocal = {http://www.dicosmo.org/Articles/2013-11-PourLaScience-partage_donnees.pdf},
url = {http://www.pourlascience.fr/ewb_pages/a/article-32240-organiser-le-partage-pour-preserver-les-donnees.php}
}
@article{CoinstTosem2013,
author = {J{\'e}r{^o}me Vouillon and
Di Cosmo, Roberto},
title = {On software component co-installability},
journal = {ACM Trans. Softw. Eng. Methodol.},
volume = {22},
number = {4},
year = {2013},
pages = {34},
ee = {http://doi.acm.org/10.1145/2522920.2522927},
doi = {http://doi.acm.org/10.1145/2522920.2522927},
bibsource = {DBLP, http://dblp.uni-trier.de},
x-topic = {soften},
urllocal = {http://www.dicosmo.org/Articles/2013-DiCosmoVouillon-Tosem.pdf},
dmi-category = {journal}
}
@inproceedings{comigrate,
author = {J{\'{e}}r{^{o}}me Vouillon and Mehdi Dogguy and Di Cosmo, Roberto},
title = {Easing software component repository evolution},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {756--766},
year = {2014},
crossref = {DBLP:conf/icse/2014},
url = {http://doi.acm.org/10.1145/2568225.2568262},
doi = {10.1145/2568225.2568262},
timestamp = {Sun, 18 May 2014 16:12:57 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icse/VouillonDC14},
urllocal = {http://www.dicosmo.org/Articles/2014-DiCosmoMehdiVouillon-ICSE.pdf},
dmi-category = {intc},
bibsource = {dblp computer science bibliography, http://dblp.org},
x-topic = {soften}
}
@article{SCP2014,
title = {Learning from the future of component repositories},
journal = {Science of Computer Programming},
volume = {90},
number = {B},
pages = {93-115},
month = sep,
year = {2014},
note = {},
urllocal = {http://www.dicosmo.org/Articles/2014-DiCosmoAbateTreinenZacchiroli-SCP.pdf},
author = {Pietro Abate and Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
keywords = {Error prediction},
keywords = {Component repositories},
keywords = {Open source},
keywords = {Configuration management},
dmi-category = {jour},
x-topic = {soften}
}
@inproceedings{Aeolus2014,
author = {Di Cosmo, Roberto and
Michael Lienhardt and
Ralf Treinen and
Stefano Zacchiroli and
Jakub Zwolakowski and
Antoine Eiche and
Alexis Agahi},
title = {Automated synthesis and deployment of cloud applications},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
year = {2014},
pages = {211--222},
crossref = {DBLP:conf/kbse/2014},
url = {http://doi.acm.org/10.1145/2642937.2642980},
doi = {10.1145/2642937.2642980},
timestamp = {Wed, 15 Oct 2014 11:29:09 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/kbse/CosmoLTZZEA14},
bibsource = {dblp computer science bibliography, http://dblp.org},
urllocal = {http://www.dicosmo.org/Articles/Aeolus-2014.pdf},
dmi-category = {intc},
x-topic = {soften}
}
@article{IandC2014,
author = {Di Cosmo, Roberto and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro},
title = {Aeolus: {A} component model for the cloud},
journal = {Information and Computation},
volume = {239},
pages = {100--121},
year = {2014},
url = {http://dx.doi.org/10.1016/j.ic.2014.11.002},
doi = {10.1016/j.ic.2014.11.002},
timestamp = {Thu, 04 Dec 2014 11:41:41 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/CosmoMZZ14},
urllocal = {http://www.dicosmo.org/Articles/Aeolus-IandC-2014.pdf},
bibsource = {dblp computer science bibliography, http://dblp.org},
dmi-category = {jour},
x-topic = {soften}
}
@inproceedings{MSR2015-distcheck,
author = {Pietro Abate and
Di Cosmo, Roberto and
Louis Gesbert and
Le Fessant, Fabrice and
Ralf Treinen and
Stefano Zacchiroli},
title = {Mining Component Repositories for Installability Issues},
booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
{MSR} 2015, Florence, Italy, May 16-17, 2015},
pages = {24--33},
year = 2015,
crossref = {DBLP:conf/msr/2015},
url = {http://dx.doi.org/10.1109/MSR.2015.10},
doi = {10.1109/MSR.2015.10},
timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/msr/AbateCGFTZ15},
bibsource = {dblp computer science bibliography, http://dblp.org},
urllocal = {http://www.dicosmo.org/Articles/2015-MSR-distcheck.pdf},
dmi-category = {intc},
x-topic = {soften}
}
@inproceedings{MSR2015-coisntevol,
author = {Ma{\"{e}}lick Claes and
Tom Mens and
Di Cosmo, Roberto and
J{\'{e}}r{^{o}}me Vouillon},
title = {A Historical Analysis of Debian Package Incompatibilities},
booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
{MSR} 2015, Florence, Italy, May 16-17, 2015},
pages = {212--223},
year = 2015,
crossref = {DBLP:conf/msr/2015},
url = {http://dx.doi.org/10.1109/MSR.2015.27},
doi = {10.1109/MSR.2015.27},
timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/msr/ClaesMCV15},
bibsource = {dblp computer science bibliography, http://dblp.org},
urllocal = {http://www.dicosmo.org/Articles/2015-MSR-coinstevol.pdf},
dmi-category = {intc},
x-topic = {soften}
}
@inproceedings{Aeolus2015,
author = {Di Cosmo, Roberto and
Michael Lienhardt and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro and
Jakub Zwolakowski},
title = {Automatic Application Deployment in the Cloud: from Practice to Theory
and Back (Invited Paper)},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
pages = {1--16},
year = {2015},
crossref = {DBLP:conf/concur/2015},
url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.1},
doi = {10.4230/LIPIcs.CONCUR.2015.1},
timestamp = {Wed, 02 Sep 2015 14:06:49 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/concur/CosmoLMZZZ15},
urllocal = {http://www.dicosmo.org/Articles/2015-concur.pdf},
bibsource = {dblp computer science bibliography, http://dblp.org},
dmi-category = {invited},
x-topic = {soften}
}
@article{JournalCNRS2015,
author = {Di Cosmo, Roberto},
title = {Reprenons le contr^ole de nos donn\'ees},
journal = {Journal du CNRS},
year = {2015},
month = 14 # apr,
dmi-category = {vulg},
urllocal = {http://www.dicosmo.org/Articles/faits_marquants_2015_web.pdf},
url = {http://www.cnrs.fr/ins2i/IMG/pdf/faits_marquants_2015_web.pdf},
url = {https://lejournal.cnrs.fr/billets/reprenons-le-controle-de-nos-donnees}
}
@proceedings{DBLP:conf/icse/2014,
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2568225},
isbn = {978-1-4503-2756-5},
timestamp = {Sun, 18 May 2014 16:02:06 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icse/2014},
bibsource = {dblp computer science bibliography, http://dblp.org},
dmi-category = {misc}
}
@proceedings{DBLP:conf/kbse/2014,
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
year = {2014},
publisher = {{ACM}},
url = {http://dl.acm.org/citation.cfm?id=2642937},
isbn = {978-1-4503-3013-8},
timestamp = {Wed, 15 Oct 2014 11:29:09 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/kbse/2014},
bibsource = {dblp computer science bibliography, http://dblp.org},
dmi-category = {misc}
}
@proceedings{DBLP:conf/msr/2015,
editor = {Massimiliano Di Penta and Martin Pinzger and Romain Robbes},
title = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
{MSR} 2015, Florence, Italy, May 16-17, 2015},
publisher = {{IEEE}},
year = 2015,
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7180033},
isbn = {978-0-7695-5594-2},
timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/msr/2015},
dmi-category = {misc},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2015,
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-91-0},
isbn = {978-3-939897-91-0},
timestamp = {Wed, 02 Sep 2015 14:06:49 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/concur/2015},
dmi-category = {misc},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{sif2017,
author = {Di Cosmo, Roberto},
title = {Software Heritage: pourquoi et comment construire l'archive universelle du code source},
journal = {1024},
note = {Bulletin de la Soci\'et\'e Informatique de France},
pages = {67--72},
number = 10,
year = {2017},
dmi-category = {vulg},
x-topic = {preservation},
url = {http://www.societe-informatique-de-france.fr/wp-content/uploads/2017/04/1024-no10-Software-Heritage.pdf},
urllocal = {http://www.dicosmo.org/Articles/1024-no10-Software-Heritage.pdf},
month = may
}
@inproceedings{OSS2017,
author = {Pietro Abate and
Di Cosmo, Roberto},
title = {Adoption of academic tools in open source communities: the {D}ebian case study},
year = 2017,
pages = {139--150},
month = may,
publisher = {Springer},
x-topic = {soften},
dmi-category = {intc},
urllocal = {http://www.dicosmo.org/Articles/2017-OSS-adoption.pdf},
booktitle = {OSS 2017}
}
@inproceedings{NightSplitter2017,
author = {Tong Liu and
Roberto Di Cosmo and
Maurizio Gabbrielli and
Jacopo Mauro},
title = {NightSplitter: {A} Scheduling Tool to Optimize (Sub)group Activities},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
pages = {370--386},
year = {2017},
dmi-category = {intc},
x-topic = {optimi},
crossref = {DBLP:conf/cp/2017},
url = {https://doi.org/10.1007/978-3-319-66158-2_24},
doi = {10.1007/978-3-319-66158-2_24},
timestamp = {Wed, 23 Aug 2017 10:15:24 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cp/LiuCGM17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2017,
editor = {J. Christopher Beck},
title = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2},
doi = {10.1007/978-3-319-66158-2},
isbn = {978-3-319-66157-5},
timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cp/2017},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{OCamlMOOC2017,
author = {Benjamin Canou and
Di Cosmo, Roberto and
Gr{\'{e}}goire Henry},
title = {Scaling up functional programming education: under the hood of the
OCaml {MOOC}},
journal = {{PACMPL}},
volume = {1},
number = {{ICFP}},
pages = {4:1--4:25},
year = {2017},
url = {http://doi.acm.org/10.1145/3110248},
doi = {10.1145/3110248},
dmi-category = {journal},
x-topic = {funpro},
timestamp = {Tue, 12 Sep 2017 16:16:51 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/pacmpl/CanouCH17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{entretien2017,
author = {Di Cosmo, Roberto and Val\'erie Schafer},
title = {Le logiciel libre, de l'usage à la recherche},
journal = {1024},
note = {Bulletin de la Soci\'et\'e Informatique de France},
pages = {39--52},
number = 11,
year = {2017},
dmi-category = {vulg},
x-topic = {preser},
url = {http://www.societe-informatique-de-france.fr/wp-content/uploads/2017/10/1024-no11-DiCosmo.pdf},
urllocal = {http://www.dicosmo.org/Articles/1024-no11-DiCosmo.pdf},
month = sep
}
@article{EntreprisesEtHistoire2017,
author = {Di Cosmo, Roberto},
title = {Software Heritage : pourquoi et comment construire la grande bibliothèque du code source},
journal = {Entreprises et histoire},
year = 2017,
volume = 2,
number = 87,
pages = {69--75},
doi = {10.3917/eh.087.0069},
url = {https://www.cairn.info/revue-entreprises-et-histoire-2017-2-page-69.htm},
dmi-category = {vulg},
x-topic = {preser}
}
@misc{hal-01688726,
title = {{La cr{\'e}ation du nouveau type de d{\'e}p{^o}t scientifique - Le logiciel}},
author = {Yannick, Barborini and Di Cosmo, Roberto and Dumont, Antoine R. and Gruenpeter, Morane and Marmol, Bruno P and Monteil, Alain and Sadowska, Jozefina and Zacchiroli, Stefano},
url = {https://hal.inria.fr/hal-01688726},
note = {Poster},
howpublished = {{JSO 2018 - 7es journ{\'e}es Science Ouverte Couperin : 100 % open access : initiatives pour une transition r{\'e}ussie}},
year = {2018},
month = jan,
keywords = {Logiciel open source ; code source ; pr{\'e}servation du patrimoine logiciel ; reproductibilit{\'e} num{\'e}rique},
pdf = {https://hal.inria.fr/hal-01688726/file/2018-01-22-JSO2018-Poster.pdf},
hal_id = {hal-01688726},
dmi-category = {autc},
x-topic = {preser},
hal_version = {v1}
}
@inproceedings{swhipres2017,
author = {Di Cosmo, Roberto and Stefano Zacchiroli},
title = {Software Heritage: Why and How to Preserve Software Source Code},
booktitle = {Proceedings of the 14th International Conference on Digital Preservation,
iPRES 2017, Kyoto, Japan},
month = sep,
year = {2017},
url = {https://hal.archives-ouvertes.fr/hal-01590958},
urllocal = {http://www.dicosmo.org/Articles/iPres2017.pdf},
dmi-category = {intc},
x-topic = {preser},
note = {Available from \url{https://hal.archives-ouvertes.fr/hal-01590958}}
}
@inproceedings{ASE2018,
author = {Di Cosmo, Roberto},
title = {Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote)},
booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering},
series = {ASE 2018},
year = {2018},
isbn = {978-1-4503-5937-5},
location = {Montpellier, France},
pages = {1--2},
numpages = {2},
url = {http://doi.acm.org/10.1145/3238147.3241985},
urllocal = {http://www.dicosmo.org/Articles/ASE2018.pdf},
doi = {10.1145/3238147.3241985},
acmid = {3241985},
publisher = {ACM},
address = {New York, NY, USA},
dmi-category = {intc},
x-topic = {preser},
keywords = {Software archive}
}
@inproceedings{swhipres2018,
author = {Di Cosmo, Roberto and Morane Gruenpeter and Stefano Zacchiroli},
title = {Identifiers for Digital Objects: the Case of Software Source Code Preservation},
booktitle = {Proceedings of the 15th International Conference on Digital Preservation,
iPRES 2018, Boston, USA},
month = sep,
year = {2018},
url = {https://hal.archives-ouvertes.fr/hal-01865790},
urllocal = {http://www.dicosmo.org/Articles/iPres2018.pdf},
dmi-category = {intc},
x-topic = {preser},
note = {Available from \url{https://hal.archives-ouvertes.fr/hal-01865790}}
}
@article{SwhCACM2018,
author = {Abramatic, Jean-Fran\c{c}ois and Di Cosmo, Roberto and Zacchiroli, Stefano},
title = {Building the Universal Archive of Source Code},
journal = {Commun. ACM},
issue_date = {October 2018},
volume = {61},
number = {10},
month = sep,
year = {2018},
issn = {0001-0782},
pages = {29--31},
numpages = {3},
url = {http://doi.acm.org/10.1145/3183558},
urllocal = {http://www.dicosmo.org/Articles/CACM2018.pdf},
doi = {10.1145/3183558},
acmid = {3183558},
publisher = {ACM},
dmi-category = {jour},
x-topic = {preser},
address = {New York, NY, USA}
}
@inproceedings{EGC2019,
author = {Roberto Di Cosmo},
title = {Software Heritage: que faire avec tout le code source du monde?},
booktitle = {Extraction et Gestion des connaissances, {EGC} 2019, Metz, France,
January 21-25, 2019},
pages = {5--6},
year = {2019},
crossref = {DBLP:conf/f-egc/2019},
url = {http://editions-rnti.fr/?inprocid=1002461},
timestamp = {Thu, 31 Jan 2019 12:25:48 +0100},
x-topic = {preser},
biburl = {https://dblp.org/rec/bib/conf/f-egc/Cosmo19},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/f-egc/2019,
editor = {Marie{-}Christine Rousset and
Lydia Boudjeloud{-}Assala},
title = {Extraction et Gestion des connaissances, {EGC} 2019, Metz, France,
January 21-25, 2019},
series = {{RNTI}},
volume = {{E-35}},
publisher = {Hermann-{\'{E}}ditions},
year = {2019},
url = {http://editions-rnti.fr/?procid=100176},
isbn = {979-10-96289-09-7},
timestamp = {Thu, 31 Jan 2019 12:25:30 +0100},
biburl = {https://dblp.org/rec/bib/conf/f-egc/2019},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{2020GtCitation,
author = {Pierre {Alliez} and Di Cosmo, Roberto and Benjamin {Guedj} and Alain {Girault} and Mohand-Said {Hacid} and Arnaud {Legrand} and Nicolas {Rougier}},
journal = {Computing in Science and Engineering},
title = {Attributing and Referencing (Research) Software: Best Practices and Outlook From Inria},
year = 2020,
volume = 22,
number = 1,
pages = {39-52},
abstract = {Software is a fundamental pillar of modern scientific research, across all fields and disciplines. However, there is a lack of adequate means to cite and reference software due to the complexity of the problem in terms of authorship, roles, and credits. This complexity is further increased when it is considered over the lifetime of a software that can span up to several decades. Building upon the internal experience of Inria, the French research institute for digital sciences, we provide in this article a contribution to the ongoing efforts in order to develop proper guidelines and recommendations for software citation and reference. Namely, we recommend: first, a richer taxonomy for software contributions with a qualitative scale; second, to put humans at the heart of the evaluation; and third, to distinguish citation from reference.},
keywords = {Software packages;Complexity theory;Research and development;Libraries;Metadata;Best practices;Guidelines;Software citation;software reference;authorship;development process},
doi = {10.1109/MCSE.2019.2949413},
issn = {1558-366X},
month = {Jan},
dmi-category = {jour},
x-topic = {opensc},
note = {Available from \url{https://hal.archives-ouvertes.fr/hal-02135891}},
urllocal = {http://www.dicosmo.org/Articles/2020-CiSE-AttributingReferencing.pdf}
}
@article{cise-2020-doi,
author = {Di Cosmo, Roberto and Gruenpeter, Morane and Stefano Zacchiroli},
title = {Referencing Source Code Artifacts: a Separate Concern in Software Citation},
abstract = {Among the entities involved in software citation, software
source code requires special attention, due to the role it
plays in ensuring scientific reproducibility. To reference
source code we need identifiers that are not only unique
and persistent, but also support integrity checking
intrinsically. Suitable iden- tifiers must guarantee that
denoted objects will always stay the same, without relying
on external third parties and administrative processes. We
analyze the role of identifiers for digital objects (IDOs),
whose properties are different from, and complementary to,
those of the various digital identifiers of objects (DIOs)
that are today popular building blocks of software and data
citation toolchains. We argue that both kinds of
identifiers are needed and detail the syntax, semantics,
and practical implementation of the persistent identifiers
(PIDs) adopted by the Software Heritage project to
reference billions of software source code artifacts such
as source code files, directories, and commits.},
publisher = {IEEE},
year = {2020},
issn = {1521-9615},
volume = 22,
number = 2,
pages = {33-43},
dmi-category = {jour},
x-topic = {opensc},
doi = {10.1109/MCSE.2019.2963148},
urllocal = {http://www.dicosmo.org/Articles/2020-CiSE-swhid.pdf},
journal = {Computing in Science and Engineering}
}
@article{DaneluttoDiCosmo2020,
author = {Di Cosmo, Roberto and Danelutto, Marco},
title = {{[Rp] Reproducing and replicating the OCamlP3l experiment}},
journal = {ReScience C},
year = {2020},
month = apr,
volume = {6},
number = {1},
pages = {{#2}},
doi = {10.5281/zenodo.3936402},
url = {https://zenodo.org/record/3936402/files/article.pdf},
urllocal = {http://www.dicosmo.org/Articles/2020-ReScienceC.pdf},
code_url = {https://archive.softwareheritage.org/swh:1:rev:2db189928c94d62a3b4757b3eec68f0a4d4113f0;origin=https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git/},
code_swh = {swh:1:rev:2db189928c94d62a3b4757b3eec68f0a4d4113f0;origin=https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git/},
review_url = {https://github.com/ReScience/submissions/issues/22},
type = {Reproduction},
language = {OCaml},
domain = {parallel programming},
dmi-category = {jour},
x-topic = {opensc},
keywords = {rescience c},
abstract = {This article provides a full report on the effort to reproduce the work described in the article “Parallel Functional Programming with Skeletons: the OCamlP3L experiment”, written in 1998. It presented OCamlP3L, a parallel programming system written in the OCaml programming language. It turns out that we found the source code of the OCamlP3L system only in Software Heritage: since it was saved with all its development history, we could perform this reproduction experiment.}
}
@article{ESEM2020,
author = {Guillaume Rousseau and
Di Cosmo, Roberto and
Stefano Zacchiroli},
title = {Software provenance tracking at the scale of public source code},
journal = {Empirical Software Engineering},
volume = {25},
number = {4},
pages = {2930--2959},
year = {2020},
url = {https://doi.org/10.1007/s10664-020-09828-5},
urllocal = {http://www.dicosmo.org/Articles/2020-ESEM.pdf},
doi = {10.1007/s10664-020-09828-5},
timestamp = {Thu, 18 Jun 2020 08:15:38 +0200},
x-topic = {soften},
dmi-category = {jour},
biburl = {https://dblp.org/rec/journals/ese/RousseauCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{SANER2020,
author = {Pietro Abate and
Di Cosmo, Roberto and
Georgios Gousios and
Stefano Zacchiroli},
editor = {Kostas Kontogiannis and
Foutse Khomh and
Alexander Chatzigeorgiou and
Marios{-}Eleftherios Fokaefs and
Minghui Zhou},
title = {Dependency Solving Is Still Hard, but We Are Getting Better at It},
booktitle = {27th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2020, London, ON, Canada, February 18-21,
2020},
pages = {547--551},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SANER48275.2020.9054837},
urllocal = {http://www.dicosmo.org/Articles/2020-SANER.pdf},
doi = {10.1109/SANER48275.2020.9054837},
x-topic = {soften},
dmi-category = {intc},
timestamp = {Thu, 16 Apr 2020 16:52:52 +0200},
biburl = {https://dblp.org/rec/conf/wcre/AbateCGZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{ICMS2020,
author = {Di Cosmo, Roberto},
title = {Archiving and Referencing Source Code with Software Heritage},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {12097},
pages = {362--373},
publisher = {Springer},
dmi-category = {intc},
x-topic = {opensc},
doi = {10.1007/978-3-030-52200-1_36},
urllocal = {http://www.dicosmo.org/Articles/2020-ICMS.pdf},
year = {2020}
}
@article{IJDC-conf-2020,
doi = {10.2218/ijdc.v15i1.698},
url = {https://doi.org/10.2218/ijdc.v15i1.698},
year = {2020},
month = aug,
publisher = {Edinburgh University Library},
volume = {15},
number = {1},
pages = {16},
author = { Di Cosmo, Roberto and Morane Gruenpeter and Bruno Marmol and Alain Monteil and Laurent Romary and Jozefina Sadowska},
title = {Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive ({HAL})},
journal = {International Journal of Digital Curation},
x-topic = {opensc},
dmi-category = {intc},
urllocal = {http://www.dicosmo.org/Articles/2020-08-IJDC.pdf}
}
@techreport{gplo-note-2020,
title = {{Encouraging a wider usage of software derived from research}},
author = {Cl{\'e}ment-Fontaine, M{\'e}lanie and Di Cosmo, Roberto and Guerry, Bastien and Moreau, Patrick and Pellegrini, Fran{\c c}ois},
url = {https://hal.archives-ouvertes.fr/hal-02545142},
type = {Research Report},
institution = {{Committee for Open Science's Free Software and Open Source Project Group}},
year = {2019},
month = nov,
pdf = {https://hal.archives-ouvertes.fr/hal-02545142/file/Opportunity%20Note_software%20derived%20from%20research_EN%20pm.pdf},
hal_id = {hal-02545142},
x-topic = {opensc},
hal_version = {v1}
}
@article{DiCosmoSEN2020,
doi = {10.1145/3417564.3417570},
year = {2020},
month = oct,
publisher = {Association for Computing Machinery ({ACM})},
volume = {45},
number = {4},
pages = {22--23},
author = {Roberto Di Cosmo},
title = {Announcing biblatex-software},
journal = {{ACM} {SIGSOFT} Software Engineering Notes},
hal_id = {hal-02977711},
hal_version = {v1},
url = {https://hal.archives-ouvertes.fr/hal-02977711},
x-topic = {opensc},
dmi-category = {jour},
urllocal = {http://www.dicosmo.org/Articles/2020-SEN.pdf}
}
@article{Bibliographie1997,
title = {{`A travers le miroir d'une bibliographie}},
author = {Di Cosmo, Roberto},
year = {1997},
issn = {0223-3843},
doi = {10.3406/medio.1997.1478},
journal = {Le m\'edi\'eviste et l'ordinateur, N\textdegree 35, \'et\'e 1997. Bibliographies.},
language = {fre},
x-topic = {opensc},
dmi-category = {jour},
urllocal = {http://www.dicosmo.org/Articles/1997-LeMedievaliste.pdf}
}
@book{SIRSReport2020,
author = {Di Cosmo, Roberto and Jose Benito Gonzalez Lopez and Jean-François Abramatic and Kay Graf and Miguel Colom and Paolo Manghi and Melissa Harrison and Yannick Barborini and Ville Tenhunen and Michael Wagner and Wolfgang Dalitz and Jason Maassen and Carlos Martinez-Ortiz and Elisabetta Ronchieri and Sam Yates and Moritz Schubotz and Leonardo Candela and Martin Fenner and Eric Jeangirard},
place = {LU},
title = {Scholarly {I}nfrastructures for {R}esearch {S}oftware},
subtitle = {Report from the EOSC Executive Board Working Group (WG) Architecture Task Force (TF) SIRS.},
url = {https://data.europa.eu/doi/10.2777/28598},
urllocal = {http://www.dicosmo.org/Articles/2020-SIRS-Report.pdf},
doi = {10.2777/28598},
publisher = {European Commission. Directorate General for Research and Innovation.},
x-topic = {opensc},
dmi-category = {livre},
year = {2020}
}
@techreport{SCIDWG2020,
author = {Gruenpeter, Morane and Di Cosmo, Roberto and
Allen, Alice and
Bandrowski, Anita and
Chan, Peter and
Fenner, Martin and
Garcia, Leyla and
Jones, Catherine M. and
Katz, Daniel S. and
Kunze, John and
Schubotz, Moritz and
Todorov, Ilian T.},
title = {{Use cases and identifier schemes for persistent software source code identification}},
month = oct,
year = 2020,
publisher = {Zenodo},
version = {1.1},
doi = {10.15497/RDA00053},
url = {https://doi.org/10.15497/RDA00053},
note = {Output from the Research Data Alliance/FORCE11 Software Source Code Identification Working group}
}
@article{BBF2021,
title = {{Software Heritage}, une archive pour collecter et pr\'eserver le code source},
author = {Di Cosmo, Roberto},
year = {2021},
journal = {Bulletin des Biblioth`eques de France},
language = {fre},
x-topic = {opensc},
dmi-category = {jour},
url = {https://bbf.enssib.fr/consulter/bbf-2021-00-0000-002},
urllocal = {http://www.dicosmo.org/Articles/2021-05-BBF.pdf}
}
@article{Cilac2018,
title = {Le code source des logiciels},
author = {Di Cosmo, Roberto},
year = {2018},
month = dec,
journal = {Patrimoine Industriel},
language = {fre},
number = 73,
x-topic = {opensc},
dmi-category = {jour},
url = {https://www.cilac.com/sites/default/files/pdf_complet/pi_ndeg73_informatique.pdf},
urllocal = {http://www.dicosmo.org/Articles/2018-CILAC.pdf}
}
@article{AnnalesMines2020,
title = {{Software Heritage}, the universal source code archive},
author = {Di Cosmo, Roberto},
year = {2020},
month = jun,
journal = {Enjeux Numériques},
language = {eng},
number = 10,
x-topic = {opensc},
dmi-category = {jour},
url = {http://www.annales.org/enjeux-numeriques/2020/resumes/juin/10-en-resum-FR-AN-juin-2020.html#10AN},
urllocal = {http://www.dicosmo.org/Articles/2020-Annales-Mines.pdf}
}
@inproceedings{iPres2021,
title = {Preserving landmark legacy software with the {Software Heritage Acquisition Process}},
author = {Roberto Di Cosmo and Carlo Montangero and Guido Scatena and Laura Bussi},
url = {https://hal.archives-ouvertes.fr/hal-03375572},
year = {2021},
date = {2021-10-01},
booktitle = {iPres2021 - 17th International Conference on Digital Preservation},
address = {Beijing, China},
dmi-category = {intc},
x-topic = {preser},
urllocal = {http://www.dicosmo.org/Articles/2021-iPres.pdf}
}
@inproceedings{jfla-2019,
title = {{Learn-OCaml : un assistant {`a} l'enseignement d'OCaml}},
author = {Bozman, Cagdas and Canou, Benjamin and Di Cosmo, Roberto and Couderc, Pierrick and Gesbert, Louis and Henry, Gr{\'e}goire and Le Fessant, Fabrice and Mauny, Michel and Morel, Carine and Peyrot, Lo{\"i}c and Regis-Gianas, Yann},
url = {https://hal.inria.fr/hal-01962838},
booktitle = {{JFLA 2019 - Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Les Rousses, France},
year = {2019},
month = jan,
pdf = {https://hal.inria.fr/hal-01962838v2/file/main.pdf},
hal_id = {hal-01962838},
hal_version = {v2},
dmi-category = {autc},
x-topic = {funpro},
urllocal = {http://www.dicosmo.org/Articles/2019-jfla.pdf}
}
@techreport{gruenpeter-hal-03483982,
title = {{Software Stories for landmark legacy code}},
author = {Gruenpeter, Morane and Di Cosmo, Roberto and Thornton, Katherine and Seals-Nutt, Kenneth and Montangero, Carlo and Scatena, Guido},
url = {https://hal.archives-ouvertes.fr/hal-03483982},
type = {Research Report},
institution = {{Inria}},
year = {2021},
month = nov,
keywords = {software preservation ; legacy software ; source code ; acquisition process Conference Topics -new developments ; Showcase software ; metadata ; Wikimedia commons ; Wikidata},
pdf = {https://hal.archives-ouvertes.fr/hal-03483982/file/software-stories-report-for-publication-UNESCO-bottom-logo.pdf},
hal_id = {hal-03483982},
hal_version = {v1},
dmi-category = {rapp},
x-topic = {preser},
urllocal = {http://www.dicosmo.org/Articles/2021-12-software-stories.pdf}
}
@incollection{dicosmo-hal-03587026,
title = {{Code Source}},
author = {Di Cosmo, Roberto},
url = {https://hal.inria.fr/hal-03587026},
booktitle = {{Dictionnaire du Num{\'e}rique}},
year = {2022},
month = feb,
pdf = {https://hal.inria.fr/hal-03587026/file/2021-03-05-contribution-dictionnaire-numerique.pdf},
hal_id = {hal-03587026},
hal_version = {v1},
dmi-category = {misc},
x-topic = {preser},
urllocal = {http://www.dicosmo.org/Articles/2022-02-code-source.pdf},
note = {English version available at \url{http://www.dicosmo.org/Articles/2022-02-code-source_EN.pdf}}
}
@misc{dicosmo_sigplan_2020,
title = {What is a sustainable path to open access?},
author = {Di Cosmo, Roberto},
url = {https://blog.sigplan.org/2020/01/14/what-is-a-sustainable-path-to-open-access/},
journal = {SIGPLAN Blog},
publisher = {ACM},
year = {2020},
month = {Jan},
dmi-category = {misc},
x-topic = {opensci},
urllocal = {http://www.dicosmo.org/Articles/WhatIsASustainablePathToOpenAccess.pdf}
}
@inproceedings{dicosmo_tpdl_2022,
author = {Roberto Di Cosmo},
editor = {Gianmaria Silvello and
{\'{O}}scar Corcho and
Paolo Manghi and
Giorgio Maria Di Nunzio and
Koraljka Golub and
Nicola Ferro and
Antonella Poggi},
title = {Should We Preserve the World's Software History, And Can We?},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {13541},
pages = {3--7},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16802-4-1},
doi = {10.1007/978-3-031-16802-4-1},
dmi-category = {invi},
x-topic = {preser},
timestamp = {Thu, 22 Sep 2022 19:57:43 +0200},
biburl = {https://dblp.org/rec/conf/ercimdl/Cosmo21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
urllocal = {http://www.dicosmo.org/Articles/2022-TPDL.pdf}
}
@inproceedings{osec_2022,
author = {Roberto Di Cosmo},
title = {Construire le pilier logiciel de la {Science Ouverte}},
booktitle = {Open Science European Conferencem (OSEC 2022)},
pages = {183--193},
publisher = {{OpenEdition} Press},
doi = {10.4000/books.oep.15822},
url = {https://doi.org/10.4000/books.oep.15822},
year = {2022},
dmi-category = {invi},
x-topic = {opensci},
urllocal = {http://www.dicosmo.org/Articles/2022-osec.pdf}
}
@inproceedings{osec_2022_en,
author = {Roberto Di Cosmo},
title = {Building the software pillar of {Open Science}},
booktitle = {Open Science European Conferencem (OSEC 2022)},
pages = {183--193},
publisher = {{OpenEdition} Press},
doi = {10.4000/books.oep.15829},
url = {https://doi.org/10.4000/books.oep.15829},
isbn = {9791036545627},
year = {2022},
dmi-category = {invi},
x-topic = {opensci},
urllocal = {http://www.dicosmo.org/Articles/2022-osec-en.pdf},
note = {English translation of ~\cite{osec_2022}}
}
@techreport{coso-cl-forges-2023-fr,
title = {{Forges de l'Enseignement sup{\'e}rieur et de la Recherche -D{\'e}finition, usages, limitations rencontr{\'e}es et analyse des besoins}},
author = {Le Berre, Daniel and Jeannas, Jean-Yves and Di Cosmo, Roberto and Pellegrini, Fran{\c c}ois},
url = {https://hal-lara.archives-ouvertes.fr/hal-04098702},
institution = {{Comit{\'e} pour la science ouverte}},
year = {2023},
doi = {10.52949/34},
keywords = {Open science ; Science ouverte ; Logiciel libre ; Open source software},
pdf = {https://hal-lara.archives-ouvertes.fr/hal-04098702/file/20230509-Forges%20etatdeslieux.pdf},
hal_id = {hal-04098702},
hal_version = {v1},
dmi-category = {deliverable},
x-topic = {opensci},
urllocal = {http://www.dicosmo.org/Articles/2023-05-09-ForgesEsr_fr.pdf},
abstract = {La première forge logicielle, appelée SourceForge, a été lancée
en 1999 et a été conçue pour aider les développeurs de
logiciels libres à créer leurs logiciels en collaboration et à
les distribuer à leurs utilisateurs. Depuis lors, les forges
logicielles sont devenues des outils essentiels pour tous les
développeurs de logiciels. Elles disposent d'outils de
développement collaboratif (suivi des modifications du code,
gestion des tickets utilisateurs, des contributions et des
projets) et industrialisent le processus de création de
logiciels à partir de leurs codes sources (compilation, tests
automatisés, assurance qualité et distribution des livrables)
et d'outils de communication tels que les forums. Les forges
logicielles agissent également comme des réseaux sociaux pour
les développeurs. Lorsque les développeurs souhaitent
encourager les gens à utiliser les logiciels et à y
contribuer, ils doivent décider de la forge à choisir en
fonction du public cible et du réseau. Cibler les développeurs
de l'enseignement supérieur et de la recherche en France ou à
l'étranger est une option potentielle. Il existe un certain
nombre de fédérations d'identité telles que RENATER ou eduGAIN
qui ont apporté un soutien à long terme à ces
collaborations. Un certain nombre de forges de l'enseignement
supérieur et de la recherche donnent accès à ces réseaux de
collaboration. Si un développeur souhaite ouvrir et partager
les codes sources issus de la recherche avec la société dans
son ensemble, deux solutions s'offrent à lui : les forges
communautaires à source ouverte ou les forges
commerciales. Les forges communautaires à code source ouvert
peuvent être utilisées pour distribuer des logiciels à code
source ouvert au sein d'une communauté qui a coopéré avec les
autres membres de la communauté.}
}
@techreport{popular-contents,
title = {{The Popular Content Filenames Dataset: Deriving Most Likely
Filenames from the Software Heritage Archive}},
author = {Lorentz, Valentin and Di Cosmo, Roberto and Zacchiroli, Stefano},
url = {https://inria.hal.science/hal-04171177},
note = {preprint},
year = {2023},
month = jul,
dmi-category = {deliverable},
x-topic = {soften},
pdf = {https://inria.hal.science/hal-04171177/file/main.pdf},
hal_id = {hal-04171177},
hal_version = {v1}
}
@techreport{coso-cl-forges-2023-en,
title = {{Higher Education and Research Forges in France - Definition, uses, limitations encountered and needs analysis}},
author = {Le Berre, Daniel and Jeannas, Jean-Yves and Di Cosmo, Roberto and Pellegrini, Fran{\c c}ois},
url = {https://hal-lara.archives-ouvertes.fr/hal-04208924},
institution = {{Comit{\'e} pour la science ouverte}},
year = {2023},
month = may,
doi = {10.52949/37},
keywords = {open science ; open source software ; science ouverte ; logiciel libre},
pdf = {https://hal-lara.archives-ouvertes.fr/hal-04208924/file/Higher_Education_and_Research_Forges_in_France.pdf},
urllocal = {http://www.dicosmo.org/Articles/2023-05-09-ForgesEsr_en.pdf},
dmi-category = {deliverable},
x-topic = {opensci},
hal_id = {hal-04208924},
hal_version = {v1},
note = {English translation of ~\cite{coso-cl-forges-2023-fr}},
abstract = {The first software forge, called SourceForge, was launched in
1999, and was designed to help open-source software developers
build their software collaboratively and distribute it to
their users. Since then, software forges have become vital
tools for all software developers. They feature collaborative
development tools (for monitoring code modifications, and
managing user tickets, contributions and projects) and they
industrialise the process of creating software from their
source codes (compilation, automated tests, quality assurance
and distribution of deliverables) and communications tools
such as forums. Software forges also act as social networks
for developers. Whenever developers want to encourage people
to use and make contributions to software, they need to come
to a decision about which forge to choose based on the target
audience and network. Targeting Higher Education and Research
developers in France or abroad is one potential option. There
are a number of identity federations such as RENATER or
eduGAIN which have been providing long-term support for these
collaborations. A number of Higher Education and Research
forges provide access to these collaboration networks. Should
a developer wish to open and share source codes coming from
research with the wider society, there are two alternatives
available to them - open-source community or commercial
forges. Open-source community forges can be used to distribute
open-source software within a community which has co-opted
it. The challenge here lies in finding the right community for
the software under development. Commercial forges boast many
features with very few constraints, and often offer a range of
services when the developed software is distributed under an
open-source licence. Thesecommercial forges include GitHub
(owned by Microsoft), which is the most widely used, followed
by BitBucket (owned by Atlassian) and GitLab (owned by GitLab
Inc.). Some forges, be they community-based or commercial,
such as GitLab, can be self-hosted by Higher Education and
Research Institutions, some of which have their own public
forge. This report lists 40 of these types of forge as well as
the forges for internal use only. These self-hosted forges are
often easy to install, ranging from a simple executable for
solutions such as Gogs, Gitea and Forgejo to a preconfigured
software package integrated into Linux distribution for
GitLab, for example. GitLab is basically a commercial forge
(gitlab.com) based on open-source forge software that can be
installed on iipremise. GitLab Inc.’s financial model is based
on selling licences for additional features to be used by
online-service users or self-hosted forge administrators. In
reality, installing a self-hosted forge for internal
collaborative development requires few human or material
resources, and offers a wide range of solutions. However, as
soon as developers want take this collaborative development
externally, integrate solutions to industrialise software
development and implement good development practice, more
substantial efforts are needed, and the choice of solution may
be led by different criteria such as the platform’s
popularity, its functionalities and how robust it is. In
Higher Education and Research, developers of supporting
software and software based on research work can choose
between a number of forges to host their software. The
simplest solution is when their institution has its own forge,
particularly if no interaction is needed outside the
institution. When wider interaction is required, communities
developing research software often look to online commercial
forges. This is reflected by the winners of the first french
open science open-source research software award laureates,
with 9 projects being hosted on GitHub and one project on
SourceForge. The social network effect of “people go where
most people are” and the international scope of the projects
were the reasons for their selection. However, it really
should be noted that commercial forges can suddenly disappear,
as was the case with the Google forge, Google Code, which
ceased operation after nine years presence in just a matter of
months. The same thing happened with the Gitorious hosting
solution. In addition, these forges have terms and conditions
of use which each member must agree to as an individual,
rather than on behalf of their institution. Self-hosted forges
are one way of mitigating this kind of problem. However, it
may be the case that the solution selected is no longer being
maintained, or no longer developed under an open-source
licence. This is what happened with the SourceForge code, and
it was maintained in a community version under the name
“GForge”, which has itself changed licences to enable it to be
maintained in a community version under the name
“FusionForge”, to now end up now with an unmaintained software
(the latest version of the software dates back to
2018). Therefore, decisions around self-hosting and which
forge to use are important. Of the 40 forges listed,38 are
GitLab platforms (the other two forges use Tuleap and Gogs
respectively). GitLab’s domination can be explained by how
easy it is to install and maintain, and the wide range of
functionalities which are available. Hence the interest in
having a specific Higher Education and Research forge
operating at any level (institutional, national, European or
international). InHigher Education and Research Forges in
France iiistitutional forges are the answer when software is
being developed internally within an institution and an
institutional forge already exists. In this case, the
functionalities available and access to data are managed, but
they offer little or no scope for development between multiple
institutions. Where an institutional forge does not already
exist or does not allow project owners to invite contributions
from outside the institution, a national or European forge
would provide an alternative to using commercial
forges. Throughout the mid-2000s, a french national forge,
SourceSup, was set up by RENATER (which manage the national
electronic communications network for technology, education
and research) in order to get around these restrictions on
interaction. However, this forge, which was a state-of-the-art
platform when it was created, now only offers a set of tools
that have fallen behind current development standards. This
report provides a comprehensive picture of the existing forges
and practices in Higher Education and Research in France, and
posits a number of observations and points of concern as
regards the current situation.}
}
@techreport{informatics-europe-open-access-2023,
title = {{Open Access: Status and Recommendations}},
author = {Manuel Carro and Stefano Bistarelli and Di Cosmo, Roberto and Alfonso Pierantonio},
abstract = {This document summarizes the evolution of scientific publication
models towards providing open access to research results and
makes recommendations from an academic standpoint on future
action paths. This document has been endorsed by the National
Informatics Associations that are members of Informatics
Europe at the time of publishing it.},
url = {https://www.informatics-europe.org/component/phocadownload/category/27-recommendations.html?download=197:open-access-status-and-recommendations},
institution = {{Informatics Europe}},
year = {2023},
month = may,
keywords = {open science ; open access ; scientific publishing ; research careers; research evaluation},
urllocal = {http://www.dicosmo.org/Articles/2023-OpenAccess-Informatics-Europe.pdf},
dmi-category = {deliverable},
x-topic = {opensci}
}
@inbook{SWHecosystems2023,
author = {Di Cosmo, Roberto and Zacchiroli, Stefano},
editor = {Mens, Tom and De Roover, Coen and Cleve, Anthony},
title = {The Software Heritage Open Science Ecosystem},
booktitle = {Software Ecosystems: Tooling and Analytics},
year = 2023,
publisher = {Springer International Publishing},
address = {Cham},
pages = {33--61},
abstract = {Software Heritage is the largest public archive of software
source code and associated development history, as captured by
modern version control systems. As of July 2023, it has
archived more than 16 billion unique source code files coming
from more than 250 million collaborative development
projects. In this chapter, we describe the Software Heritage
ecosystem, focusing on research and open science use cases.},
isbn = {978-3-031-36060-2},
doi = {10.1007/978-3-031-36060-2_2},
url = {https://doi.org/10.1007/978-3-031-36060-2_2},
urlocal = {http://www.dicosmo.org/Articles/2023-SoftwareEcosystems-Book.pdf},
dmi-category = {deliverable},
x-topic = {soften}
}
@article{BlancCatala2023,
doi = {10.12688/openreseurope.16069.1},
url = {https://doi.org/10.12688/openreseurope.16069.1},
urlocal = {http://www.dicosmo.org/Articles/2023-ORE-sw-award.pdf},
year = {2023},
month = oct,
publisher = {F1000 Research Ltd},
volume = {3},
pages = {185},
author = {Isabelle Blanc Catala and Di Cosmo, Roberto and Mathieu Giraud and Le Berre, Daniel and Violaine Louvet and Sophie Renaudin},
title = {Establishing a national research software award},
journal = {Open Research Europe},
dmi-category = {subm},
x-topic = {opensci},
note = {Version 1, submitted for review}
}
@article{Fichen2024Preserving,
author = {Fichen, Mathilde and DiCosmo, Roberto and Giraudon, G{\' e}rard},
journal = {iPRES 2024},
year = {2024},
month = {aug 29},
url = {https://ipres2024.pubpub.org/pub/hdap1420},
publisher = {},
dmi-category = {intconf},
x-topic = {preser},
urlocal = {http://www.dicosmo.org/Articles/iPres-2024.pdf},
title = {Preserving {Inria}'s {Legacy} {Software}: A {Crowd}-{Sourced} {Approach}}
}
This file was generated by
bibtex2html 1.99.