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
2552011
Language Composition Untangled
S Erdweg, PG Giarrusso, T Rendel
International Workshop on Language Descriptions Tools and Applications, 2012
1172012
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
842013
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
542014
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
342011
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
162013
Incremental -Calculus in Cache-Transfer Style
PG Giarrusso, Y Régis-Gianas, P Schuster
European Symposium on Programming, 553-580, 2019
4*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
42016
Open GADTs and declaration-site variance: a problem statement
PG Giarrusso
Proceedings of the 4th Workshop on Scala, 1-4, 2013
42013
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
22020
Stoic: Towards Disciplined Capabilities
F Liu, S Stucki, N Amin, PG Giarrusso, M Odersky
12020
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
PG Giarrusso
University Tübingen, 2020
12020
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
12011
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
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
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
2018
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
2016
Formal Semantics as a Language Designer’s Toolbox
PG Giarrusso, K Ostermann, T Rendel, E Walkingshaw
2014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20