<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

dicosmo_clean.bib

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{lorentz:hal-04171177,
  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 = {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 = {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},
  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}
}


This file was generated by

bibtex2html 1.99.