Paolo G. Giarrusso

According to our database1, Paolo G. Giarrusso authored at least 14 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.
Proceedings of the Programming Languages and Systems, 2019

2018
Truly abstract interfaces for algebraic data types: the extractor typing problem.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

2016
System f-omega with equirecursive types for datatype-generic programming.
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.
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.
Information & Software Technology, 2013

Open GADTs and declaration-site variance: a problem statement.
Proceedings of the 4th Workshop on Scala, 2013

Reify your collection queries for modularity and speed!
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Reifying and optimizing collection queries for modularity.
Proceedings of the Conference on Systems, 2012

Reifying and optimizing collection queries for modularity.
Proceedings of the Conference on Systems, 2012

Language composition untangled.
Proceedings of the International Workshop on Language Descriptions, 2012

2011
Partial preprocessing C code for variability analysis.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

Scalable Prediction of Non-functional Properties in Software Product Lines.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability-aware parsing in the presence of lexical macros and conditional compilation.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011


  Loading...