Sebastian Erdweg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
15
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State. | Sven Keidel, Raphal Monat, Sebastian Erdweg |
| 2025 | ECOOP | Incremental Computing by Differential Execution. | Prashant Kumar, Andr Pacak, Sebastian Erdweg |
| 2025 | ECOOP | Mono Types - First-Class Containers for Datalog. | Runqing Xu, David Klopp, Sebastian Erdweg |
| 2025 | GPCE | Retrofitting a Virtual Instrument DSL with Programming Abstractions. | Mathias Vatter, Sebastian Erdweg |
| 2024 | FTfJP | Abstract Interpretation of Java Bytecode in Sturdy. | Stefan Marx, Sebastian Erdweg |
| 2024 | GPCE | Separate Compilation and Partial Linking: Modules for Datalog IR. | David Klopp, Andr Pacak, Sebastian Erdweg |
| 2023 | ECOOP | Modular Abstract Definitional Interpreters for WebAssembly. | Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen |
| 2022 | ECOOP | Functional Programming with Datalog. | Andr Pacak, Sebastian Erdweg |
| 2022 | GPCE | Incremental Processing of Structured Data in Datalog. | Andr Pacak, Tams Szab, Sebastian Erdweg |
| 2021 | PLDI | Concise, type-safe, and efficient structural diffing. | Sebastian Erdweg, Tams Szab, Andr Pacak |
| 2021 | PLDI | Incremental whole-program analysis in Datalog with lattices. | Tams Szab, Sebastian Erdweg, Gbor Bergmann |
| 2020 | VMCAI | A Systematic Approach to Abstract Interpretation of Program Transformations. | Sven Keidel, Sebastian Erdweg |
| 2019 | SLE | Generating incremental type services. | Andr Pacak, Sebastian Erdweg |
| 2018 | ISSTA | Incremental overload resolution in object-oriented programming languages. | Tams Szab, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg |
| 2018 | PPDP | System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. | Sylvia Grewe, Sebastian Erdweg, Andr Pacak, Mira Mezini |
| 2018 | SLE | Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. | Lus Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser |
| 2017 | ECOOP | A Co-contextual Type Checker for Featherweight Java . | Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini |
| 2017 | OOPSLA | Toward abstract interpretation of program transformations. | Sven Keidel, Sebastian Erdweg |
| 2016 | CADE | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
| 2016 | GPCE | Bootstrapping domain-specific meta-languages in language workbenches. | Gabril Konat, Sebastian Erdweg, Eelco Visser |
| 2016 | POPL | Sound type-dependent syntactic language extension. | Florian Lorenzen, Sebastian Erdweg |
| 2016 | PPDP | Exploration of language specifications by compilation to first-order logic. | Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
| 2016 | SLE | Principled syntactic code completion using placeholders. | Lus Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser |
| 2016 | SLE | The IDE portability problem and its solution in Monto. | Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg |
| 2016 | SLE | Efficient development of consistent projectional editors using grammar cells. | Markus Voelter, Tams Szab, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger |
| 2015 | CADE | Using Vampire in Soundness Proofs of Type Systems. | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
| 2015 | OOPSLA | Towards secure integration of cryptographic software. | Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini |
| 2015 | OOPSLA | A co-contextual formulation of type rules and its application to incremental type checking. | Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini |
| 2015 | OOPSLA | A sound and optimal incremental build system with dynamic dependencies. | Sebastian Erdweg, Moritz Lichter, Manuel Weiel |
| 2015 | OOPSLA | Type systems for the masses: deriving soundness proofs and efficient checkers. | Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini |
| 2015 | OOPSLA | Toward incremental type checking for Java. | Edlira Kuci, Sebastian Erdweg, Mira Mezini |
| 2015 | SLE | Modular capture avoidance for program transformations. | Nico Ritschel, Sebastian Erdweg |
| 2014 | ECOOP | Capture-Avoiding and Hygienic Program Transformations. | Sebastian Erdweg, Tijs van der Storm, Yi Dai |
| 2014 | ECOOP | Towards virtual traits in Scala. | Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini |
| 2014 | OOPSLA | DSLDI 2014: second workshop on domain specific languages design and implementation. | Sebastian Erdweg, Adam Welc |
| 2014 | OOPSLA | i3QL: language-integrated live data views. | Ralf Mitschke, Sebastian Erdweg, Mirko Khler, Mira Mezini, Guido Salvaneschi |
| 2013 | EDOC | XPoints: Extension Interfaces for Multilayered Applications. | Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini |
| 2013 | GPCE | A framework for extensible languages. | Sebastian Erdweg, Felix Rieger |
| 2013 | GPCE | Template constructors for reusable object initialization. | Marko Martin, Mira Mezini, Sebastian Erdweg |
| 2013 | ICFP | Modular and automated type-soundness verification for language extensions. | Florian Lorenzen, Sebastian Erdweg |
| 2013 | SLE | The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. | Sebastian Erdweg, Tijs van der Storm, Markus Vlter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabril 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 | SLE | Software Evolution to Domain-Specific Languages. | Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann |
| 2012 | GPCE | Toward variability-aware testing. | Christian Kstner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann |
| 2012 | HASKELL | Layout-sensitive language extensibility with SugarHaskell. | Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann |
| 2012 | OOPSLA | A variability-aware module system. | Christian Kstner, Klaus Ostermann, Sebastian Erdweg |
| 2012 | SLE | Layout-Sensitive Generalized Parsing. | Sebastian Erdweg, Tillmann Rendel, Christian Kstner, Klaus Ostermann |
| 2011 | GPCE | Growing a language environment with editor libraries. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | OOPSLA | Library-based model-driven software development with SugarJ. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | OOPSLA | SugarJ: library-based language extensibility. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | OOPSLA | SugarJ: library-based syntactic language extensibility. | Sebastian Erdweg, Tillmann Rendel, Christian Kstner, Klaus Ostermann |
| 2011 | OOPSLA | Variability-aware parsing in the presence of lexical macros and conditional compilation. | Christian Kstner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger |
| 2011 | SPLC | Abstract Features in Feature Modeling. | Thomas Thm, Christian Kstner, Sebastian Erdweg, Norbert Siegmund |