publications:
- title: "Modula-2 and Oberon"
  author:
  - name: "Niklaus Wirth"
    link: "https://researchr.org/alias/niklaus-wirth"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1238844.1238847"
  links:
    doi: "http://doi.acm.org/10.1145/1238844.1238847"
  researchr: "https://researchr.org/publication/Wirth07"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "HOPL"
  kind: "inproceedings"
  key: "Wirth07"
- title: "A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility"
  author:
  - name: "Sophia Drossopoulou"
    link: "https://researchr.org/alias/sophia-drossopoulou"
  - name: "Susan Eisenbach"
    link: "https://researchr.org/alias/susan-eisenbach"
  - name: "David Wragg"
    link: "https://researchr.org/alias/david-wragg"
  year: "1999"
  doi: "https://doi.org/10.1109/LICS.1999.782606"
  links:
    doi: "https://doi.org/10.1109/LICS.1999.782606"
  researchr: "https://researchr.org/publication/DrossopoulouEW99"
  cites: 0
  citedby: 0
  pages: "147-156"
  booktitle: "lics"
  kind: "inproceedings"
  key: "DrossopoulouEW99"
- title: "The Module: A System Structuring Facility in High-Level Programming Languages"
  author:
  - name: "Niklaus Wirth"
    link: "https://researchr.org/alias/niklaus-wirth"
  year: "1979"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Wirth79"
  cites: 0
  citedby: 0
  pages: "1-24"
  booktitle: "ldpm"
  kind: "inproceedings"
  key: "Wirth79"
- title: "An approach to incremental compilation"
  author:
  - name: "Steven P. Reiss"
    link: "https://researchr.org/alias/steven-p.-reiss"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/502874.502889"
  links:
    doi: "http://doi.acm.org/10.1145/502874.502889"
  tags:
  - "incremental"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Reiss84%3A2"
  cites: 0
  citedby: 0
  pages: "144-156"
  booktitle: "sigplan"
  kind: "inproceedings"
  key: "Reiss84:2"
- title: "Incremental Polymorphism"
  author:
  - name: "Shail Aditya"
    link: "https://researchr.org/alias/shail-aditya"
  - name: "Rishiyur S. Nikhil"
    link: "https://researchr.org/alias/rishiyur-s.-nikhil"
  year: "1991"
  tags:
  - "incremental"
  researchr: "https://researchr.org/publication/AdityaN91"
  cites: 0
  citedby: 0
  pages: "379-405"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "AdityaN91"
- title: "A sound and optimal incremental build system with dynamic dependencies"
  author:
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Moritz Lichter"
    link: "https://researchr.org/alias/moritz-lichter"
  - name: "Manuel Weiel"
    link: "https://researchr.org/alias/manuel-weiel"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2814270.2814316"
  links:
    doi: "http://doi.acm.org/10.1145/2814270.2814316"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/ErdwegLW15"
  researchr: "https://researchr.org/publication/ErdwegLW15"
  cites: 0
  citedby: 1
  pages: "89-106"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "ErdwegLW15"
- title: "Parallel Compilation for a Parallel Machine"
  author:
  - name: "Thomas R. Gross"
    link: "https://researchr.org/alias/thomas-r.-gross"
  - name: "Angelika Zobel"
    link: "https://researchr.org/alias/angelika-zobel"
  - name: "Markus Zolg"
    link: "https://researchr.org/alias/markus-zolg"
  year: "1989"
  researchr: "https://researchr.org/publication/GrossZZ89"
  cites: 0
  citedby: 0
  pages: "91-100"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "GrossZZ89"
- title: "Incremental compilation in Magpie"
  author:
  - name: "Mayer D. Schwartz"
    link: "https://researchr.org/alias/mayer-d.-schwartz"
  - name: "Norman M. Delisle"
    link: "https://researchr.org/alias/norman-m.-delisle"
  - name: "Vimal S. Begwani"
    link: "https://researchr.org/alias/vimal-s.-begwani"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/502874.502887"
  links:
    doi: "http://doi.acm.org/10.1145/502874.502887"
  tags:
  - "incremental"
  researchr: "https://researchr.org/publication/SchwartzDB84"
  cites: 0
  citedby: 0
  pages: "122-131"
  booktitle: "sigplan"
  kind: "inproceedings"
  key: "SchwartzDB84"
- title: "Separate Compilation for Synchronous Modules"
  author:
  - name: "Jia Zeng"
    link: "https://researchr.org/alias/jia-zeng"
  - name: "Stephen A. Edwards"
    link: "https://researchr.org/alias/stephen-a.-edwards"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11599555_15"
  links:
    doi: "http://dx.doi.org/10.1007/11599555_15"
  researchr: "https://researchr.org/publication/ZengE05"
  cites: 0
  citedby: 0
  pages: "129-140"
  booktitle: "icess"
  kind: "inproceedings"
  key: "ZengE05"
- title: "Polymorphic bytecode: compositional compilation for Java-like languages"
  author:
  - name: "Davide Ancona"
    link: "https://researchr.org/alias/davide-ancona"
  - name: "Ferruccio Damiani"
    link: "https://researchr.org/alias/ferruccio-damiani"
  - name: "Sophia Drossopoulou"
    link: "https://researchr.org/alias/sophia-drossopoulou"
  - name: "Elena Zucca"
    link: "https://researchr.org/alias/elena-zucca"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1040305.1040308"
  links:
    doi: "http://doi.acm.org/10.1145/1040305.1040308"
  tags:
  - "Java"
  - "composition"
  researchr: "https://researchr.org/publication/AnconaDDZ05"
  cites: 0
  citedby: 0
  pages: "26-37"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "AnconaDDZ05"
- title: "Staged compilation"
  author:
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503032.503045"
  links:
    doi: "http://doi.acm.org/10.1145/503032.503045"
  tags:
  - "compilation"
  - "staged compilation"
  researchr: "https://researchr.org/publication/Chambers02"
  cites: 0
  citedby: 0
  pages: "1-8"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Chambers02"
- title: "Link-time static analysis for efficient separate compilation of object-oriented languages"
  author:
  - name: "Jean Privat"
    link: "https://researchr.org/alias/jean-privat"
  - name: "Roland Ducournau"
    link: "https://researchr.org/alias/roland-ducournau"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1108792.1108799"
  links:
    doi: "http://doi.acm.org/10.1145/1108792.1108799"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/PrivatD05%3A0"
  cites: 0
  citedby: 0
  pages: "20-27"
  booktitle: "PASTE"
  kind: "inproceedings"
  key: "PrivatD05:0"
- title: "An Efficient Separate Compilation Strategy for Very Large Programs"
  author:
  - name: "Andres Rudmik"
    link: "https://researchr.org/alias/andres-rudmik"
  - name: "Barbara G. Moore"
    link: "https://researchr.org/alias/barbara-g.-moore"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/800230.807004"
  links:
    doi: "http://doi.acm.org/10.1145/800230.807004"
  researchr: "https://researchr.org/publication/RudmikM82"
  cites: 0
  citedby: 0
  pages: "301-307"
  booktitle: "sigplan"
  kind: "inproceedings"
  key: "RudmikM82"
- title: "PIE: A Domain-Specific Language for Interactive Software Development Pipelines"
  author:
  - name: "Gabriël Konat"
    link: "http://nl.linkedin.com/in/gabrielkonat"
  - name: "Michael J. Steindorfer"
    link: "http://michael.steindorfer.name"
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2018"
  doi: "https://doi.org/10.22152/programming-journal.org/2018/2/9"
  abstract: "Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a live environment such as an IDE, require timely results for low-latency feedback, and persistence to retain low-latency feedback between restarts. Inquiry. Developing an incrementalized and persistent version of a pipeline is one way to reduce feedback latency, but requires implementation of dependency tracking, cache invalidation, and other complicated and error-prone techniques. Therefore, interactivity complicates pipeline development if timeliness and persistence become responsibilities of the pipeline programmer, rather than being supported by the underlying system. Systems for programming incremental and persistent pipelines exist, but do not focus on ease of development, requiring a high degree of boilerplate, increasing development and maintenance effort. Approach. We develop Pipelines for Interactive Environments (PIE), a Domain-Specific Language (DSL), API, and runtime for developing interactive software development pipelines, where ease of development is a focus. The PIE DSL is a statically typed and lexically scoped language. PIE programs are compiled to programs implementing the API, which the PIE runtime executes in an incremental and persistent way. Knowledge. PIE provides a straightforward programming model that enables direct and concise expression of pipelines without boilerplate, reducing the development and maintenance effort of pipelines. Compiled pipeline programs can be embedded into interactive environments such as code editors and IDEs, enabling timely feedback at a low cost. Grounding. Compared to the state of the art, PIE reduces the code required to express an interactive pipeline by a factor of 6 in a case study on syntax-aware editors. Furthermore, we evaluate PIE in two case studies of complex interactive software development scenarios, demonstrating that PIE can handle complex interactive pipelines in a straightforward and concise way. Importance. Interactive pipelines are complicated software artifacts that power many important systems such as continuous feedback cycles in IDEs and code editors, and live language development in language workbenches. New pipelines, and evolution of existing pipelines, is frequently necessary. Therefore, a system for easily developing and maintaining interactive pipelines, such as PIE, is important."
  links:
    doi: "https://doi.org/10.22152/programming-journal.org/2018/2/9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/programming/KonatSEV18"
  researchr: "https://researchr.org/publication/KonatSEV18"
  cites: 0
  citedby: 0
  journal: "Programming"
  volume: "2"
  number: "3"
  pages: "9"
  kind: "article"
  key: "KonatSEV18"
- title: "Manifest Types, Modules, and Separate Compilation"
  author:
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  year: "1994"
  doi: "10.1145/174675.176926"
  abstract: "This paper presents a variant of the SML module system that introduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module specification), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compilation. "
  researchr: "https://researchr.org/publication/Leroy94"
  cites: 0
  citedby: 0
  pages: "109-122"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Leroy94"