Paolo G. Giarrusso - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2020

Optimizing and Incrementalizing Higher-order Collection Queries by AST TransformationPaolo G. Giarrusso. PhD thesis, University of Tübingen, Germany, 2020. [doi]

2019

Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program TransformationPaolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster. ESOP 2019: 553-580 [doi]

Towards improved GADT reasoning in ScalaLionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso. SCALA 2019: 12-16 [doi]

2018

Truly abstract interfaces for algebraic data types: the extractor typing problemNicolas Stucki, Paolo G. Giarrusso, Martin Odersky. SCALA 2018: 56-60 [doi]

2016

System f-omega with equirecursive types for datatype-generic programmingYufei Cai, Paolo G. Giarrusso, Klaus Ostermann. POPL 2016: 30-43 [doi]

2014

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiationYufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann. PLDI 2014: 17 [doi]

2013

2012

Language composition untangledSebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel. LDTA 2012: 7 [doi]

Reifying and optimizing collection queries for modularityPaolo G. Giarrusso. OOPSLA 2012: 41-44 [doi]

Reifying and optimizing collection queries for modularityPaolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner. OOPSLA 2012: 77-78 [doi]

2011

Partial preprocessing C code for variability analysisChristian Kästner, Paolo G. Giarrusso, Klaus Ostermann. vamos 2011: 127-136 [doi]

Variability-Aware Parsing in the Presence of Lexical Macros and Conditional CompilationChristian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger. In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2011:

Variability-aware parsing in the presence of lexical macros and conditional compilationChristian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger. OOPSLA 2011: 805-824 [doi]

Revisiting Information Hiding: Reflections on Classical and Nonclassical ModularityKlaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel. ECOOP 2011: 155-178 [doi]

Scalable Prediction of Non-functional Properties in Software Product LinesNorbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, Sergiy S. Kolesnikov. SPLC 2011: 160-169 [doi]

Sign in or sign up to see more results.

runs on WebDSL