Featherweight TeX and Parser Correctness. - Sebastian Thore Erdweg; Klaus Ostermann (SLE, 2010)

Growing a language environment with editor libraries. - Sebastian Erdweg; Lennart C. L. Kats; Tillmann Rendel; Christian Kästner; Klaus Ostermann; Eelco Visser (GPCE, 2011)

Library-based model-driven software development with SugarJ. - Sebastian Erdweg; Lennart C. L. Kats; Tillmann Rendel; Christian Kästner; Klaus Ostermann; Eelco Visser (OOPSLA Companion, 2011)

SugarJ: library-based language extensibility. - Sebastian Erdweg; Lennart C. L. Kats; Tillmann Rendel; Christian Kästner; Klaus Ostermann; Eelco Visser (OOPSLA Companion, 2011)

SugarJ: library-based syntactic language extensibility. - Sebastian Erdweg; Tillmann Rendel; Christian Kästner; Klaus Ostermann (OOPSLA, 2011)

Variability-aware parsing in the presence of lexical macros and conditional compilation. - Christian Kästner; Paolo G. Giarrusso; Tillmann Rendel; Sebastian Erdweg; Klaus Ostermann; Thorsten Berger (OOPSLA, 2011)

Abstract Features in Feature Modeling. - Thomas Thüm; Christian Kästner; Sebastian Erdweg; Norbert Siegmund (SPLC, 2011)

Toward variability-aware testing. - Christian Kästner; Alexander von Rhein; Sebastian Erdweg; Jonas Pusch; Sven Apel; Tillmann Rendel; Klaus Ostermann (FOSD, 2012)

Layout-sensitive language extensibility with SugarHaskell. - Sebastian Erdweg; Felix Rieger; Tillmann Rendel; Klaus Ostermann (Haskell, 2012)

Language composition untangled. - Sebastian Erdweg; Paolo G. Giarrusso; Tillmann Rendel (LDTA, 2012)

A variability-aware module system. - Christian Kästner; Klaus Ostermann; Sebastian Erdweg (OOPSLA, 2012)

Layout-Sensitive Generalized Parsing. - Sebastian Erdweg; Tillmann Rendel; Christian Kästner; Klaus Ostermann (SLE, 2012)

XPoints: Extension Interfaces for Multilayered Applications. - Mohamed Aly; Anis Charfi; Sebastian Erdweg; Mira Mezini (EDOC, 2013)

A framework for extensible languages. - Sebastian Erdweg; Felix Rieger (GPCE, 2013)

Template constructors for reusable object initialization. - Marko Martin; Mira Mezini; Sebastian Erdweg (GPCE, 2013)

Modular and automated type-soundness verification for language extensions. - Florian Lorenzen; Sebastian Erdweg (ICFP, 2013)

The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. - Sebastian Erdweg; Tijs van der Storm; Markus Völter; Meinte Boersma; Remi Bosman; William R. Cook; Albert Gerritsen; Angelo Hulshout; Steven Kelly 001; Alex Loh; Gabriël D. P. Konat; Pedro J. Molina; et al. (SLE, 2013)

Software Evolution to Domain-Specific Languages. - Stefan Fehrenbach; Sebastian Erdweg; Klaus Ostermann (SLE, 2013)

Extensible languages for flexible and principled domain abstraction. - Sebastian Thore Erdweg (2013)

Finding bugs in program generators by dynamic analysis of syntactic language constraints. - Sebastian Erdweg; Vlad A. Vergu; Mira Mezini; Eelco Visser (MODULARITY (Companion), 2014)

Modular specification and dynamic enforcement of syntactic language constraints when generating code. - Sebastian Erdweg; Vlad A. Vergu; Mira Mezini; Eelco Visser (MODULARITY, 2014)

Capture-Avoiding and Hygienic Program Transformations. - Sebastian Erdweg; Tijs van der Storm; Yi Dai (ECOOP, 2014)

Towards virtual traits in Scala. - Manuel Weiel; Ingo Maier; Sebastian Erdweg; Michael Eichberg; Mira Mezini (SCALA@ECOOP, 2014)

Tracing Program Transformations with String Origins. - Pablo Inostroza; Tijs van der Storm; Sebastian Erdweg (ICMT, 2014)

DSLDI 2014: second workshop on domain specific languages design and implementation. - Sebastian Erdweg; Adam Welc (SPLASH (Companion Volume), 2014)

i3QL: language-integrated live data views. - Ralf Mitschke; Sebastian Erdweg; Mirko Köhler 001; Mira Mezini; Guido Salvaneschi (OOPSLA, 2014)

Capture-Avoiding and Hygienic Program Transformations (incl. Proofs). - Sebastian Erdweg; Tijs van der Storm; Yi Dai (CoRR, 2014)

Evolution of Software Systems with Extensible Languages and DSLs. - Sebastian Erdweg; Stefan Fehrenbach; Klaus Ostermann (IEEE Softw., 2014)

Using Vampire in Soundness Proofs of Type Systems. - Sylvia Grewe; Sebastian Erdweg; Mira Mezini (Vampire Workshop, 2015)

Towards secure integration of cryptographic software. - Steven Arzt; Sarah Nadi; Karim Ali 001; Eric Bodden; Sebastian Erdweg; Mira Mezini (Onward!, 2015)

A co-contextual formulation of type rules and its application to incremental type checking. - Sebastian Erdweg; Oliver Bracevac; Edlira Kuci; Matthias Krebs; Mira Mezini (OOPSLA, 2015)

A sound and optimal incremental build system with dynamic dependencies. - Sebastian Erdweg; Moritz Lichter; Manuel Weiel (OOPSLA, 2015)

Type systems for the masses: deriving soundness proofs and efficient checkers. - Sylvia Grewe; Sebastian Erdweg; Pascal Wittmann; Mira Mezini (Onward!, 2015)

Toward incremental type checking for Java. - Edlira Kuci; Sebastian Erdweg; Mira Mezini (SPLASH (Companion Volume), 2015)

Capture-Avoiding Program Transformations with name-fix. - Sebastian Erdweg; Tijs van der Storm; Yi Dai (Software Engineering & Management, 2015)

Modular capture avoidance for program transformations. - Nico Ritschel; Sebastian Erdweg (SLE, 2015)

Evaluating and comparing language workbenches: Existing results and benchmarks for the future. - Sebastian Erdweg; Tijs van der Storm; Markus Völter; Laurence Tratt; Remi Bosman; William R. Cook; Albert Gerritsen; Angelo Hulshout; Steven Kelly 001; Alex Loh; Gabriël D. P. Konat; Pedro J. Molina; et al. (Comput. Lang. Syst. Struct., 2015)

Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015). - Tijs van der Storm; Sebastian Erdweg (CoRR, 2015)

Domain-Specific Languages (Dagstuhl Seminar 15062). - Sebastian Erdweg; Martin Erwig; Richard F. Paige; Eelco Visser (Dagstuhl Reports, 2015)

CPL: a core language for cloud computing. - Oliver Bracevac; Sebastian Erdweg; Guido Salvaneschi; Mira Mezini (MODULARITY, 2016)

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. - Sylvia Grewe; Sebastian Erdweg; Mira Mezini (Vampire@IJCAR, 2016)

Bootstrapping domain-specific meta-languages in language workbenches. - Gabriël Konat; Sebastian Erdweg; Eelco Visser (GPCE, 2016)

An extensible framework for variable-precision data-flow analyses in MPS. - Tamás Szabó; Simon Alperovich; Markus Voelter; Sebastian Erdweg (ASE, 2016)

IncA: a DSL for the definition of incremental program analyses. - Tamás Szabó; Sebastian Erdweg; Markus Voelter (ASE, 2016)

Sound type-dependent syntactic language extension. - Florian Lorenzen; Sebastian Erdweg (POPL, 2016)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; Michael Raulf; Mira Mezini (PPDP, 2016)

Principled syntactic code completion using placeholders. - Luís Eduardo de Souza Amorim; Sebastian Erdweg; Guido Wachsmuth; Eelco Visser (SLE, 2016)

The IDE portability problem and its solution in Monto. - Sven Keidel; Wulf Pfeiffer; Sebastian Erdweg (SLE, 2016)

Efficient development of consistent projectional editors using grammar cells. - Markus Voelter; Tamás Szabó; Sascha Lisson; Bernd Kolb; Sebastian Erdweg; Thorsten Berger (SLE, 2016)

CPL: A Core Language for Cloud Computing - Technical Report. - Oliver Bracevac; Sebastian Erdweg; Guido Salvaneschi; Mira Mezini (CoRR, 2016)

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). - Camil Demetrescu; Sebastian Erdweg; Matthew A. Hammer; Shriram Krishnamurthi (Dagstuhl Reports, 2016)

A Co-contextual Type Checker for Featherweight Java . - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (ECOOP, 2017)

Toward abstract interpretation of program transformations. - Sven Keidel; Sebastian Erdweg (META@SPLASH, 2017)

A Co-contextual Type Checker for Featherweight Java (incl. Proofs). - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (CoRR, 2017)

A Module-System Discipline for Model-Driven Software Development. - Sebastian Erdweg; Klaus Ostermann (Art Sci. Eng. Program., 2017)

Incremental overload resolution in object-oriented programming languages. - Tamás Szabó; Edlira Kuci; Matthijs Bijman; Mira Mezini; Sebastian Erdweg (ISSTA/ECOOP Workshops, 2018)

Scalable incremental building with dynamic task dependencies. - Gabriël Konat; Sebastian Erdweg; Eelco Visser (ASE, 2018)

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Mira Mezini (PPDP, 2018)

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. - Luís Eduardo de Souza Amorim; Michael J. Steindorfer; Sebastian Erdweg; Eelco Visser (SLE, 2018)

Versatile event correlation with algebraic effects. - Oliver Bracevac; Nada Amin; Guido Salvaneschi; Sebastian Erdweg; Patrick Eugster; Mira Mezini (Proc. ACM Program. Lang., 2018)

Compositional soundness proofs of abstract interpreters. - Sven Keidel; Casper Bach Poulsen; Sebastian Erdweg (Proc. ACM Program. Lang., 2018)

Incrementalizing lattice-based program analyses in Datalog. - Tamás Szabó; Gábor Bergmann; Sebastian Erdweg; Markus Voelter (Proc. ACM Program. Lang., 2018)

PIE: A Domain-Specific Language for Interactive Software Development Pipelines. - Gabriël Konat; Michael J. Steindorfer; Sebastian Erdweg; Eelco Visser (Art Sci. Eng. Program., 2018)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Michael Raulf; Mira Mezini (Sci. Comput. Program., 2018)

Generating incremental type services. - André Pacak; Sebastian Erdweg (SLE, 2019)

Type-safe, Polyvariadic Event Correlation. - Oliver Bracevac; Guido Salvaneschi; Sebastian Erdweg; Mira Mezini (CoRR, 2019)

Sound and reusable components for abstract interpretation. - Sven Keidel; Sebastian Erdweg (Proc. ACM Program. Lang., 2019)

Language-integrated privacy-aware distributed queries. - Guido Salvaneschi; Mirko Köhler 001; Daniel Sokolowski; Philipp Haller; Sebastian Erdweg; Mira Mezini (Proc. ACM Program. Lang., 2019)

A Systematic Approach to Abstract Interpretation of Program Transformations. - Sven Keidel; Sebastian Erdweg (VMCAI, 2020)

A systematic approach to deriving incremental type checkers. - André Pacak; Sebastian Erdweg; Tamás Szabó (Proc. ACM Program. Lang., 2020)

Concise, type-safe, and efficient structural diffing. - Sebastian Erdweg; Tamás Szabó; André Pacak (PLDI, 2021)

Incremental whole-program analysis in Datalog with lattices. - Tamás Szabó; Sebastian Erdweg; Gábor Bergmann (PLDI, 2021)

Persistent software transactional memory in Haskell. - Nicolas Krauter; Patrick Raaf; Peter Braam; Reza Salkhordeh; Sebastian Erdweg; André Brinkmann (Proc. ACM Program. Lang., 2021)

Functional Programming with Datalog. - André Pacak; Sebastian Erdweg (ECOOP, 2022)

Incremental Processing of Structured Data in Datalog. - André Pacak; Tamás Szabó; Sebastian Erdweg (GPCE, 2022)

On Solving Solved Problems. - Sebastian Erdweg (Eelco Visser Commemorative Symposium, 2023)

Modular Abstract Definitional Interpreters for WebAssembly. - Katharina Brandl; Sebastian Erdweg; Sven Keidel; Nils Hansen (ECOOP, 2023)

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters. - Sven Keidel; Sebastian Erdweg; Tobias Hombücher (Proc. ACM Program. Lang., 2023)

Interactive Debugging of Datalog Programs. - André Pacak; Sebastian Erdweg (Proc. ACM Program. Lang., 2023)

Abstract Interpretation of Java Bytecode in Sturdy. - Stefan Marx; Sebastian Erdweg (FTfJP@ECOOP, 2024)

Separate Compilation and Partial Linking: Modules for Datalog IR. - David Klopp; André Pacak; Sebastian Erdweg (GPCE, 2024)

AUTOINC: Incrementality for Free. - André Pacak; Prashant Kumar; Runqing Xu; Sebastian Erdweg (SPLASH Companion, 2024)

Object-Oriented Fixpoint Programming with Datalog. - David Klopp; Sebastian Erdweg; André Pacak (Proc. ACM Program. Lang., 2024)

A Typed Multi-level Datalog IR and Its Compiler Framework. - David Klopp; Sebastian Erdweg; André Pacak (Proc. ACM Program. Lang., 2024)

Incremental Computing by Differential Execution. - Prashant Kumar; André Pacak; Sebastian Erdweg (ECOOP, 2025)

Mono Types - First-Class Containers for Datalog. - Runqing Xu; David Klopp; Sebastian Erdweg (ECOOP, 2025)

Retrofitting a Virtual Instrument DSL with Programming Abstractions. - Mathias Vatter; Sebastian Erdweg (GPCE, 2025)

Incremental Computing by Differential Execution (Artifact). - Prashant Kumar; André Pacak; Sebastian Erdweg (Dagstuhl Artifacts Ser., 2025)

Mono Types - First-Class Containers for Datalog. - Runqing Xu; David Klopp; Sebastian Erdweg (DROPS Artifacts, 2025)