| 2025 | HotOS | Modular, Full-System Verification. | Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey |
| 2019 | ESOP | Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. | Paolo G. Giarrusso, Yann Rgis-Gianas, Philipp Schuster |
| 2016 | POPL | System f-omega with equirecursive types for datatype-generic programming. | Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann |
| 2014 | PLDI | A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. | Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann |
| 2013 | ECOOP | Open GADTs and declaration-site variance: a problem statement. | Paolo G. Giarrusso |
| 2012 | OOPSLA | Reifying and optimizing collection queries for modularity. | Paolo G. Giarrusso |
| 2012 | OOPSLA | Reifying and optimizing collection queries for modularity. | Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kstner |
| 2011 | ECOOP | Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. | Klaus Ostermann, Paolo G. Giarrusso, Christian Kstner, Tillmann Rendel |
| 2011 | OOPSLA | Variability-aware parsing in the presence of lexical macros and conditional compilation. | Christian Kstner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger |
| 2011 | SPLC | Scalable Prediction of Non-functional Properties in Software Product Lines. | Norbert Siegmund, Marko Rosenmller, Christian Kstner, Paolo G. Giarrusso, Sven Apel, Sergiy S. Kolesnikov |