Travelled to:1 × Denmark
1 × Greece
1 × Hungary
1 × India
1 × Israel
1 × Latvia
1 × Poland
1 × South Korea
1 × Switzerland
1 × United Kingdom
2 × Germany
2 × Japan
2 × Spain
2 × Sweden
4 × USA
8 × Italy
Collaborated with:S.Zacchiroli ∅ D.Kesner J.Vouillon V.Balat R.Treinen P.Abate M.P.Fiore G.Zavattaro S.Guerrini N.Ghani M.Aponte A.Piperno P.Curien M.Dogguy F.Pottier D.Rémy E.Polonowski J.Loddo S.Nicolet M.Claes T.Mens J.Mauro M.Dezani-Ciancaglini E.Giovannetti M.Tatsuta C.Artho K.Suzaki L.Gesbert F.L.Fessant M.Lienhardt J.Zwolakowski A.Eiche A.Agahi F.Mancinelli J.Boender B.Durak X.Leroy
Talks about:type (11) softwar (6) compon (6) extension (5) isomorph (5) packag (5) repositori (4) calculus (3) calculi (3) recurs (3)
Person: Roberto Di Cosmo
DBLP: Cosmo:Roberto_Di
Contributed to:
2015
2014
2014
20132013
20122012
20122011
2011
2010
20082006
2006
2005
2004
2002
20001999
1999
19981997199719961996199519941993199219912018Wrote 32 papers:
- MSR-2015-AbateCGFTZ #component #mining #repository
- Mining Component Repositories for Installability Issues (PA, RDC, LG, FLF, RT, SZ), pp. 24–33.
- MSR-2015-ClaesMCV #analysis
- A Historical Analysis of Debian Package Incompatibilities (MC, TM, RDC, JV), pp. 212–223.
- ASE-2014-CosmoLTZZEA #automation #deployment #synthesis
- Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
- ICSE-2014-VouillonDC #component #evolution #repository
- Easing software component repository evolution (JV, MD, RDC), pp. 756–766.
- ICALP-v2-2013-CosmoMZZ #component #configuration management
- Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.
- ICSE-2013-VouillonC #evolution #repository #set
- Broken sets in software repository evolution (JV, RDC), pp. 412–421.
- CBSE-2012-AbateCTZ #component #future of #learning #repository
- Learning from the future of component repositories (PA, RDC, RT, SZ), pp. 51–60.
- MSR-2012-ArthoSCTZ #question #why
- Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.
- SEFM-2012-CosmoZZ #component #towards
- Towards a Formal Component Model for the Cloud (RDC, SZ, GZ), pp. 156–171.
- CBSE-2011-AbateCTZ #composition #named
- MPM: a modular package manager (PA, RDC, RT, SZ), pp. 179–188.
- ESEC-FSE-2011-CosmoV #co-evolution #component #on the
- On software component co-installability (RDC, JV), pp. 256–266.
- SPLC-2010-CosmoZ #dependence #diagrams #feature model
- Feature Diagrams as Package Dependencies (RDC, SZ), pp. 476–480.
- CSL-2008-Dezani-CiancagliniCGT #morphism #on the
- On Isomorphisms of Intersection Types (MDC, RDC, EG, MT), pp. 461–477.
- ASE-2006-MancinelliBCVDLT #complexity #open source #scalability
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (FM, JB, RDC, JV, BD, XL, RT), pp. 199–208.
- ITiCSE-2006-Cosmo
- Educating the e-citizen (RDC), p. 1.
- TLCA-2005-CosmoPR #commutative #recursion #type system
- Subtyping Recursive Types Modulo Associative Commutative Products (RDC, FP, DR), pp. 179–193.
- POPL-2004-BalatCF #normalisation #partial evaluation #λ-calculus
- Extensional normalisation and type-directed partial evaluation for typed λ calculus with sums (VB, RDC, MPF), pp. 64–76.
- LICS-2002-FioreCB #morphism #λ-calculus
- Remarks on Isomorphisms in Typed λ Calculi with Empty and Sum Types (MPF, RDC, VB), p. 147–?.
- FoSSaCS-2000-CosmoKP #proving
- Proof Nets and Explicit Substitutions (RDC, DK, EP), pp. 63–81.
- CSL-1999-BalatC #linear #logic #morphism
- A Linear Logical View of Linear Type Isomorphisms (VB, RDC), pp. 250–265.
- RTA-1999-CosmoG #normalisation #proving
- Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.
- ALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics
- A Game Semantics Foundation for Logic Programming (RDC, JVL, SN), pp. 355–373.
- ICALP-1997-CosmoG #composition #higher-order #on the #λ-calculus
- On Modular Properties of Higher Order Extensional λ Calculi (RDC, NG), pp. 237–247.
- LICS-1997-CosmoK #normalisation #proving
- Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (RDC, DK), pp. 35–46.
- PLILP-1996-AponteC #morphism
- Type Isomorphisms for Module Signatures (MVA, RDC), pp. 334–346.
- RTA-1996-Cosmo #diagrams #on the #power of
- On the Power of Simple Diagrams (RDC), pp. 200–214.
- TLCA-1995-CosmoP #morphism #polymorphism
- Expanding Extensional Polymorphism (RDC, AP), pp. 139–153.
- ICALP-1994-CosmoK #algebra #first-order #recursion #term rewriting #λ-calculus
- Combining First Order Algebraic Rewriting Systems, Recursion and Extensional λ Calculi (RDC, DK), pp. 462–472.
- ICALP-1993-CosmoK #confluence #recursion #reduction #λ-calculus
- A Confluent Reduction for the Extensional Typed λ-Calculus with Pairs, Sums, Recursion and terminal Object (RDC, DK), pp. 645–656.
- POPL-1992-Cosmo #framework #morphism
- Type Isomorphisms in a Type-Assignment Framework (RDC), pp. 200–210.
- ICALP-1991-CurienC #reduction #λ-calculus
- A Concluent Reduction for the λ-Calculus with Surjective Pairing and Terminal Object (PLC, RDC), pp. 291–302.
- ASE-2018-Cosmo #source code
- Software heritage: collecting, preserving, and sharing all our source code (keynote) (RDC), pp. 1–2.