publications:
- title: "Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity"
  author:
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22655-7_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22655-7_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/OstermannGKR11"
  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:
  - name: "Mira Mezini"
    link: "https://researchr.org/alias/mira-mezini"
  volume: "6813"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22654-0"
  kind: "inproceedings"
  key: "OstermannGKR11"
- title: "Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation"
  author:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  - name: "Thorsten Berger"
    link: "https://researchr.org/alias/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)"
  kind: "inproceedings"
  key: "KstnerGiarrussoRendelErdwegOstermannBerger2011"
- title: "Towards improved GADT reasoning in Scala"
  author:
  - name: "Lionel Parreaux"
    link: "https://researchr.org/alias/lionel-parreaux"
  - name: "Aleksander Boruch-Gruszecki"
    link: "https://researchr.org/alias/aleksander-boruch-gruszecki"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  year: "2019"
  doi: "https://doi.org/10.1145/3337932.3338813"
  links:
    doi: "https://doi.org/10.1145/3337932.3338813"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scala/ParreauxBG19"
  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:
  - name: "Jonathan Immanuel Brachthäuser"
    link: "https://researchr.org/alias/jonathan-immanuel-brachth%C3%A4user"
  - name: "Sukyoung Ryu"
    link: "https://researchr.org/alias/sukyoung-ryu"
  - name: "Nathaniel Nystrom"
    link: "https://researchr.org/alias/nathaniel-nystrom"
  publisher: "ACM"
  isbn: "978-1-4503-6824-7"
  kind: "inproceedings"
  key: "ParreauxBG19"
- title: "System f-omega with equirecursive types for datatype-generic programming"
  author:
  - name: "Yufei Cai"
    link: "https://researchr.org/alias/yufei-cai"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2837614.2837660"
  links:
    doi: "http://doi.acm.org/10.1145/2837614.2837660"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/CaiGO16"
  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:
  - name: "Rastislav Bodik"
    link: "https://researchr.org/alias/rastislav-bodik"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  publisher: "ACM"
  isbn: "978-1-4503-3549-2"
  kind: "inproceedings"
  key: "CaiGO16"
- title: "Language composition untangled"
  author:
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2427048.2427055"
  links:
    doi: "http://doi.acm.org/10.1145/2427048.2427055"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/ErdwegGR12"
  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:
  - name: "Anthony Sloane"
    link: "https://researchr.org/alias/anthony-sloane"
  - name: "Suzana Andova"
    link: "https://researchr.org/alias/suzana-andova"
  publisher: "ACM"
  isbn: "978-1-4503-1536-4"
  kind: "inproceedings"
  key: "ErdwegGR12"
- title: "Partial preprocessing C code for variability analysis"
  author:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1944892.1944908"
  links:
    doi: "http://doi.acm.org/10.1145/1944892.1944908"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vamos/KastnerGO11"
  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:
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ulrich W. Eisenecker"
    link: "https://researchr.org/alias/ulrich-w.-eisenecker"
  series: "ACM International Conference Proceedings Series"
  publisher: "ACM"
  isbn: "978-1-4503-0570-9"
  kind: "inproceedings"
  key: "KastnerGO11"
- title: "Open GADTs and declaration-site variance: a problem statement"
  author:
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2489837.2489842"
  links:
    doi: "http://doi.acm.org/10.1145/2489837.2489842"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/Giarrusso13"
  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"
  kind: "inproceedings"
  key: "Giarrusso13"
- title: "Reify your collection queries for modularity and speed!"
  author:
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  - name: "Michael Eichberg"
    link: "https://researchr.org/alias/michael-eichberg"
  - name: "Ralf Mitschke"
    link: "https://researchr.org/alias/ralf-mitschke"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2451436.2451438"
  links:
    doi: "http://doi.acm.org/10.1145/2451436.2451438"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aosd/GiarrussoOEMRK13"
  researchr: "https://researchr.org/publication/GiarrussoOEMRK13"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "AOSD"
  kind: "inproceedings"
  key: "GiarrussoOEMRK13"
- title: "Incremental \\lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation"
  author:
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Yann Régis-Gianas"
    link: "https://researchr.org/alias/yann-r%C3%A9gis-gianas"
  - name: "Philipp Schuster"
    link: "https://researchr.org/alias/philipp-schuster"
  year: "2019"
  doi: "https://doi.org/10.1007/978-3-030-17184-1_20"
  links:
    doi: "https://doi.org/10.1007/978-3-030-17184-1_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/GiarrussoRS19"
  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:
  - name: "Luís Caires"
    link: "https://researchr.org/alias/lu%C3%ADs-caires"
  volume: "11423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-17184-1"
  kind: "inproceedings"
  key: "GiarrussoRS19"
- title: "Reifying and optimizing collection queries for modularity"
  author:
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  - name: "Michael Eichberg"
    link: "https://researchr.org/alias/michael-eichberg"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384716.2384747"
  links:
    doi: "http://doi.acm.org/10.1145/2384716.2384747"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/GiarrussoOERK12"
  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:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  publisher: "ACM"
  isbn: "978-1-4503-1563-0"
  kind: "inproceedings"
  key: "GiarrussoOERK12"
- title: "Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation"
  author:
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  year: "2020"
  doi: "http://d-nb.info/1205313524"
  links:
    doi: "http://d-nb.info/1205313524"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/dnb/Giarrusso20"
  researchr: "https://researchr.org/publication/dnb-22573"
  cites: 0
  citedby: 0
  school: "University of Tübingen, Germany"
  kind: "phdthesis"
  key: "dnb-22573"
- title: "Variability-aware parsing in the presence of lexical macros and conditional compilation"
  author:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  - name: "Thorsten Berger"
    link: "https://researchr.org/alias/thorsten-berger"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2048066.2048128"
  links:
    doi: "http://doi.acm.org/10.1145/2048066.2048128"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/KastnerGREOB11"
  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:
  - name: "Cristina Videira Lopes"
    link: "https://researchr.org/alias/cristina-videira-lopes"
  - name: "Kathleen Fisher"
    link: "https://researchr.org/alias/kathleen-fisher"
  publisher: "ACM"
  isbn: "978-1-4503-0940-0"
  kind: "inproceedings"
  key: "KastnerGREOB11"
- title: "Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption"
  author:
  - name: "Norbert Siegmund"
    link: "https://researchr.org/alias/norbert-siegmund"
  - name: "Marko Rosenmüller"
    link: "https://researchr.org/alias/marko-rosenm%C3%BCller"
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Sergiy S. Kolesnikov"
    link: "https://researchr.org/alias/sergiy-s.-kolesnikov"
  year: "2013"
  doi: "http://dx.doi.org/10.1016/j.infsof.2012.07.020"
  links:
    doi: "http://dx.doi.org/10.1016/j.infsof.2012.07.020"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/infsof/SiegmundRKGAK13"
  researchr: "https://researchr.org/publication/SiegmundRKGAK13"
  cites: 0
  citedby: 0
  journal: "Information \\& Software Technology"
  volume: "55"
  number: "3"
  pages: "491-507"
  kind: "article"
  key: "SiegmundRKGAK13"
- title: "Truly abstract interfaces for algebraic data types: the extractor typing problem"
  author:
  - name: "Nicolas Stucki"
    link: "https://researchr.org/alias/nicolas-stucki"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Martin Odersky"
    link: "https://researchr.org/alias/martin-odersky"
  year: "2018"
  doi: "https://doi.org/10.1145/3241653.3241658"
  links:
    doi: "https://doi.org/10.1145/3241653.3241658"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scala/StuckiGO18"
  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:
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Bruno C. D. S. Oliveira"
    link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira"
  publisher: "ACM"
  kind: "inproceedings"
  key: "StuckiGO18"
- title: "A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation"
  author:
  - name: "Yufei Cai"
    link: "https://researchr.org/alias/yufei-cai"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Tillmann Rendel"
    link: "https://researchr.org/alias/tillmann-rendel"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2594291.2594304"
  links:
    doi: "http://doi.acm.org/10.1145/2594291.2594304"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/CaiGRO14"
  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:
  - name: "Michael F. P. O'Boyle"
    link: "https://researchr.org/alias/michael-f.-p.-o%27boyle"
  - name: "Keshav Pingali"
    link: "https://researchr.org/alias/keshav-pingali"
  publisher: "ACM"
  isbn: "978-1-4503-2784-8"
  kind: "inproceedings"
  key: "CaiGRO14"
- title: "Reifying and optimizing collection queries for modularity"
  author:
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384716.2384735"
  links:
    doi: "http://doi.acm.org/10.1145/2384716.2384735"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/Giarrusso12"
  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:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  publisher: "ACM"
  isbn: "978-1-4503-1563-0"
  kind: "inproceedings"
  key: "Giarrusso12"
- title: "Scalable Prediction of Non-functional Properties in Software Product Lines"
  author:
  - name: "Norbert Siegmund"
    link: "https://researchr.org/alias/norbert-siegmund"
  - name: "Marko Rosenmüller"
    link: "https://researchr.org/alias/marko-rosenm%C3%BCller"
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Paolo G. Giarrusso"
    link: "https://www.informatik.uni-marburg.de/~pgiarrusso/"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Sergiy S. Kolesnikov"
    link: "https://researchr.org/alias/sergiy-s.-kolesnikov"
  year: "2011"
  doi: "http://dx.doi.org/10.1109/SPLC.2011.20"
  links:
    doi: "http://dx.doi.org/10.1109/SPLC.2011.20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/splc/SiegmundRKGAK11"
  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:
  - name: "Eduardo Santana de Almeida"
    link: "https://researchr.org/alias/eduardo-santana-de-almeida"
  - name: "Tomoji Kishi"
    link: "https://researchr.org/alias/tomoji-kishi"
  - name: "Christa Schwanninger"
    link: "https://researchr.org/alias/christa-schwanninger"
  - name: "Isabel John"
    link: "https://researchr.org/alias/isabel-john"
  - name: "Klaus Schmid"
    link: "https://researchr.org/alias/klaus-schmid"
  publisher: "IEEE"
  isbn: "978-1-4577-1029-2"
  kind: "inproceedings"
  key: "SiegmundRKGAK11"