Sebastian Erdweg

94 papers A* 6A 13B 21C 3Journal 28Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Live Feedback through Incremental Program Analysis.
J. Object Technol.
Sebastian Erdweg
2026 J jnl
Stateful Differential Operators for Incremental Computing.
Proc. ACM Program. Lang.
Runqing Xu, Sebastian Erdweg
2025 J jnl
Incremental Computing by Differential Execution (Artifact).
Dagstuhl Artifacts Ser.
Prashant Kumar, André Pacak, Sebastian Erdweg
2025 A conf
Incremental Computing by Differential Execution.
ECOOP
Prashant Kumar, André Pacak, Sebastian Erdweg
2025 A conf
Mono Types - First-Class Containers for Datalog.
ECOOP
Runqing Xu, David Klopp, Sebastian Erdweg
2025 B ed.
Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2025, Bergen, Norway, July 3-4, 2025
GPCE
Amir Shaikhha, Sebastian Erdweg, Nada Amin
2025 B conf
Retrofitting a Virtual Instrument DSL with Programming Abstractions.
GPCE
Mathias Vatter, Sebastian Erdweg
2024 J jnl
A Typed Multi-level Datalog IR and Its Compiler Framework.
Proc. ACM Program. Lang.
David Klopp, Sebastian Erdweg, André Pacak
2024 — conf
AUTOINC: Incrementality for Free.
SPLASH Companion
André Pacak, Prashant Kumar, Runqing Xu, Sebastian Erdweg
2024 — conf
Abstract Interpretation of Java Bytecode in Sturdy.
FTfJP@ECOOP
Stefan Marx, Sebastian Erdweg
2024 J jnl
Object-Oriented Fixpoint Programming with Datalog.
Proc. ACM Program. Lang.
David Klopp, Sebastian Erdweg, André Pacak
2024 B conf
Separate Compilation and Partial Linking: Modules for Datalog IR.
GPCE
David Klopp, André Pacak, Sebastian Erdweg
2023 J jnl
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.
Proc. ACM Program. Lang.
Sven Keidel, Sebastian Erdweg, Tobias Hombücher
2023 J jnl
Interactive Debugging of Datalog Programs.
Proc. ACM Program. Lang.
André Pacak, Sebastian Erdweg
2023 A conf
Modular Abstract Definitional Interpreters for WebAssembly.
ECOOP
Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen
2023 — conf
On Solving Solved Problems.
Eelco Visser Commemorative Symposium
Sebastian Erdweg
2022 A conf
Functional Programming with Datalog.
ECOOP
André Pacak, Sebastian Erdweg
2022 B conf
Incremental Processing of Structured Data in Datalog.
GPCE
André Pacak, Tamás Szabó, Sebastian Erdweg
2021 A* conf
Concise, type-safe, and efficient structural diffing.
PLDI
Sebastian Erdweg, Tamás Szabó, André Pacak
2021 A* conf
Incremental whole-program analysis in Datalog with lattices.
PLDI
Tamás Szabó, Sebastian Erdweg, Gábor Bergmann
2021 J jnl
Persistent software transactional memory in Haskell.
Proc. ACM Program. Lang.
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, André Brinkmann
2020 B conf
A Systematic Approach to Abstract Interpretation of Program Transformations.
VMCAI
Sven Keidel, Sebastian Erdweg
2020 J jnl
A systematic approach to deriving incremental type checkers.
Proc. ACM Program. Lang.
André Pacak, Sebastian Erdweg, Tamás Szabó
2019 B conf
Generating incremental type services.
SLE
André Pacak, Sebastian Erdweg
2019 J jnl
Language-integrated privacy-aware distributed queries.
Proc. ACM Program. Lang.
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
2019 J jnl
Sound and reusable components for abstract interpretation.
Proc. ACM Program. Lang.
Sven Keidel, Sebastian Erdweg
2019 J jnl
Type-safe, Polyvariadic Event Correlation.
CoRR
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
2018 J jnl
Compositional soundness proofs of abstract interpreters.
Proc. ACM Program. Lang.
Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg
2018 B conf
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages.
SLE
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
2018 J jnl
Exploration of language specifications by compilation to first-order logic.
Sci. Comput. Program.
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
2018 — conf
Incremental overload resolution in object-oriented programming languages.
ISSTA/ECOOP Workshops
Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg
2018 J jnl
Incrementalizing lattice-based program analyses in Datalog.
Proc. ACM Program. Lang.
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter
2018 J jnl
PIE: A Domain-Specific Language for Interactive Software Development Pipelines.
CoRR
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
2018 J jnl
PIE: A Domain-Specific Language for Interactive Software Development Pipelines.
Art Sci. Eng. Program.
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
2018 — ed.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018
SCALA@ICFP
Sebastian Erdweg, Bruno C. d. S. Oliveira
2018 A* conf
Scalable incremental building with dynamic task dependencies.
ASE
Gabriël Konat, Sebastian Erdweg, Eelco Visser
2018 C conf
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
PPDP
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
2018 J jnl
Versatile event correlation with algebraic effects.
Proc. ACM Program. Lang.
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
2017 J jnl
A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
CoRR
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2017 A conf
A Co-contextual Type Checker for Featherweight Java .
ECOOP
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2017 J jnl
A Module-System Discipline for Model-Driven Software Development.
CoRR
Sebastian Erdweg, Klaus Ostermann
2017 J jnl
A Module-System Discipline for Model-Driven Software Development.
Art Sci. Eng. Program.
Sebastian Erdweg, Klaus Ostermann
2017 B ed.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017
GPCE
Matthew Flatt, Sebastian Erdweg
2017 — conf
Toward abstract interpretation of program transformations.
META@SPLASH
Sven Keidel, Sebastian Erdweg
2016 A* conf
An extensible framework for variable-precision data-flow analyses in MPS.
ASE
Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg
2016 — conf
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
Vampire@IJCAR
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
2016 B conf
Bootstrapping domain-specific meta-languages in language workbenches.
GPCE
Gabriël Konat, Sebastian Erdweg, Eelco Visser
2016 J jnl
CPL: A Core Language for Cloud Computing - Technical Report.
CoRR
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016 — conf
CPL: a core language for cloud computing.
MODULARITY
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016 B conf
Efficient development of consistent projectional editors using grammar cells.
SLE
Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger
2016 C conf
Exploration of language specifications by compilation to first-order logic.
PPDP
Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini
2016 A* conf
IncA: a DSL for the definition of incremental program analyses.
ASE
Tamás Szabó, Sebastian Erdweg, Markus Voelter
2016 B conf
Principled syntactic code completion using placeholders.
SLE
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser
2016 J jnl
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).
Dagstuhl Reports
Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi
2016 A* conf
Sound type-dependent syntactic language extension.
POPL
Florian Lorenzen, Sebastian Erdweg
2016 B conf
The IDE portability problem and its solution in Monto.
SLE
Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg
2015 A conf
A co-contextual formulation of type rules and its application to incremental type checking.
OOPSLA
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
2015 A conf
A sound and optimal incremental build system with dynamic dependencies.
OOPSLA
Sebastian Erdweg, Moritz Lichter, Manuel Weiel
2015 — conf
Capture-Avoiding Program Transformations with name-fix.
Software Engineering & Management
Sebastian Erdweg, Tijs van der Storm, Yi Dai
2015 J jnl
Domain-Specific Languages (Dagstuhl Seminar 15062).
Dagstuhl Reports
Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser
2015 J jnl
Evaluating and comparing language workbenches: Existing results and benchmarks for the future.
Comput. Lang. Syst. Struct.
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
2015 B conf
Modular capture avoidance for program transformations.
SLE
Nico Ritschel, Sebastian Erdweg
2015 — ed.
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015
WGP@ICFP
Patrick Bahr, Sebastian Erdweg
2015 J jnl
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).
CoRR
Tijs van der Storm, Sebastian Erdweg
2015 — conf
Toward incremental type checking for Java.
SPLASH (Companion Volume)
Edlira Kuci, Sebastian Erdweg, Mira Mezini
2015 — conf
Towards secure integration of cryptographic software.
Onward!
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
2015 — conf
Type systems for the masses: deriving soundness proofs and efficient checkers.
Onward!
Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini
2015 — conf
Using Vampire in Soundness Proofs of Type Systems.
Vampire Workshop
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
2014 J jnl
Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).
CoRR
Sebastian Erdweg, Tijs van der Storm, Yi Dai
2014 A conf
Capture-Avoiding and Hygienic Program Transformations.
ECOOP
Sebastian Erdweg, Tijs van der Storm, Yi Dai
2014 — conf
DSLDI 2014: second workshop on domain specific languages design and implementation.
SPLASH (Companion Volume)
Sebastian Erdweg, Adam Welc
2014 J jnl
Evolution of Software Systems with Extensible Languages and DSLs.
IEEE Softw.
Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann
2014 — conf
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
MODULARITY (Companion)
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
2014 — conf
Modular specification and dynamic enforcement of syntactic language constraints when generating code.
MODULARITY
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
2014 — conf
Towards virtual traits in Scala.
SCALA@ECOOP
Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini
2014 — conf
Tracing Program Transformations with String Origins.
ICMT
Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg
2014 A conf
i3QL: language-integrated live data views.
OOPSLA
Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
2013 B conf
A framework for extensible languages.
GPCE
Sebastian Erdweg, Felix Rieger
2013 A conf
Modular and automated type-soundness verification for language extensions.
ICFP
Florian Lorenzen, Sebastian Erdweg
2013 B conf
Software Evolution to Domain-Specific Languages.
SLE
Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann
2013 B conf
Template constructors for reusable object initialization.
GPCE
Marko Martin, Mira Mezini, Sebastian Erdweg
2013 B conf
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.
SLE
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
2013 B conf
XPoints: Extension Interfaces for Multilayered Applications.
EDOC
Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini
2012 A conf
A variability-aware module system.
OOPSLA
Christian Kästner, Klaus Ostermann, Sebastian Erdweg
2012 — conf
Language composition untangled.
LDTA
Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel
2012 B conf
Layout-Sensitive Generalized Parsing.
SLE
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
2012 C conf
Layout-sensitive language extensibility with SugarHaskell.
Haskell
Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
2012 — conf
Toward variability-aware testing.
FOSD
Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann
2011 B conf
Abstract Features in Feature Modeling.
SPLC
Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund
2011 B conf
Growing a language environment with editor libraries.
GPCE
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
2011 — conf
Library-based model-driven software development with SugarJ.
OOPSLA Companion
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
2011 — conf
SugarJ: library-based language extensibility.
OOPSLA Companion
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
2011 A conf
SugarJ: library-based syntactic language extensibility.
OOPSLA
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
2011 A conf
Variability-aware parsing in the presence of lexical macros and conditional compilation.
OOPSLA
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger