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"
  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: "SCALA"
  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: "POPL"
  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: "LDTA"
  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: "vamos"
  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: "ECOOP"
  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: "ESOP"
  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: "OOPSLA"
  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: "OOPSLA"
  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: "INFSOF"
  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: "SCALA"
  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: "PLDI"
  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: "OOPSLA"
  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: "SPLC"
  kind: "inproceedings"
  key: "SiegmundRKGAK11"