@inproceedings{OstermannGKR11,
  title = {Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity},
  author = {Klaus Ostermann and Paolo G. Giarrusso and Christian Kästner and Tillmann Rendel},
  year = {2011},
  doi = {10.1007/978-3-642-22655-7_8},
  url = {http://dx.doi.org/10.1007/978-3-642-22655-7_8},
  tags = {information hiding, reflection},
  researchr = {https://researchr.org/publication/OstermannGKR11},
  cites = {0},
  citedby = {0},
  pages = {155-178},
  booktitle = {ECOOP},
}

@inproceedings{KstnerGiarrussoRendelErdwegOstermannBerger2011,
  title = {Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation},
  author = {Christian Kästner and Paolo G. Giarrusso and Tillmann Rendel and Sebastian Erdweg and Klaus Ostermann and Thorsten Berger},
  year = {2011},
  tags = {Variability-Aware Analysis, analysis, macros, context-aware, parsing},
  researchr = {https://researchr.org/publication/KstnerGiarrussoRendelErdwegOstermannBerger2011},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
}

@inproceedings{ParreauxBG19,
  title = {Towards improved GADT reasoning in Scala},
  author = {Lionel Parreaux and Aleksander Boruch-Gruszecki and Paolo G. Giarrusso},
  year = {2019},
  doi = {10.1145/3337932.3338813},
  url = {https://doi.org/10.1145/3337932.3338813},
  researchr = {https://researchr.org/publication/ParreauxBG19},
  cites = {0},
  citedby = {0},
  pages = {12-16},
  booktitle = {SCALA},
}

@inproceedings{CaiGO16,
  title = {System f-omega with equirecursive types for datatype-generic programming},
  author = {Yufei Cai and Paolo G. Giarrusso and Klaus Ostermann},
  year = {2016},
  doi = {10.1145/2837614.2837660},
  url = {http://doi.acm.org/10.1145/2837614.2837660},
  researchr = {https://researchr.org/publication/CaiGO16},
  cites = {0},
  citedby = {0},
  pages = {30-43},
  booktitle = {POPL},
}

@inproceedings{ErdwegGR12,
  title = {Language composition untangled},
  author = {Sebastian Erdweg and Paolo G. Giarrusso and Tillmann Rendel},
  year = {2012},
  doi = {10.1145/2427048.2427055},
  url = {http://doi.acm.org/10.1145/2427048.2427055},
  researchr = {https://researchr.org/publication/ErdwegGR12},
  cites = {0},
  citedby = {0},
  pages = {7},
  booktitle = {LDTA},
}

@inproceedings{KastnerGO11,
  title = {Partial preprocessing C code for variability analysis},
  author = {Christian Kästner and Paolo G. Giarrusso and Klaus Ostermann},
  year = {2011},
  doi = {10.1145/1944892.1944908},
  url = {http://doi.acm.org/10.1145/1944892.1944908},
  tags = {analysis, C++},
  researchr = {https://researchr.org/publication/KastnerGO11},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {vamos},
}

@inproceedings{Giarrusso13,
  title = {Open GADTs and declaration-site variance: a problem statement},
  author = {Paolo G. Giarrusso},
  year = {2013},
  doi = {10.1145/2489837.2489842},
  url = {http://doi.acm.org/10.1145/2489837.2489842},
  researchr = {https://researchr.org/publication/Giarrusso13},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP},
}

@inproceedings{GiarrussoOEMRK13,
  title = {Reify your collection queries for modularity and speed!},
  author = {Paolo G. Giarrusso and Klaus Ostermann and Michael Eichberg and Ralf Mitschke and Tillmann Rendel and Christian Kästner},
  year = {2013},
  doi = {10.1145/2451436.2451438},
  url = {http://doi.acm.org/10.1145/2451436.2451438},
  researchr = {https://researchr.org/publication/GiarrussoOEMRK13},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {AOSD},
}

@inproceedings{GiarrussoRS19,
  title = {Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation},
  author = {Paolo G. Giarrusso and Yann Régis-Gianas and Philipp Schuster},
  year = {2019},
  doi = {10.1007/978-3-030-17184-1_20},
  url = {https://doi.org/10.1007/978-3-030-17184-1_20},
  researchr = {https://researchr.org/publication/GiarrussoRS19},
  cites = {0},
  citedby = {0},
  pages = {553-580},
  booktitle = {ESOP},
}

@inproceedings{GiarrussoOERK12,
  title = {Reifying and optimizing collection queries for modularity},
  author = {Paolo G. Giarrusso and Klaus Ostermann and Michael Eichberg and Tillmann Rendel and Christian Kästner},
  year = {2012},
  doi = {10.1145/2384716.2384747},
  url = {http://doi.acm.org/10.1145/2384716.2384747},
  researchr = {https://researchr.org/publication/GiarrussoOERK12},
  cites = {0},
  citedby = {0},
  pages = {77-78},
  booktitle = {OOPSLA},
}

@phdthesis{dnb-22573,
  title = {Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation},
  author = {Paolo G. Giarrusso},
  year = {2020},
  url = {http://d-nb.info/1205313524},
  researchr = {https://researchr.org/publication/dnb-22573},
  cites = {0},
  citedby = {0},
  school = {University of Tübingen, Germany},
}

@inproceedings{KastnerGREOB11,
  title = {Variability-aware parsing in the presence of lexical macros and conditional compilation},
  author = {Christian Kästner and Paolo G. Giarrusso and Tillmann Rendel and Sebastian Erdweg and Klaus Ostermann and Thorsten Berger},
  year = {2011},
  doi = {10.1145/2048066.2048128},
  url = {http://doi.acm.org/10.1145/2048066.2048128},
  researchr = {https://researchr.org/publication/KastnerGREOB11},
  cites = {0},
  citedby = {0},
  pages = {805-824},
  booktitle = {OOPSLA},
}

@article{SiegmundRKGAK13,
  title = {Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption},
  author = {Norbert Siegmund and Marko Rosenmüller and Christian Kästner and Paolo G. Giarrusso and Sven Apel and Sergiy S. Kolesnikov},
  year = {2013},
  doi = {10.1016/j.infsof.2012.07.020},
  url = {http://dx.doi.org/10.1016/j.infsof.2012.07.020},
  researchr = {https://researchr.org/publication/SiegmundRKGAK13},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {55},
  number = {3},
  pages = {491-507},
}

@inproceedings{StuckiGO18,
  title = {Truly abstract interfaces for algebraic data types: the extractor typing problem},
  author = {Nicolas Stucki and Paolo G. Giarrusso and Martin Odersky},
  year = {2018},
  doi = {10.1145/3241653.3241658},
  url = {https://doi.org/10.1145/3241653.3241658},
  researchr = {https://researchr.org/publication/StuckiGO18},
  cites = {0},
  citedby = {0},
  pages = {56-60},
  booktitle = {SCALA},
}

@inproceedings{CaiGRO14,
  title = {A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation},
  author = {Yufei Cai and Paolo G. Giarrusso and Tillmann Rendel and Klaus Ostermann},
  year = {2014},
  doi = {10.1145/2594291.2594304},
  url = {http://doi.acm.org/10.1145/2594291.2594304},
  researchr = {https://researchr.org/publication/CaiGRO14},
  cites = {0},
  citedby = {0},
  pages = {17},
  booktitle = {PLDI},
}

@inproceedings{Giarrusso12,
  title = {Reifying and optimizing collection queries for modularity},
  author = {Paolo G. Giarrusso},
  year = {2012},
  doi = {10.1145/2384716.2384735},
  url = {http://doi.acm.org/10.1145/2384716.2384735},
  researchr = {https://researchr.org/publication/Giarrusso12},
  cites = {0},
  citedby = {0},
  pages = {41-44},
  booktitle = {OOPSLA},
}

@inproceedings{SiegmundRKGAK11,
  title = {Scalable Prediction of Non-functional Properties in Software Product Lines},
  author = {Norbert Siegmund and Marko Rosenmüller and Christian Kästner and Paolo G. Giarrusso and Sven Apel and Sergiy S. Kolesnikov},
  year = {2011},
  doi = {10.1109/SPLC.2011.20},
  url = {http://dx.doi.org/10.1109/SPLC.2011.20},
  researchr = {https://researchr.org/publication/SiegmundRKGAK11},
  cites = {0},
  citedby = {0},
  pages = {160-169},
  booktitle = {SPLC},
}