| Variability-aware parsing in the presence of lexical macros and conditional compilation C Kästner, PG Giarrusso, T Rendel, S Erdweg, K Ostermann, T Berger Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 361 | 2011 |
| Language Composition Untangled S Erdweg, PG Giarrusso, T Rendel International Workshop on Language Descriptions Tools and Applications, 2012 | 179 | 2012 |
| Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption N Siegmund, M Rosenmüller, C Kästner, PG Giarrusso, S Apel, ... Information and Software Technology 55 (3), 491-507, 2013 | 131 | 2013 |
| Scalable prediction of non-functional properties in software product lines N Siegmund, M Rosenmuller, C Kästner, PG Giarrusso, S Apel, ... 15th International Software Product Line Conference (SPLC), 2011, 160-169, 2011 | 98 | 2011 |
| A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation Y Cai, PG Giarrusso, T Rendel, K Ostermann Proceedings of PLDI (Programming Language Design and Implementation), 2014 | 87 | 2014 |
| Partial preprocessing C code for variability analysis C Kästner, PG Giarrusso, K Ostermann Proceedings of the 5th Workshop on Variability Modeling of Software …, 2011 | 42 | 2011 |
| Revisiting information hiding: Reflections on classical and nonclassical modularity K Ostermann, PG Giarrusso, C Kästner, T Rendel ECOOP 2011–Object-Oriented Programming, 155-178, 2011 | 32 | 2011 |
| Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris PG Giarrusso, L Stefanesco, A Timany, L Birkedal, R Krebbers Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 26 | 2020 |
| System F-omega with Equirecursive Types for Datatype-generic Programming Y Cai, PG Giarrusso, K Ostermann Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 20 | 2016 |
| Reify your collection queries for modularity and speed! PG Giarrusso, K Ostermann, M Eichberg, R Mitschke, T Rendel, C Kästner Proceedings of the 12th annual international conference on Aspect-oriented …, 2013 | 18 | 2013 |
| Incremental λ-Calculus in Cache-Transfer Style: Static Memoization by Program Transformation PG Giarrusso, Y Régis-Gianas, P Schuster ESOP 2019-European Symposium on Programming 11423, 553-580, 2019 | 16* | 2019 |
| Open GADTs and declaration-site variance: a problem statement PG Giarrusso Proceedings of the 4th Workshop on Scala, 1-4, 2013 | 9 | 2013 |
| A type-and-effect system for object initialization F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 8 | 2020 |
| Towards improved GADT reasoning in Scala L Parreaux, A Boruch-Gruszecki, PG Giarrusso Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 12-16, 2019 | 8 | 2019 |
| Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation PG Giarrusso University Tübingen, 2020 | 5 | 2020 |
| A theory of higher-order subtyping with type intervals S Stucki, PG Giarrusso Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021 | 3 | 2021 |
| Truly abstract interfaces for algebraic data types: the extractor typing problem N Stucki, PG Giarrusso, M Odersky Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 56-60, 2018 | 3 | 2018 |
| Stoic: Towards Disciplined Capabilities F Liu, S Stucki, N Amin, PG Giarrusso, M Odersky | 2 | 2020 |
| TypeChef: Towards correct variability analysis of unpreprocessed C code for software product lines PG Giarrusso Master's thesis (tesi di diploma di licenza di 2 livello), Scuola Superiore …, 2011 | 2 | 2011 |
| Safe Initialization of Objects F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky | 1 | 2020 |
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de