@article{SalvaneschiKSHE19,
  title = {Language-integrated privacy-aware distributed queries},
  author = {Guido Salvaneschi and Mirko Köhler and Daniel Sokolowski and Philipp Haller and Sebastian Erdweg and Mira Mezini},
  year = {2019},
  doi = {10.1145/3360593},
  url = {https://doi.org/10.1145/3360593},
  researchr = {https://researchr.org/publication/SalvaneschiKSHE19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {OOPSLA},
}

@inproceedings{ErdwegVMV14,
  title = {Modular specification and dynamic enforcement of syntactic language constraints when generating code},
  author = {Sebastian Erdweg and Vlad A. Vergu and Mira Mezini and Eelco Visser},
  year = {2014},
  doi = {10.1145/2577080.2577089},
  url = {http://doi.acm.org/10.1145/2577080.2577089},
  researchr = {https://researchr.org/publication/ErdwegVMV14},
  cites = {0},
  citedby = {0},
  pages = {241-252},
  booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
  editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2772-5},
}

@inproceedings{MartinME13,
  title = {Template constructors for reusable object initialization},
  author = {Marko Martin and Mira Mezini and Sebastian Erdweg},
  year = {2013},
  doi = {10.1145/2517208.2517212},
  url = {http://doi.acm.org/10.1145/2517208.2517212},
  researchr = {https://researchr.org/publication/MartinME13},
  cites = {0},
  citedby = {0},
  pages = {43-52},
  booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013},
  editor = {Jaakko Järvi and Christian Kästner},
  publisher = {ACM},
  isbn = {978-1-4503-2373-4},
}

@inproceedings{ErdwegR13,
  title = {A framework for extensible languages},
  author = {Sebastian Erdweg and Felix Rieger},
  year = {2013},
  doi = {10.1145/2517208.2517210},
  url = {http://doi.acm.org/10.1145/2517208.2517210},
  researchr = {https://researchr.org/publication/ErdwegR13},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013},
  editor = {Jaakko Järvi and Christian Kästner},
  publisher = {ACM},
  isbn = {978-1-4503-2373-4},
}

@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},
}

@inproceedings{SzaboEV16,
  title = {IncA: a DSL for the definition of incremental program analyses},
  author = {Tamás Szabó and Sebastian Erdweg and Markus Völter},
  year = {2016},
  doi = {10.1145/2970276.2970298},
  url = {http://doi.acm.org/10.1145/2970276.2970298},
  researchr = {https://researchr.org/publication/SzaboEV16},
  cites = {0},
  citedby = {0},
  pages = {320-331},
  booktitle = {Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering},
  editor = {David Lo and Sven Apel and Sarfraz Khurshid},
  publisher = {ACM},
  isbn = {978-1-4503-3845-5},
}

@inproceedings{TKES:SPLC11,
  title = {Abstract Features in Feature Modeling},
  author = {Thomas Thüm and Christian Kästner and Sebastian Erdweg and Norbert  Siegmund},
  year = {2011},
  month = {August},
  note = {To appear},
  tags = {meta-model, modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/TKES%3ASPLC11},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the International Software Product Line Conference (SPLC)},
}

@article{ErdwegO17,
  title = {A Module-System Discipline for Model-Driven Software Development},
  author = {Sebastian Erdweg and Klaus Ostermann},
  year = {2017},
  doi = {10.22152/programming-journal.org/2017/1/9},
  url = {https://doi.org/10.22152/programming-journal.org/2017/1/9},
  researchr = {https://researchr.org/publication/ErdwegO17},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {1},
  number = {2},
  pages = {9},
}

@inproceedings{ErdwegVMV14-demo,
  title = {Finding bugs in program generators by dynamic analysis of syntactic language constraints},
  author = {Sebastian Erdweg and Vlad A. Vergu and Mira Mezini and Eelco Visser},
  year = {2014},
  doi = {10.1145/2584469.2584474},
  url = {http://doi.acm.org/10.1145/2584469.2584474},
  researchr = {https://researchr.org/publication/ErdwegVMV14-demo},
  cites = {0},
  citedby = {0},
  pages = {17-20},
  booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
  editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2772-5},
}

@inproceedings{KuciEBBM17,
  title = {A Co-contextual Type Checker for Featherweight Java },
  author = { Edlira Kuci and Sebastian Erdweg and Oliver Bracevac and Andi Bejleri and Mira Mezini},
  year = {2017},
  doi = {10.4230/LIPIcs.ECOOP.2017.18},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.18},
  researchr = {https://researchr.org/publication/KuciEBBM17},
  cites = {0},
  citedby = {0},
  booktitle = {31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain},
  editor = {Peter Müller},
  volume = {74},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-035-4},
}

@article{KonatSEV18,
  title = {{PIE}: A Domain-Specific Language for Interactive Software Development Pipelines},
  author = {Gabriël Konat and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.22152/programming-journal.org/2018/2/9},
  url = {https://doi.org/10.22152/programming-journal.org/2018/2/9},
  researchr = {https://researchr.org/publication/KonatSEV18},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {2},
  number = {3},
  pages = {9},
}

@article{KeidelPE18,
  title = {Compositional soundness proofs of abstract interpreters},
  author = {Sven Keidel and Casper Bach Poulsen and Sebastian Erdweg},
  year = {2018},
  doi = {10.1145/3236767},
  url = {https://doi.org/10.1145/3236767},
  researchr = {https://researchr.org/publication/KeidelPE18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@inproceedings{ErdwegBKKM15,
  title = {A co-contextual formulation of type rules and its application to incremental type checking},
  author = {Sebastian Erdweg and Oliver Bracevac and  Edlira Kuci and Matthias Krebs and Mira Mezini},
  year = {2015},
  doi = {10.1145/2814270.2814277},
  url = {http://doi.acm.org/10.1145/2814270.2814277},
  researchr = {https://researchr.org/publication/ErdwegBKKM15},
  cites = {0},
  citedby = {0},
  pages = {880-897},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-3689-5},
}

@inproceedings{ErdwegKRKOV11gpce,
  title = {Growing a language environment with editor libraries},
  author = {Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian Kästner and Klaus Ostermann and Eelco Visser},
  year = {2011},
  doi = {10.1145/2047862.2047891},
  url = {http://doi.acm.org/10.1145/2047862.2047891},
  researchr = {https://researchr.org/publication/ErdwegKRKOV11gpce},
  cites = {0},
  citedby = {0},
  pages = {167-176},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011},
  editor = {Ewen Denney and Ulrik Pagh Schultz},
  publisher = {ACM},
  isbn = {978-1-4503-0689-8},
}

@inproceedings{GreweEM16,
  title = {Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny},
  author = {Sylvia Grewe and Sebastian Erdweg and Mira Mezini},
  year = {2016},
  url = {http://www.easychair.org/publications/paper/Automating_Proof_Steps_of_Progress_Proofs_Comparing_Vampire_and_Dafny},
  researchr = {https://researchr.org/publication/GreweEM16},
  cites = {0},
  citedby = {0},
  pages = {33-45},
  booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016},
  editor = {Laura Kovács and Andrei Voronkov},
  volume = {44},
  series = {EPiC Series in Computing},
  publisher = {EasyChair},
}

@inproceedings{GreweERM16,
  title = {Exploration of language specifications by compilation to first-order logic},
  author = {Sylvia Grewe and Sebastian Erdweg and Michael Raulf and Mira Mezini},
  year = {2016},
  doi = {10.1145/2967973.2968606},
  url = {http://doi.acm.org/10.1145/2967973.2968606},
  researchr = {https://researchr.org/publication/GreweERM16},
  cites = {0},
  citedby = {0},
  pages = {104-117},
  booktitle = {Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016},
  editor = {James Cheney and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-4503-4148-6},
}

@inproceedings{KeidelPE16,
  title = {The IDE portability problem and its solution in Monto},
  author = {Sven Keidel and Wulf Pfeiffer and Sebastian Erdweg},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=2997368},
  researchr = {https://researchr.org/publication/KeidelPE16},
  cites = {0},
  citedby = {0},
  pages = {152-162},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Tijs van der Storm and Emilie Balland and Dániel Varró},
  publisher = {ACM},
  isbn = {978-1-4503-4447-0},
}

@inproceedings{KeidelE17,
  title = {Toward abstract interpretation of program transformations},
  author = {Sven Keidel and Sebastian Erdweg},
  year = {2017},
  doi = {10.1145/3141517.3141855},
  url = {https://doi.org/10.1145/3141517.3141855},
  researchr = {https://researchr.org/publication/KeidelE17},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
  editor = {Shigeru Chiba and Elisa Gonzalez Boix and Stefan Marr},
  publisher = {ACM},
  isbn = {978-1-4503-5523-0},
}

@inproceedings{AmorimSEV18,
  title = {Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages},
  author = {Luis Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.1145/3276604.3276607},
  url = {https://doi.org/10.1145/3276604.3276607},
  researchr = {https://researchr.org/publication/AmorimSEV18},
  cites = {0},
  citedby = {0},
  pages = {3-15},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018},
  editor = {David Pearce 0005 and Tanja Mayerhofer and Friedrich Steimann},
  publisher = {ACM},
  isbn = {978-1-4503-6029-6},
}

@article{GreweEPRM18,
  title = {Exploration of language specifications by compilation to first-order logic},
  author = {Sylvia Grewe and Sebastian Erdweg and André Pacak and Michael Raulf and Mira Mezini},
  year = {2018},
  doi = {10.1016/j.scico.2017.08.001},
  url = {https://doi.org/10.1016/j.scico.2017.08.001},
  researchr = {https://researchr.org/publication/GreweEPRM18},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {155},
  pages = {146-172},
}

@inproceedings{ErdwegW14,
  title = {DSLDI 2014: second workshop on domain specific languages design and implementation},
  author = {Sebastian Erdweg and Adam Welc},
  year = {2014},
  doi = {10.1145/2660252.2663600},
  url = {http://doi.acm.org/10.1145/2660252.2663600},
  researchr = {https://researchr.org/publication/ErdwegW14},
  cites = {0},
  citedby = {0},
  pages = {71-72},
  booktitle = {Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '14, Portland, OR, USA, October 20-24, 2014 - Companion Volume},
  editor = {Andrew P. Black},
  publisher = {ACM},
  isbn = {978-1-4503-3208-8},
}

@misc{KonatAEV16,
  title = {Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language  Workbench},
  author = {Gabriël Konat and Luis Eduardo de Souza Amorim and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/KonatAEV16},
  cites = {0},
  citedby = {0},
  howpublished = {Language Workbench Challenge (LWC@SLE)},
}

@inproceedings{VoelterSLKEB16,
  title = {Efficient development of consistent projectional editors using grammar cells},
  author = {Markus Völter and Tamás Szabó and Sascha Lisson and  Bernd Kolb and Sebastian Erdweg and Thorsten Berger},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=2997365},
  researchr = {https://researchr.org/publication/VoelterSLKEB16},
  cites = {0},
  citedby = {0},
  pages = {28-40},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Tijs van der Storm and Emilie Balland and Dániel Varró},
  publisher = {ACM},
  isbn = {978-1-4503-4447-0},
}

@article{ErdwegFO14,
  title = {Evolution of Software Systems with Extensible Languages and DSLs},
  author = {Sebastian Erdweg and Stefan Fehrenbach and Klaus Ostermann},
  year = {2014},
  doi = {10.1109/MS.2014.99},
  url = {http://dx.doi.org/10.1109/MS.2014.99},
  researchr = {https://researchr.org/publication/ErdwegFO14},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {31},
  number = {5},
  pages = {68-75},
}

@inproceedings{GreweEPM18,
  title = {System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers},
  author = {Sylvia Grewe and Sebastian Erdweg and André Pacak and Mira Mezini},
  year = {2018},
  doi = {10.1145/3236950.3236960},
  url = {https://doi.org/10.1145/3236950.3236960},
  researchr = {https://researchr.org/publication/GreweEPM18},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018},
  editor = {David Sabel and Peter Thiemann},
  publisher = {ACM},
}

@inproceedings{ErdwegKRKOV11-mdsd,
  title = {Library-based model-driven software development with SugarJ},
  author = {Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian Kästner and Klaus Ostermann and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048147.2048156},
  url = {http://doi.acm.org/10.1145/2048147.2048156},
  researchr = {https://researchr.org/publication/ErdwegKRKOV11-mdsd},
  cites = {0},
  citedby = {0},
  pages = {17-18},
  booktitle = {Companion to 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-0942-4},
}

@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)},
}

@article{KeidelE19,
  title = {Sound and reusable components for abstract interpretation},
  author = {Sven Keidel and Sebastian Erdweg},
  year = {2019},
  doi = {10.1145/3360602},
  url = {https://doi.org/10.1145/3360602},
  researchr = {https://researchr.org/publication/KeidelE19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {OOPSLA},
}

@inproceedings{ErdwegRRO12,
  title = {Layout-sensitive language extensibility with SugarHaskell},
  author = {Sebastian Erdweg and Felix Rieger and Tillmann Rendel and Klaus Ostermann},
  year = {2012},
  doi = {10.1145/2364506.2364526},
  url = {http://doi.acm.org/10.1145/2364506.2364526},
  researchr = {https://researchr.org/publication/ErdwegRRO12},
  cites = {0},
  citedby = {0},
  pages = {149-160},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
  editor = {Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-4503-1574-6},
}

@inproceedings{InostrozaSE14,
  title = {Tracing Program Transformations with String Origins},
  author = {Pablo Inostroza and Tijs van der Storm and Sebastian Erdweg},
  year = {2014},
  doi = {10.1007/978-3-319-08789-4_12},
  url = {http://dx.doi.org/10.1007/978-3-319-08789-4_12},
  researchr = {https://researchr.org/publication/InostrozaSE14},
  cites = {0},
  citedby = {0},
  pages = {154-169},
  booktitle = {Theory and Practice of Model Transformations - 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings},
  editor = {Davide Di Ruscio and Dániel Varró},
  volume = {8568},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-08788-7},
}

@inproceedings{KonatEV16,
  title = {Bootstrapping Domain-Specific Meta-Languages in Language Workbenches},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  doi = {10.1145/2993236.2993242},
  url = {http://doi.acm.org/10.1145/2993236.2993242},
  researchr = {https://researchr.org/publication/KonatEV16},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Bernd Fischer and Ina Schaefer},
  publisher = {ACM},
  isbn = {978-1-4503-4446-3},
}

@article{DemetrescuEHK16,
  title = {Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)},
  author = {Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi},
  year = {2016},
  doi = {10.4230/DagRep.6.10.1},
  url = {http://dx.doi.org/10.4230/DagRep.6.10.1},
  researchr = {https://researchr.org/publication/DemetrescuEHK16},
  cites = {0},
  citedby = {0},
  journal = {Dagstuhl Reports},
  volume = {6},
  number = {10},
  pages = {1-12},
}

@article{SzaboBEV18,
  title = {Incrementalizing lattice-based program analyses in Datalog},
  author = {Tamás Szabó and Gábor Bergmann and Sebastian Erdweg and Markus Voelter},
  year = {2018},
  doi = {10.1145/3276509},
  url = {https://doi.org/10.1145/3276509},
  researchr = {https://researchr.org/publication/SzaboBEV18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {OOPSLA},
}

@inproceedings{KonatSEV19,
  title = {Precise, Efficient, and Expressive Incremental Build Scripts with {PIE}},
  author = {Gabriël Konat and  Roelof Sol and Sebastian Erdweg and Eelco Visser},
  year = {2019},
  researchr = {https://researchr.org/publication/KonatSEV19},
  cites = {0},
  citedby = {0},
  booktitle = {Second Workshop on Incremental Computing (IC 2019)},
}

@inproceedings{GreweEWM15,
  title = {Type systems for the masses: deriving soundness proofs and efficient checkers},
  author = {Sylvia Grewe and Sebastian Erdweg and Pascal Wittmann and Mira Mezini},
  year = {2015},
  doi = {10.1145/2814228.2814239},
  url = {http://doi.acm.org/10.1145/2814228.2814239},
  researchr = {https://researchr.org/publication/GreweEWM15},
  cites = {0},
  citedby = {0},
  pages = {137-150},
  booktitle = {2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  editor = {Gail C. Murphy and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-4503-3688-8},
}

@phdthesis{Erdweg2013.thesis,
  title = {Extensible Languages for Flexible and Principled Domain Abstraction},
  author = {Sebastian Erdweg},
  year = {2013},
  month = {March},
  researchr = {https://researchr.org/publication/Erdweg2013.thesis},
  cites = {0},
  citedby = {0},
  school = {Philipps-Universität Marburg},
}

@inproceedings{BracevacESM16,
  title = {CPL: a core language for cloud computing},
  author = {Oliver Bracevac and Sebastian Erdweg and Guido Salvaneschi and Mira Mezini},
  year = {2016},
  doi = {10.1145/2889443.2889452},
  url = {http://doi.acm.org/10.1145/2889443.2889452},
  researchr = {https://researchr.org/publication/BracevacESM16},
  cites = {0},
  citedby = {0},
  pages = {94-105},
  booktitle = {Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016},
  editor = {Lidia Fuentes and Don S. Batory and Krzysztof Czarnecki},
  publisher = {ACM},
  isbn = {978-1-4503-3995-7},
}

@article{ErdwegSVTBCGH0L15,
  title = {Evaluating and comparing language workbenches: Existing results and benchmarks for the future},
  author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and Laurence Tratt and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning},
  year = {2015},
  doi = {10.1016/j.cl.2015.08.007},
  url = {http://dx.doi.org/10.1016/j.cl.2015.08.007},
  researchr = {https://researchr.org/publication/ErdwegSVTBCGH0L15},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {44},
  pages = {24-47},
}

@inproceedings{FehrenbachEO13,
  title = {Software Evolution to Domain-Specific Languages},
  author = {Stefan Fehrenbach and Sebastian Erdweg and Klaus Ostermann},
  year = {2013},
  doi = {10.1007/978-3-319-02654-1_6},
  url = {http://dx.doi.org/10.1007/978-3-319-02654-1_6},
  researchr = {https://researchr.org/publication/FehrenbachEO13},
  cites = {0},
  citedby = {0},
  pages = {96-116},
  booktitle = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  volume = {8225},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-02653-4},
}

@inproceedings{KuciEM15,
  title = {Toward incremental type checking for Java},
  author = { Edlira Kuci and Sebastian Erdweg and Mira Mezini},
  year = {2015},
  doi = {10.1145/2814189.2817272},
  url = {http://doi.acm.org/10.1145/2814189.2817272},
  researchr = {https://researchr.org/publication/KuciEM15},
  cites = {0},
  citedby = {0},
  pages = {46-47},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-3722-9},
}

@inproceedings{PacakE19,
  title = {Generating incremental type services},
  author = {André Pacak and Sebastian Erdweg},
  year = {2019},
  doi = {10.1145/3357766.3359534},
  url = {https://doi.org/10.1145/3357766.3359534},
  researchr = {https://researchr.org/publication/PacakE19},
  cites = {0},
  citedby = {0},
  pages = {197-201},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019},
  editor = {Oscar Nierstrasz and Jeff Gray and Bruno C. D. S. Oliveira},
  publisher = {ACM},
  isbn = {978-1-4503-6981-7},
}

@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{ErdwegSD15,
  title = {Capture-Avoiding Program Transformations with name-fix},
  author = {Sebastian Erdweg and Tijs van der Storm and Yi Dai},
  year = {2015},
  researchr = {https://researchr.org/publication/ErdwegSD15},
  cites = {0},
  citedby = {0},
  pages = {93-94},
  booktitle = {Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany},
  editor = {Uwe Aßmann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser},
  volume = {239},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-633-6},
}

@inproceedings{WeielMEEM14,
  title = {Towards virtual traits in Scala},
  author = {Manuel Weiel and Ingo Maier and Sebastian Erdweg and Michael Eichberg and Mira Mezini},
  year = {2014},
  doi = {10.1145/2637647.2637654},
  url = {http://doi.acm.org/10.1145/2637647.2637654},
  researchr = {https://researchr.org/publication/WeielMEEM14},
  cites = {0},
  citedby = {0},
  pages = {67-75},
  booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014},
  editor = {Philipp Haller and Heather Miller},
  publisher = {ACM},
  isbn = {978-1-4503-2868-5},
}

@inproceedings{GreweEM15,
  title = {Using Vampire in Soundness Proofs of Type Systems},
  author = {Sylvia Grewe and Sebastian Erdweg and Mira Mezini},
  year = {2015},
  url = {http://www.easychair.org/publications/paper/Using_Vampire_in_Soundness_Proofs_of_Type_Systems},
  researchr = {https://researchr.org/publication/GreweEM15},
  cites = {0},
  citedby = {0},
  pages = {33-51},
  booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015},
  editor = {Laura Kovács and Andrei Voronkov},
  volume = {38},
  series = {EPiC Series in Computing},
  publisher = {EasyChair},
}

@inproceedings{SzaboKBME18,
  title = {Incremental overload resolution in object-oriented programming languages},
  author = {Tamás Szabó and  Edlira Kuci and Matthijs Bijman and Mira Mezini and Sebastian Erdweg},
  year = {2018},
  doi = {10.1145/3236454.3236485},
  url = {https://doi.org/10.1145/3236454.3236485},
  researchr = {https://researchr.org/publication/SzaboKBME18},
  cites = {0},
  citedby = {0},
  pages = {27-33},
  booktitle = {Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018},
  editor = {Julian Dolby and William G. J. Halfond and Ashish Mishra},
  publisher = {ACM},
  isbn = {978-1-4503-5939-9},
}

@inproceedings{ArztNABEM15,
  title = {Towards secure integration of cryptographic software},
  author = { Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini},
  year = {2015},
  doi = {10.1145/2814228.2814229},
  url = {http://doi.acm.org/10.1145/2814228.2814229},
  researchr = {https://researchr.org/publication/ArztNABEM15},
  cites = {0},
  citedby = {0},
  pages = {1-13},
  booktitle = {2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  editor = {Gail C. Murphy and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-4503-3688-8},
}

@article{ErdwegEPV15,
  title = {Domain-Specific Languages (Dagstuhl Seminar 15062)},
  author = {Sebastian Erdweg and Martin Erwig and Richard F. Paige and Eelco Visser},
  year = {2015},
  doi = {10.4230/DagRep.5.2.26},
  url = {http://dx.doi.org/10.4230/DagRep.5.2.26},
  researchr = {https://researchr.org/publication/ErdwegEPV15},
  cites = {0},
  citedby = {0},
  journal = {Dagstuhl Reports},
  volume = {5},
  number = {2},
  pages = {26-43},
}

@inproceedings{KonatEV18,
  title = {Scalable incremental building with dynamic task dependencies},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.1145/3238147.3238196},
  url = {https://doi.org/10.1145/3238147.3238196},
  researchr = {https://researchr.org/publication/KonatEV18},
  cites = {0},
  citedby = {0},
  pages = {76-86},
  booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering},
  editor = {Marianne Huchard and Christian Kästner and Gordon Fraser},
  publisher = {ACM},
}

@inproceedings{AlyCEM13,
  title = {XPoints: Extension Interfaces for Multilayered Applications},
  author = {Mohamed Aly and Anis Charfi and Sebastian Erdweg and Mira Mezini},
  year = {2013},
  doi = {10.1109/EDOC.2013.34},
  url = {http://dx.doi.org/10.1109/EDOC.2013.34},
  researchr = {https://researchr.org/publication/AlyCEM13},
  cites = {0},
  citedby = {0},
  pages = {237-246},
  booktitle = {17th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2013, Vancouver, BC, Canada, September 9-13, 2013},
  publisher = {IEEE},
}

@inproceedings{SzaboAVE16,
  title = {An extensible framework for variable-precision data-flow analyses in MPS},
  author = {Tamás Szabó and Simon Alperovich and Markus Völter and Sebastian Erdweg},
  year = {2016},
  doi = {10.1145/2970276.2970296},
  url = {http://doi.acm.org/10.1145/2970276.2970296},
  researchr = {https://researchr.org/publication/SzaboAVE16},
  cites = {0},
  citedby = {0},
  pages = {870-875},
  booktitle = {Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering},
  editor = {David Lo and Sven Apel and Sarfraz Khurshid},
  publisher = {ACM},
  isbn = {978-1-4503-3845-5},
}

@inproceedings{ThumKES11,
  title = {Abstract Features in Feature Modeling},
  author = {Thomas Thüm and Christian Kästner and Sebastian Erdweg and Norbert Siegmund},
  year = {2011},
  doi = {10.1109/SPLC.2011.53},
  url = {http://dx.doi.org/10.1109/SPLC.2011.53},
  researchr = {https://researchr.org/publication/ThumKES11},
  cites = {0},
  citedby = {0},
  pages = {191-200},
  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},
}

@inproceedings{LorenzenE16,
  title = {Sound type-dependent syntactic language extension},
  author = {Florian Lorenzen and Sebastian Erdweg},
  year = {2016},
  doi = {10.1145/2837614.2837644},
  url = {http://doi.acm.org/10.1145/2837614.2837644},
  researchr = {https://researchr.org/publication/LorenzenE16},
  cites = {0},
  citedby = {0},
  pages = {204-216},
  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{AmorimEWV16,
  title = {Principled syntactic code completion using placeholders},
  author = {Luis Eduardo de Souza Amorim and Sebastian Erdweg and Guido Wachsmuth and Eelco Visser},
  year = {2016},
  doi = {10.1145/2997364.2997374},
  url = {http://dx.doi.org/10.1145/2997364.2997374},
  researchr = {https://researchr.org/publication/AmorimEWV16},
  cites = {0},
  citedby = {0},
  pages = {163-175},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Tijs van der Storm and Emilie Balland and Dániel Varró},
  publisher = {ACM},
  isbn = {978-1-4503-4447-0},
}

@article{BracevacASEEM18,
  title = {Versatile event correlation with algebraic effects},
  author = {Oliver Bracevac and  Nada Amin and Guido Salvaneschi and Sebastian Erdweg and Patrick Eugster and Mira Mezini},
  year = {2018},
  doi = {10.1145/3236762},
  url = {https://doi.org/10.1145/3236762},
  researchr = {https://researchr.org/publication/BracevacASEEM18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@inproceedings{ErdwegSV13,
  title = {The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge},
  author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and  Meinte Boersma and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning},
  year = {2013},
  doi = {10.1007/978-3-319-02654-1_11},
  url = {http://dx.doi.org/10.1007/978-3-319-02654-1_11},
  researchr = {https://researchr.org/publication/ErdwegSV13},
  cites = {0},
  citedby = {0},
  pages = {197-217},
  booktitle = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  volume = {8225},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-02653-4},
}

@inproceedings{ErdwegLW15,
  title = {A sound and optimal incremental build system with dynamic dependencies},
  author = {Sebastian Erdweg and Moritz Lichter and Manuel Weiel},
  year = {2015},
  doi = {10.1145/2814270.2814316},
  url = {http://doi.acm.org/10.1145/2814270.2814316},
  researchr = {https://researchr.org/publication/ErdwegLW15},
  cites = {0},
  citedby = {1},
  pages = {89-106},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-3689-5},
}

@inproceedings{ErdwegSD14,
  title = {Capture-Avoiding and Hygienic Program Transformations},
  author = {Sebastian Erdweg and Tijs van der Storm and Yi Dai},
  year = {2014},
  doi = {10.1007/978-3-662-44202-9_20},
  url = {http://dx.doi.org/10.1007/978-3-662-44202-9_20},
  researchr = {https://researchr.org/publication/ErdwegSD14},
  cites = {0},
  citedby = {0},
  pages = {489-514},
  booktitle = {ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
  editor = {Richard Jones},
  volume = {8586},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-44201-2},
}

@inproceedings{KastnerOE12,
  title = {A variability-aware module system},
  author = {Christian Kästner and Klaus Ostermann and Sebastian Erdweg},
  year = {2012},
  doi = {10.1145/2384616.2384673},
  url = {http://doi.acm.org/10.1145/2384616.2384673},
  researchr = {https://researchr.org/publication/KastnerOE12},
  cites = {0},
  citedby = {0},
  pages = {773-792},
  booktitle = {Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012},
  editor = {Gary T. Leavens and Matthew B. Dwyer},
  publisher = {ACM},
  isbn = {978-1-4503-1561-6},
}

@inproceedings{KeidelE20,
  title = {A Systematic Approach to Abstract Interpretation of Program Transformations},
  author = {Sven Keidel and Sebastian Erdweg},
  year = {2020},
  doi = {10.1007/978-3-030-39322-9_7},
  url = {https://doi.org/10.1007/978-3-030-39322-9_7},
  researchr = {https://researchr.org/publication/KeidelE20},
  cites = {0},
  citedby = {0},
  pages = {136-157},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings},
  editor = {Dirk Beyer 0001 and Damien Zufferey},
  volume = {11990},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-39322-9},
}

@inproceedings{ErdwegRKO11,
  title = {SugarJ: library-based syntactic language extensibility},
  author = {Sebastian Erdweg and Tillmann Rendel and Christian Kästner and Klaus Ostermann},
  year = {2011},
  doi = {10.1145/2048066.2048099},
  url = {http://doi.acm.org/10.1145/2048066.2048099},
  researchr = {https://researchr.org/publication/ErdwegRKO11},
  cites = {0},
  citedby = {0},
  pages = {391-406},
  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},
}

@techreport{preprint-KonatEV16-0,
  title = {Towards Live Language Development},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/preprint-KonatEV16-0},
  cites = {0},
  citedby = {0},
  type = {Preprint},
}

@inproceedings{KastnerREPARO12,
  title = {Toward variability-aware testing},
  author = {Christian Kästner and  Alexander von Rhein and Sebastian Erdweg and Jonas Pusch and Sven Apel and Tillmann Rendel and Klaus Ostermann},
  year = {2012},
  doi = {10.1145/2377816.2377817},
  url = {http://doi.acm.org/10.1145/2377816.2377817},
  researchr = {https://researchr.org/publication/KastnerREPARO12},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012},
  editor = {Ina Schaefer and Thomas Thüm},
  publisher = {ACM},
  isbn = {978-1-4503-1309-4},
}

@inproceedings{ErdwegRKO12,
  title = {Layout-Sensitive Generalized Parsing},
  author = {Sebastian Erdweg and Tillmann Rendel and Christian Kästner and Klaus Ostermann},
  year = {2012},
  doi = {10.1007/978-3-642-36089-3_14},
  url = {http://dx.doi.org/10.1007/978-3-642-36089-3_14},
  researchr = {https://researchr.org/publication/ErdwegRKO12},
  cites = {0},
  citedby = {0},
  pages = {244-263},
  booktitle = {Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
  editor = {Krzysztof Czarnecki and Görel Hedin},
  volume = {7745},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36089-3},
}

@inproceedings{RitschelE15,
  title = {Modular capture avoidance for program transformations},
  author = {Nico Ritschel and Sebastian Erdweg},
  year = {2015},
  doi = {10.1145/2814251.2814260},
  url = {http://doi.acm.org/10.1145/2814251.2814260},
  researchr = {https://researchr.org/publication/RitschelE15},
  cites = {0},
  citedby = {0},
  pages = {59-70},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015},
  editor = {Richard F. Paige and Davide Di Ruscio and Markus Völter},
  publisher = {ACM},
  isbn = {978-1-4503-3686-4},
}

@inproceedings{LorenzenE13,
  title = {Modular and automated type-soundness verification for language extensions},
  author = {Florian Lorenzen and Sebastian Erdweg},
  year = {2013},
  doi = {10.1145/2500365.2500596},
  url = {http://doi.acm.org/10.1145/2500365.2500596},
  researchr = {https://researchr.org/publication/LorenzenE13},
  cites = {0},
  citedby = {0},
  pages = {331-342},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013},
  editor = {Greg Morrisett and Tarmo Uustalu},
  publisher = {ACM},
  isbn = {978-1-4503-2326-0},
}

@inproceedings{KonatEV16-LIVE,
  title = {Towards Live Language Development},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/KonatEV16-LIVE},
  cites = {0},
  citedby = {0},
  booktitle = {Workshop on Live Programming Systems (LIVE)},
}

@inproceedings{MitschkeEKMS14,
  title = {i3QL: language-integrated live data views},
  author = {Ralf Mitschke and Sebastian Erdweg and Mirko Köhler and Mira Mezini and Guido Salvaneschi},
  year = {2014},
  doi = {10.1145/2660193.2660242},
  url = {http://doi.acm.org/10.1145/2660193.2660242},
  researchr = {https://researchr.org/publication/MitschkeEKMS14},
  cites = {0},
  citedby = {0},
  pages = {417-432},
  booktitle = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014},
  editor = {Andrew P. Black and Todd D. Millstein},
  publisher = {ACM},
  isbn = {978-1-4503-2585-1},
}

@inproceedings{ErdwegKRKOV11-extensibility,
  title = {SugarJ: library-based language extensibility},
  author = {Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian Kästner and Klaus Ostermann and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048147.2048199},
  url = {http://doi.acm.org/10.1145/2048147.2048199},
  tags = {rule-based, C++, extensible language},
  researchr = {https://researchr.org/publication/ErdwegKRKOV11-extensibility},
  cites = {0},
  citedby = {0},
  pages = {187-188},
  booktitle = {Companion to 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},
  publisher = {ACM},
  isbn = {978-1-4503-0942-4},
}
@proceedings{icfp-2015wgp,
  title = {Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
  year = {2015},
  doi = {10.1145/2808098},
  url = {http://doi.acm.org/10.1145/2808098},
  researchr = {https://researchr.org/publication/icfp-2015wgp},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
  conference = {ICFP},
  editor = {Patrick Bahr and Sebastian Erdweg},
  publisher = {ACM},
  isbn = {978-1-4503-3810-3},
}

@proceedings{gpce-2017,
  title = {Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3136040},
  researchr = {https://researchr.org/publication/gpce-2017},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  conference = {GPCE},
  editor = {Matthew Flatt and Sebastian Erdweg},
  publisher = {ACM},
  isbn = {978-1-4503-5524-7},
}

@proceedings{scala-2018,
  title = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  year = {2018},
  doi = {10.1145/3241653},
  url = {https://doi.org/10.1145/3241653},
  researchr = {https://researchr.org/publication/scala-2018},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  conference = {SCALA},
  editor = {Sebastian Erdweg and Bruno C. D. S. Oliveira},
  publisher = {ACM},
}