Travelled to:1 × Estonia
1 × Germany
1 × USA
2 × United Kingdom
Collaborated with:K.Ostermann T.Rendel Y.Cai C.Kästner S.Erdweg Y.Régis-Gianas P.Schuster T.Berger N.Siegmund M.Rosenmüller S.Apel S.S.Kolesnikov
Talks about:increment (2) program (2) languag (2) static (2) equirecurs (1) differenti (1) transform (1) transfer (1) properti (1) nonclass (1)
Person: Paolo G. Giarrusso
DBLP: Giarrusso:Paolo_G=
Contributed to:
2014
2012
2011
2011
2011
2019
2016Wrote 7 papers:
- PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
- LDTA-2012-ErdwegGR #composition
- Language composition untangled (SE, PGG, TR), p. 7.
- ECOOP-2011-OstermannGKR #composition #information management
- Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.
- OOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability
- Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
- SPLC-2011-SiegmundRKGAK #non-functional #predict #product line #scalability
- Scalable Prediction of Non-functional Properties in Software Product Lines (NS, MR, CK, PGG, SA, SSK), pp. 160–169.
- ESOP-2019-GiarrussoRS #incremental #program transformation #λ-calculus
- Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation (PGG, YRG, PS), pp. 553–580.
- POPL-2016-CaiGO #data type #programming #recursion
- System f-omega with equirecursive types for datatype-generic programming (YC, PGG, KO), pp. 30–43.