Travelled to:1 × Canada
1 × France
1 × Hungary
1 × Japan
1 × South Korea
1 × Spain
1 × Sweden
1 × Switzerland
1 × USA
1 × United Kingdom
2 × Cyprus
3 × Germany
3 × Italy
Collaborated with:∅ P.Giannini I.Schaefer M.Coppo M.Dezani-Ciancaglini L.Bettini S.Drossopoulou M.Drocco A.Troina T.Winkelmann L.Padovani A.Poetzsch-Heffter Y.Welsch S.Capecchi M.Comini S.Vrech D.Ancona E.Zucca S.Berardi R.Hähnle E.Kamburjan M.Lienhardt M.H.t.Beek S.Gnesi F.Mazzanti L.Paolini E.Grassi V.Bono N.Tanzarella M.Aldinucci M.Torquati
Talks about:type (7) program (5) system (5) softwar (4) product (4) orient (4) delta (4) line (4) polymorph (3) intersect (3)
Person: Ferruccio Damiani
DBLP: Damiani:Ferruccio
Facilitated 1 volumes:
EdContributed to:
2015
2014
2012
2012
2011
2010201020102013
2008
2005
200520042004
2003
2001
20002000199919971996
2017Wrote 22 papers:
- SEFM-2015-BeekDGMP #constraints #variability
- From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
- SPLC-2014-DamianiSW #multi #product line
- Delta-oriented multi software product lines (FD, IS, TW), pp. 232–236.
- GPCE-2012-DamianiPS #formal method #product line
- A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
- SAC-2012-DamianiPW #object-oriented #programming #type system
- A type system for checking specialization of packages in object-oriented programming (FD, APH, YW), pp. 1737–1742.
- PDP-2011-AldinucciCDDTT #biology #design #multi #on the
- On Designing Multicore-Aware Simulators for Biological Systems (MA, MC, FD, MD, MT, AT), pp. 318–325.
- QAPL-2010-CoppoDDGT #calculus #probability
- Stochastic Calculus of Wrapped Compartments (MC, FD, MD, EG, AT), pp. 82–98.
- SAC-2010-BettiniDS #implementation #product line #using
- Implementing software product lines using traits (LB, FD, IS), pp. 2096–2102.
- SPLC-2010-SchaeferBBDT #product line #programming
- Delta-Oriented Programming of Software Product Lines (IS, LB, VB, FD, NT), pp. 77–91.
- SAC-OOPS-J-2009-BettiniCD13 #flexibility #java #on the
- On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.
- SAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
- POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism
- Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
- TLCA-2005-Damiani #polymorphism #recursion
- Rank-2 Intersection and Polymorphic Recursion (FD), pp. 146–161.
- SAC-2004-DamianiDG #classification #multi #thread
- Re-classification and multi-threading: FickleMT (FD, MDC, PG), pp. 1297–1304.
- SAC-PL-J-2004-DamianiDG #classification #multi #on the #thread
- On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
- PPDP-2003-Damiani #rank
- Rank 2 intersection types for modules (FD), pp. 67–78.
- ECOOP-2001-DrossopoulouDDG #classification
- Fickle : Dynamic Object Re-classification (SD, FD, MDC, PG), pp. 130–149.
- FoSSaCS-2000-Damiani #rank #type system
- Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (FD), pp. 82–97.
- SAIG-2000-BerardiCDG #functional #source code #type system
- Type-Based Useless-Code Elimination for Functional Programs (SB, MC, FD, PG), pp. 172–189.
- TLCA-1999-Damiani #algebra #data type #detection
- Useless-Code Detection and Elimination for PCF with Algebraic Data types (FD), pp. 83–97.
- TLCA-1997-DamianiG #algorithm #strict
- An Inference Algorithm for Strictness (FD, PG), pp. 129–146.
- SAS-1996-CoppoDG #program analysis #refinement
- Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.
- FASE-2017-DamianiHKL #programming
- A Unified and Formal Programming Model for Deltas and Traits (FD, RH, EK, ML), pp. 424–441.