Paolo G. Giarrusso
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Verified email at
Cited by
Cited by
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
Language Composition Untangled
S Erdweg, PG Giarrusso, T Rendel
International Workshop on Language Descriptions Tools and Applications, 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
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
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
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
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
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
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
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
Open GADTs and declaration-site variance: a problem statement
PG Giarrusso
Proceedings of the 4th Workshop on Scala, 1-4, 2013
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
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
PG Giarrusso
University Tübingen, 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
A type-and-effect system for object initialization.
F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky
Proc. ACM Program. Lang. 4 (OOPSLA), 175:1-175:28, 2020
Stoic: Towards Disciplined Capabilities
F Liu, S Stucki, N Amin, PG Giarrusso, M Odersky
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
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
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
Safe Initialization of Objects
F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky
The system can't perform the operation now. Try again later.
Articles 1–20