@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 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings},
  editor = {Mira Mezini},
  volume = {6813},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22654-0},
}

@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 = {Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019},
  editor = {Jonathan Immanuel Brachthäuser and Sukyoung Ryu and Nathaniel Nystrom},
  publisher = {ACM},
  isbn = {978-1-4503-6824-7},
}

@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 = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Rastislav Bodik and Rupak Majumdar},
  publisher = {ACM},
  isbn = {978-1-4503-3549-2},
}

@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 = {International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012},
  editor = {Anthony Sloane and Suzana Andova},
  publisher = {ACM},
  isbn = {978-1-4503-1536-4},
}

@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 = {Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings},
  editor = {Patrick Heymans and Krzysztof Czarnecki and Ulrich W. Eisenecker},
  series = {ACM International Conference Proceedings Series},
  publisher = {ACM},
  isbn = {978-1-4503-0570-9},
}

@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 = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013},
  publisher = {ACM},
  isbn = {978-1-4503-2064-1},
}

@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 = {Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings},
  editor = {Luís Caires},
  volume = {11423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17184-1},
}

@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 = {Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012},
  editor = {Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-4503-1563-0},
}

@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 = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0940-0},
}

@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 = {Information \& Software Technology},
  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 = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  editor = {Sebastian Erdweg and Bruno C. D. S. Oliveira},
  publisher = {ACM},
}

@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 = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  editor = {Michael F. P. O'Boyle and Keshav Pingali},
  publisher = {ACM},
  isbn = {978-1-4503-2784-8},
}

@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 = {Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012},
  editor = {Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-4503-1563-0},
}

@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 = {Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011},
  editor = {Eduardo Santana de Almeida and Tomoji Kishi and Christa Schwanninger and Isabel John and Klaus Schmid},
  publisher = {IEEE},
  isbn = {978-1-4577-1029-2},
}