@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 = {PACMPL}, 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 = {AOSD}, } @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 = {GPCE}, } @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 = {GPCE}, } @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 = {OOPSLA}, } @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 = {ASE}, } @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}, 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}, 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 = {AOSD}, } @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 = {ECOOP}, } @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}, 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 = {PACMPL}, 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 = {OOPSLA}, } @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 = {GPCE}, } @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 = {cade}, } @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 = {ppdp}, } @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 = {SLE}, } @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 = {OOPSLA}, } @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 = {SLE}, } @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 = {SCP}, 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 = {OOPSLA}, } @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 = {SLE}, } @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 = {ppdp}, } @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 = {OOPSLA}, } @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 = {PACMPL}, 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 = {haskell}, } @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 = {ICMT}, } @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 = {GPCE}, } @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 = {PACMPL}, 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 = {OOPSLA}, } @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 = {AOSD}, } @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 = {Comp. Lang., Syst. \& Struct.}, 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 = {SLE}, } @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 = {OOPSLA}, } @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 = {SLE}, } @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 = {LDTA}, } @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 = {se}, } @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 = {ECOOP}, } @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 = {cade}, } @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 = {ISSTA}, } @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 = {OOPSLA}, } @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 = {ASE}, } @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 = {edoc}, } @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 = {ASE}, } @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 = {SPLC}, } @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 = {POPL}, } @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 = {SLE}, } @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 = {PACMPL}, 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 = {SLE}, } @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 = {OOPSLA}, } @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}, } @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 = {OOPSLA}, } @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 = {vmcai}, } @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 = {OOPSLA}, } @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 = {GPCE}, } @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 = {SLE}, } @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 = {SLE}, } @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 = {ICFP}, } @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 = {OOPSLA}, } @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}, } @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}, }