Paolo G. Giarrusso
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
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
PG Giarrusso, Y Régis-Gianas, P Schuster
European Symposium on Programming, 553-580, 2019
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
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
Open GADTs and declaration-site variance: a problem statement
PG Giarrusso
Proceedings of the 4th Workshop on Scala, 1-4, 2013
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
PG Giarrusso
University Tübingen, 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
Stoic: Towards Disciplined Capabilities
F Liu, S Stucki, N Amin, PG Giarrusso, M Odersky
Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”
PG Giarrusso, JI Brachthäuser
Unpublished draft accompanying a talk at Scala Symposium 1 (2016/10), 24, 2016
RexMidas: A Reflective Middleware for Transparently and Effectively Distributing Objects on a Grid System
P Giarrusso, G Pappalardo, L Toscano, E Tramontana
Workshop on Enabling Technologies: Infrastructure for Collaborative …, 2008
Safe Initialization of Objects
F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky
Celsius: A Model for Safe Initialization of Objects
F Liu, A Biboudis, PG Giarrusso, M Odersky
A type-and-effect system for object initialization
F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20