Sebastian Erdweg

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 42

Top Topics

Abstract Interpretation

Top Venues

Proc. ACM Program. Lang.

Publications

André Pacak, Sebastian Erdweg
Interactive Debugging of Datalog Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Sven Keidel, Sebastian Erdweg, Tobias Hombücher
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen
Modular Abstract Definitional Interpreters for WebAssembly. ECOOP (2023)
Sebastian Erdweg
On Solving Solved Problems. Eelco Visser Commemorative Symposium (2023)
André Pacak, Sebastian Erdweg
Functional Programming with Datalog. ECOOP (2022)
André Pacak, Tamás Szabó, Sebastian Erdweg
Incremental Processing of Structured Data in Datalog. GPCE (2022)
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, André Brinkmann
Persistent software transactional memory in Haskell. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Sebastian Erdweg, Tamás Szabó, André Pacak
Concise, type-safe, and efficient structural diffing. PLDI (2021)
Tamás Szabó, Sebastian Erdweg, Gábor Bergmann
Incremental whole-program analysis in Datalog with lattices. PLDI (2021)
André Pacak, Sebastian Erdweg, Tamás Szabó
A systematic approach to deriving incremental type checkers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sven Keidel, Sebastian Erdweg
A Systematic Approach to Abstract Interpretation of Program Transformations. VMCAI (2020)
Sven Keidel, Sebastian Erdweg
Sound and reusable components for abstract interpretation. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
André Pacak, Sebastian Erdweg
Generating incremental type services. SLE (2019)
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
Type-safe, Polyvariadic Event Correlation. CoRR (2019)
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
PIE: A Domain-Specific Language for Interactive Software Development Pipelines. CoRR (2018)
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP (2018)
Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg
Incremental overload resolution in object-oriented programming languages. ISSTA/ECOOP Workshops (2018)
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155 (2018)
Gabriël Konat, Sebastian Erdweg, Eelco Visser
Scalable incremental building with dynamic task dependencies. ASE (2018)
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
PIE: A Domain-Specific Language for Interactive Software Development Pipelines. Art Sci. Eng. Program. 2 (3) (2018)
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. SLE (2018)
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter
Incrementalizing lattice-based program analyses in Datalog. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg
Compositional soundness proofs of abstract interpreters. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
A Co-contextual Type Checker for Featherweight Java (incl. Proofs). CoRR (2017)
Sven Keidel, Sebastian Erdweg
Toward abstract interpretation of program transformations. META@SPLASH (2017)
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
A Co-contextual Type Checker for Featherweight Java . ECOOP (2017)
Sebastian Erdweg, Klaus Ostermann
A Module-System Discipline for Model-Driven Software Development. CoRR (2017)
Sebastian Erdweg, Klaus Ostermann
A Module-System Discipline for Model-Driven Software Development. Art Sci. Eng. Program. 1 (2) (2017)
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
CPL: A Core Language for Cloud Computing - Technical Report. CoRR (2016)
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
CPL: a core language for cloud computing. MODULARITY (2016)
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser
Principled syntactic code completion using placeholders. SLE (2016)
Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg
The IDE portability problem and its solution in Monto. SLE (2016)
Tamás Szabó, Sebastian Erdweg, Markus Voelter
IncA: a DSL for the definition of incremental program analyses. ASE (2016)
Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini
Exploration of language specifications by compilation to first-order logic. PPDP (2016)
Gabriël Konat, Sebastian Erdweg, Eelco Visser
Bootstrapping domain-specific meta-languages in language workbenches. GPCE (2016)
Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger
Efficient development of consistent projectional editors using grammar cells. SLE (2016)
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. Vampire@IJCAR (2016)
Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6 (10) (2016)
Florian Lorenzen, Sebastian Erdweg
Sound type-dependent syntactic language extension. POPL (2016)
Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg
An extensible framework for variable-precision data-flow analyses in MPS. ASE (2016)
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
Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Comput. Lang. Syst. Struct. 44 (2015)
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
Towards secure integration of cryptographic software. Onward! (2015)
Nico Ritschel, Sebastian Erdweg
Modular capture avoidance for program transformations. SLE (2015)
Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5 (2) (2015)
Edlira Kuci, Sebastian Erdweg, Mira Mezini
Toward incremental type checking for Java. SPLASH (Companion Volume) (2015)
Tijs van der Storm, Sebastian Erdweg
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015). CoRR (2015)
Sebastian Erdweg, Moritz Lichter, Manuel Weiel
A sound and optimal incremental build system with dynamic dependencies. OOPSLA (2015)
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
A co-contextual formulation of type rules and its application to incremental type checking. OOPSLA (2015)
Sebastian Erdweg, Tijs van der Storm, Yi Dai
Capture-Avoiding Program Transformations with name-fix. Software Engineering & Management (2015)
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
Using Vampire in Soundness Proofs of Type Systems. Vampire Workshop (2015)
Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini
Type systems for the masses: deriving soundness proofs and efficient checkers. Onward! (2015)
Sebastian Erdweg, Tijs van der Storm, Yi Dai
Capture-Avoiding and Hygienic Program Transformations. ECOOP (2014)
Sebastian Erdweg, Tijs van der Storm, Yi Dai
Capture-Avoiding and Hygienic Program Transformations (incl. Proofs). CoRR (2014)
Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
i3QL: language-integrated live data views. OOPSLA (2014)
Sebastian Erdweg, Adam Welc
DSLDI 2014: second workshop on domain specific languages design and implementation. SPLASH (Companion Volume) (2014)
Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann
Evolution of Software Systems with Extensible Languages and DSLs. IEEE Softw. 31 (5) (2014)
Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg
Tracing Program Transformations with String Origins. ICMT (2014)
Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini
Towards virtual traits in Scala. SCALA@ECOOP (2014)
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
Modular specification and dynamic enforcement of syntactic language constraints when generating code. MODULARITY (2014)
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
Finding bugs in program generators by dynamic analysis of syntactic language constraints. MODULARITY (Companion) (2014)
Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann
Software Evolution to Domain-Specific Languages. SLE (2013)
Florian Lorenzen, Sebastian Erdweg
Modular and automated type-soundness verification for language extensions. ICFP (2013)
Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini
XPoints: Extension Interfaces for Multilayered Applications. EDOC (2013)
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
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. SLE (2013)
Sebastian Erdweg, Felix Rieger
A framework for extensible languages. GPCE (2013)
Marko Martin, Mira Mezini, Sebastian Erdweg
Template constructors for reusable object initialization. GPCE (2013)
Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann
Toward variability-aware testing. FOSD (2012)
Christian Kästner, Klaus Ostermann, Sebastian Erdweg
A variability-aware module system. OOPSLA (2012)
Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
Layout-sensitive language extensibility with SugarHaskell. Haskell (2012)
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
Layout-Sensitive Generalized Parsing. SLE (2012)
Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel
Language composition untangled. LDTA (2012)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
Growing a language environment with editor libraries. GPCE (2011)
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
SugarJ: library-based syntactic language extensibility. OOPSLA (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
Library-based model-driven software development with SugarJ. OOPSLA Companion (2011)
Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund
Abstract Features in Feature Modeling. SPLC (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
SugarJ: library-based language extensibility. OOPSLA Companion (2011)
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger
Variability-aware parsing in the presence of lexical macros and conditional compilation. OOPSLA (2011)