Paolo G. Giarrusso

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 8

Top Venues

Proc. ACM Program. Lang.

CoRR

SPLASH

SCALA@ECOOP

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Sandro Stucki, Paolo G. Giarrusso
A Theory of Higher-Order Subtyping with Type Intervals (Extended Version). CoRR (2021)
Sandro Stucki, Paolo G. Giarrusso
A theory of higher-order subtyping with type intervals. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky
A type-and-effect system for object initialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso
Towards improved GADT reasoning in Scala. SCALA@ECOOP (2019)
Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. ESOP (2019)
Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky
Truly abstract interfaces for algebraic data types: the extractor typing problem. SCALA@ICFP (2018)
Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann
System f-omega with equirecursive types for datatype-generic programming. POPL (2016)
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. PLDI (2014)
Paolo G. Giarrusso
Open GADTs and declaration-site variance: a problem statement. SCALA@ECOOP (2013)
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
Reify your collection queries for modularity and speed! AOSD (2013)
Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, Sergiy S. Kolesnikov
Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption. Inf. Softw. Technol. 55 (3) (2013)
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation. CoRR (2013)
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner
Reifying and optimizing collection queries for modularity. SPLASH (2012)
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
Reify Your Collection Queries for Modularity and Speed! CoRR (2012)
Paolo G. Giarrusso
Reifying and optimizing collection queries for modularity. SPLASH (2012)
Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel
Language composition untangled. LDTA (2012)
Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, Sergiy S. Kolesnikov
Scalable Prediction of Non-functional Properties in Software Product Lines. SPLC (2011)
Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann
Partial preprocessing C code for variability analysis. VaMoS (2011)
Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. ECOOP (2011)
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger
Variability-aware parsing in the presence of lexical macros and conditional compilation. OOPSLA (2011)

Paolo G. Giarrusso.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo G. Giarrusso