Paolo G. Giarrusso

According to our database, Paolo G. Giarrusso authored at least 20 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A theory of higher-order subtyping with type intervals.

Sandro Stucki, Paolo G. Giarrusso

Proc. ACM Program. Lang., 2021

A Theory of Higher-Order Subtyping with Type Intervals (Extended Version).

Sandro Stucki, Paolo G. Giarrusso

CoRR, 2021

2020

Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation.

Paolo G. Giarrusso

PhD thesis, 2020

A type-and-effect system for object initialization.

Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky

Proc. ACM Program. Lang., 2020

Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.

Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers

Proc. ACM Program. Lang., 2020

2019

Towards improved GADT reasoning in Scala.

Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.

Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster

Proceedings of the Programming Languages and Systems, 2019

2018

Truly abstract interfaces for algebraic data types: the extractor typing problem.

Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

2016

System f-omega with equirecursive types for datatype-generic programming.

Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption.

Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, Sergiy S. Kolesnikov

Inf. Softw. Technol., 2013

Open GADTs and declaration-site variance: a problem statement.

Paolo G. Giarrusso

Proceedings of the 4th Workshop on Scala, 2013

Reify your collection queries for modularity and speed!

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Reifying and optimizing collection queries for modularity.

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner

Proceedings of the SPLASH'12, 2012

Reifying and optimizing collection queries for modularity.

Paolo G. Giarrusso

Proceedings of the SPLASH'12, 2012

Language composition untangled.

Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel

Proceedings of the International Workshop on Language Descriptions, 2012

2011

Partial preprocessing C code for variability analysis.

Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

Scalable Prediction of Non-functional Properties in Software Product Lines.

Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, Sergiy S. Kolesnikov

Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability-aware parsing in the presence of lexical macros and conditional compilation.

Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity.

Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011