default search action
Sebastian Erdweg
Person information
- affiliation: Johannes Gutenberg University Mainz, Germany
- affiliation (former): Delft University of Technology, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j14]Sven Keidel, Sebastian Erdweg, Tobias Hombücher:
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters. Proc. ACM Program. Lang. 7(ICFP): 955-981 (2023) - [j13]André Pacak, Sebastian Erdweg:
Interactive Debugging of Datalog Programs. Proc. ACM Program. Lang. 7(OOPSLA2): 745-772 (2023) - [c57]Sebastian Erdweg:
On Solving Solved Problems. Eelco Visser Commemorative Symposium 2023: 10:1-10:6 - [c56]Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen:
Modular Abstract Definitional Interpreters for WebAssembly. ECOOP 2023: 5:1-5:28 - 2022
- [c55]André Pacak, Sebastian Erdweg:
Functional Programming with Datalog. ECOOP 2022: 7:1-7:28 - [c54]André Pacak, Tamás Szabó, Sebastian Erdweg:
Incremental Processing of Structured Data in Datalog. GPCE 2022: 20-32 - 2021
- [j12]Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, André Brinkmann:
Persistent software transactional memory in Haskell. Proc. ACM Program. Lang. 5(ICFP): 1-29 (2021) - [c53]Tamás Szabó, Sebastian Erdweg, Gábor Bergmann:
Incremental whole-program analysis in Datalog with lattices. PLDI 2021: 1-15 - [c52]Sebastian Erdweg, Tamás Szabó, André Pacak:
Concise, type-safe, and efficient structural diffing. PLDI 2021: 406-419 - 2020
- [j11]André Pacak, Sebastian Erdweg, Tamás Szabó:
A systematic approach to deriving incremental type checkers. Proc. ACM Program. Lang. 4(OOPSLA): 127:1-127:28 (2020) - [c51]Sven Keidel, Sebastian Erdweg:
A Systematic Approach to Abstract Interpretation of Program Transformations. VMCAI 2020: 136-157
2010 – 2019
- 2019
- [j10]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): 167:1-167:30 (2019) - [j9]Sven Keidel, Sebastian Erdweg:
Sound and reusable components for abstract interpretation. Proc. ACM Program. Lang. 3(OOPSLA): 176:1-176:28 (2019) - [c50]André Pacak, Sebastian Erdweg:
Generating incremental type services. SLE 2019: 197-201 - [i9]Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini:
Type-safe, Polyvariadic Event Correlation. CoRR abs/1907.02990 (2019) - 2018
- [j8]Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini:
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2(ICFP): 67:1-67:31 (2018) - [j7]Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg:
Compositional soundness proofs of abstract interpreters. Proc. ACM Program. Lang. 2(ICFP): 72:1-72:26 (2018) - [j6]Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter:
Incrementalizing lattice-based program analyses in Datalog. Proc. ACM Program. Lang. 2(OOPSLA): 139:1-139:29 (2018) - [j5]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): 9 (2018) - [j4]Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155: 146-172 (2018) - [c49]Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg:
Incremental overload resolution in object-oriented programming languages. ISSTA/ECOOP Workshops 2018: 27-33 - [c48]Gabriël Konat, Sebastian Erdweg, Eelco Visser:
Scalable incremental building with dynamic task dependencies. ASE 2018: 76-86 - [c47]Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini:
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP 2018: 24:1-24:10 - [c46]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: 3-15 - [e3]Sebastian Erdweg, Bruno C. d. S. Oliveira:
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018. ACM 2018 [contents] - [i8]Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser:
PIE: A Domain-Specific Language for Interactive Software Development Pipelines. CoRR abs/1803.10197 (2018) - 2017
- [j3]Sebastian Erdweg, Klaus Ostermann:
A Module-System Discipline for Model-Driven Software Development. Art Sci. Eng. Program. 1(2): 9 (2017) - [c45]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java . ECOOP 2017: 18:1-18:26 - [c44]Sven Keidel, Sebastian Erdweg:
Toward abstract interpretation of program transformations. META@SPLASH 2017: 1-5 - [e2]Matthew Flatt, Sebastian Erdweg:
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. ACM 2017, ISBN 978-1-4503-5524-7 [contents] - [i7]Sebastian Erdweg, Klaus Ostermann:
A Module-System Discipline for Model-Driven Software Development. CoRR abs/1703.10895 (2017) - [i6]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java (incl. Proofs). CoRR abs/1705.05828 (2017) - 2016
- [c43]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: a core language for cloud computing. MODULARITY 2016: 94-105 - [c42]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. Vampire@IJCAR 2016: 33-45 - [c41]Gabriël Konat, Sebastian Erdweg, Eelco Visser:
Bootstrapping domain-specific meta-languages in language workbenches. GPCE 2016: 47-58 - [c40]Tamás Szabó, Sebastian Erdweg, Markus Voelter:
IncA: a DSL for the definition of incremental program analyses. ASE 2016: 320-331 - [c39]Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg:
An extensible framework for variable-precision data-flow analyses in MPS. ASE 2016: 870-875 - [c38]Florian Lorenzen, Sebastian Erdweg:
Sound type-dependent syntactic language extension. POPL 2016: 204-216 - [c37]Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. PPDP 2016: 104-117 - [c36]Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger:
Efficient development of consistent projectional editors using grammar cells. SLE 2016: 28-40 - [c35]Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg:
The IDE portability problem and its solution in Monto. SLE 2016: 152-162 - [c34]Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser:
Principled syntactic code completion using placeholders. SLE 2016: 163-175 - [i5]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: A Core Language for Cloud Computing - Technical Report. CoRR abs/1602.00981 (2016) - [i4]Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi:
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6(10): 1-12 (2016) - 2015
- [j2]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: 24-47 (2015) - [c33]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Using Vampire in Soundness Proofs of Type Systems. Vampire Workshop 2015: 33-51 - [c32]Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini:
Towards secure integration of cryptographic software. Onward! 2015: 1-13 - [c31]Edlira Kuci, Sebastian Erdweg, Mira Mezini:
Toward incremental type checking for Java. SPLASH (Companion Volume) 2015: 46-47 - [c30]Sebastian Erdweg, Moritz Lichter, Manuel Weiel:
A sound and optimal incremental build system with dynamic dependencies. OOPSLA 2015: 89-106 - [c29]Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini:
Type systems for the masses: deriving soundness proofs and efficient checkers. Onward! 2015: 137-150 - [c28]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: 880-897 - [c27]Sebastian Erdweg, Tijs van der Storm, Yi Dai:
Capture-Avoiding Program Transformations with name-fix. Software Engineering & Management 2015: 93-94 - [c26]Nico Ritschel, Sebastian Erdweg:
Modular capture avoidance for program transformations. SLE 2015: 59-70 - [e1]Patrick Bahr, Sebastian Erdweg:
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015. ACM 2015, ISBN 978-1-4503-3810-3 [contents] - [i3]Tijs van der Storm, Sebastian Erdweg:
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015). CoRR abs/1508.03536 (2015) - [i2]Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser:
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5(2): 26-43 (2015) - 2014
- [j1]Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann:
Evolution of Software Systems with Extensible Languages and DSLs. IEEE Softw. 31(5): 68-75 (2014) - [c25]Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser:
Finding bugs in program generators by dynamic analysis of syntactic language constraints. MODULARITY (Companion) 2014: 17-20 - [c24]Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser:
Modular specification and dynamic enforcement of syntactic language constraints when generating code. MODULARITY 2014: 241-252 - [c23]Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini:
Towards virtual traits in Scala. SCALA@ECOOP 2014: 67-75 - [c22]Sebastian Erdweg, Tijs van der Storm, Yi Dai:
Capture-Avoiding and Hygienic Program Transformations. ECOOP 2014: 489-514 - [c21]Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg:
Tracing Program Transformations with String Origins. ICMT 2014: 154-169 - [c20]Sebastian Erdweg, Adam Welc:
DSLDI 2014: second workshop on domain specific languages design and implementation. SPLASH (Companion Volume) 2014: 71-72 - [c19]Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi:
i3QL: language-integrated live data views. OOPSLA 2014: 417-432 - [i1]Sebastian Erdweg, Tijs van der Storm, Yi Dai:
Capture-Avoiding and Hygienic Program Transformations (incl. Proofs). CoRR abs/1404.5770 (2014) - 2013
- [b1]Sebastian Thore Erdweg:
Extensible languages for flexible and principled domain abstraction. University of Marburg, 2013, pp. 1-242 - [c18]Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini:
XPoints: Extension Interfaces for Multilayered Applications. EDOC 2013: 237-246 - [c17]Sebastian Erdweg, Felix Rieger:
A framework for extensible languages. GPCE 2013: 3-12 - [c16]Marko Martin, Mira Mezini, Sebastian Erdweg:
Template constructors for reusable object initialization. GPCE 2013: 43-52 - [c15]Florian Lorenzen, Sebastian Erdweg:
Modular and automated type-soundness verification for language extensions. ICFP 2013: 331-342 - [c14]Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann:
Software Evolution to Domain-Specific Languages. SLE 2013: 96-116 - [c13]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: 197-217 - 2012
- [c12]Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann:
Toward variability-aware testing. FOSD 2012: 1-8 - [c11]Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann:
Layout-sensitive language extensibility with SugarHaskell. Haskell 2012: 149-160 - [c10]Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel:
Language composition untangled. LDTA 2012: 7 - [c9]Christian Kästner, Klaus Ostermann, Sebastian Erdweg:
A variability-aware module system. OOPSLA 2012: 773-792 - [c8]Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann:
Layout-Sensitive Generalized Parsing. SLE 2012: 244-263 - 2011
- [c7]Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser:
Growing a language environment with editor libraries. GPCE 2011: 167-176 - [c6]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: 17-18 - [c5]Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser:
SugarJ: library-based language extensibility. OOPSLA Companion 2011: 187-188 - [c4]Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann:
SugarJ: library-based syntactic language extensibility. OOPSLA 2011: 391-406 - [c3]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: 805-824 - [c2]Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund:
Abstract Features in Feature Modeling. SPLC 2011: 191-200 - 2010
- [c1]Sebastian Thore Erdweg, Klaus Ostermann:
Featherweight TeX and Parser Correctness. SLE 2010: 397-416
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint