Paolo G. Giarrusso

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