Paolo G. Giarrusso
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Vahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl
Nimike
Viittaukset
Viittaukset
Vuosi
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
2742011
Language Composition Untangled
S Erdweg, PG Giarrusso, T Rendel
International Workshop on Language Descriptions Tools and Applications, 2012
1212012
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
892013
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
732011
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
582014
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
372011
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
302011
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
172013
Incremental -Calculus in Cache-Transfer Style
PG Giarrusso, Y Régis-Gianas, P Schuster
European Symposium on Programming, 553-580, 2019
6*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
52016
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
42020
Open GADTs and declaration-site variance: a problem statement
PG Giarrusso
Proceedings of the 4th Workshop on Scala, 1-4, 2013
42013
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
PG Giarrusso
University Tübingen, 2020
22020
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
22011
Stoic: Towards Disciplined Capabilities
F Liu, S Stucki, N Amin, PG Giarrusso, M Odersky
12020
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
12008
Safe Initialization of Objects
F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky
2020
Celsius: A Model for Safe Initialization of Objects
F Liu, A Biboudis, PG Giarrusso, M Odersky
2020
A type-and-effect system for object initialization
F Liu, O Lhoták, A Biboudis, PG Giarrusso, M Odersky
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
2019
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20