Sebastian Erdweg

According to our database, Sebastian Erdweg authored at least 82 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A Typed Multi-level Datalog IR and Its Compiler Framework.

David Klopp, Sebastian Erdweg, André Pacak

Proc. ACM Program. Lang., 2024

Object-Oriented Fixpoint Programming with Datalog.

David Klopp, Sebastian Erdweg, André Pacak

Proc. ACM Program. Lang., 2024

Abstract Interpretation of Java Bytecode in Sturdy.

Stefan Marx, Sebastian Erdweg

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023

Interactive Debugging of Datalog Programs.

André Pacak, Sebastian Erdweg

Proc. ACM Program. Lang., October, 2023

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.

Sven Keidel, Sebastian Erdweg, Tobias Hombücher

Proc. ACM Program. Lang., August, 2023

Modular Abstract Definitional Interpreters for WebAssembly.

Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

On Solving Solved Problems.

Sebastian Erdweg

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Incremental Processing of Structured Data in Datalog.

André Pacak, Tamás Szabó, Sebastian Erdweg

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

Functional Programming with Datalog.

André Pacak, Sebastian Erdweg

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Persistent software transactional memory in Haskell.

Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, André Brinkmann

Proc. ACM Program. Lang., 2021

Incremental whole-program analysis in Datalog with lattices.

Tamás Szabó, Sebastian Erdweg, Gábor Bergmann

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Concise, type-safe, and efficient structural diffing.

Sebastian Erdweg, Tamás Szabó, André Pacak

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

A systematic approach to deriving incremental type checkers.

André Pacak, Sebastian Erdweg, Tamás Szabó

Proc. ACM Program. Lang., 2020

A Systematic Approach to Abstract Interpretation of Program Transformations.

Sven Keidel, Sebastian Erdweg

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Language-integrated privacy-aware distributed queries.

Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini

Proc. ACM Program. Lang., 2019

Sound and reusable components for abstract interpretation.

Sven Keidel, Sebastian Erdweg

Proc. ACM Program. Lang., 2019

Type-safe, Polyvariadic Event Correlation.

Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini

CoRR, 2019

Generating incremental type services.

André Pacak, Sebastian Erdweg

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

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

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

Incrementalizing lattice-based program analyses in Datalog.

Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter

Proc. ACM Program. Lang., 2018

Compositional soundness proofs of abstract interpreters.

Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg

Proc. ACM Program. Lang., 2018

Versatile event correlation with algebraic effects.

Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini

Proc. ACM Program. Lang., 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

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Scalable incremental building with dynamic task dependencies.

Gabriël Konat, Sebastian Erdweg, Eelco Visser

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Incremental overload resolution in object-oriented programming languages.

Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

A Module-System Discipline for Model-Driven Software Development.

Sebastian Erdweg, Klaus Ostermann

Art Sci. Eng. Program., 2017

A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

CoRR, 2017

Toward abstract interpretation of program transformations.

Sven Keidel, Sebastian Erdweg

Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2017

A Co-contextual Type Checker for Featherweight Java .

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).

Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi

Dagstuhl Reports, 2016

CPL: A Core Language for Cloud Computing - Technical Report.

Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini

CoRR, 2016

Efficient development of consistent projectional editors using grammar cells.

Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

The IDE portability problem and its solution in Monto.

Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Principled syntactic code completion using placeholders.

Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Sound type-dependent syntactic language extension.

Florian Lorenzen, Sebastian Erdweg

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

IncA: a DSL for the definition of incremental program analyses.

Tamás Szabó, Sebastian Erdweg, Markus Voelter

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An extensible framework for variable-precision data-flow analyses in MPS.

Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Bootstrapping domain-specific meta-languages in language workbenches.

Gabriël Konat, Sebastian Erdweg, Eelco Visser

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

CPL: a core language for cloud computing.

Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini

Proceedings of the 15th International Conference on Modularity, 2016

2015

Domain-Specific Languages (Dagstuhl Seminar 15062).

Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser

Dagstuhl Reports, 2015

Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).

Tijs van der Storm, Sebastian Erdweg

CoRR, 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, 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

Comput. Lang. Syst. Struct., 2015

Modular capture avoidance for program transformations.

Nico Ritschel, Sebastian Erdweg

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Capture-Avoiding Program Transformations with name-fix.

Sebastian Erdweg, Tijs van der Storm, Yi Dai

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Toward incremental type checking for Java.

Edlira Kuci, Sebastian Erdweg, Mira Mezini

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Type systems for the masses: deriving soundness proofs and efficient checkers.

Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

A sound and optimal incremental build system with dynamic dependencies.

Sebastian Erdweg, Moritz Lichter, Manuel Weiel

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 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

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards secure integration of cryptographic software.

Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Using Vampire in Soundness Proofs of Type Systems.

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014

Evolution of Software Systems with Extensible Languages and DSLs.

Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann

IEEE Softw., 2014

Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).

Sebastian Erdweg, Tijs van der Storm, Yi Dai

CoRR, 2014

i3QL: language-integrated live data views.

Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

DSLDI 2014: second workshop on domain specific languages design and implementation.

Sebastian Erdweg, Adam Welc

Proceedings of the SPLASH'14, 2014

Tracing Program Transformations with String Origins.

Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg

Proceedings of the Theory and Practice of Model Transformations, 2014

Towards virtual traits in Scala.

Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini

Proceedings of the Fifth Annual Scala Workshop, 2014

Capture-Avoiding and Hygienic Program Transformations.

Sebastian Erdweg, Tijs van der Storm, Yi Dai

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Modular specification and dynamic enforcement of syntactic language constraints when generating code.

Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser

Proceedings of the 13th International Conference on Modularity, 2014

Finding bugs in program generators by dynamic analysis of syntactic language constraints.

Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser

Proceedings of the 13th International Conference on Modularity, 2014

2013

Extensible languages for flexible and principled domain abstraction.

Sebastian Thore Erdweg

PhD thesis, 2013

Software Evolution to Domain-Specific Languages.

Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann

Proceedings of the Software Language Engineering - 6th International Conference, 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, 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

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Modular and automated type-soundness verification for language extensions.

Florian Lorenzen, Sebastian Erdweg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Template constructors for reusable object initialization.

Marko Martin, Mira Mezini, Sebastian Erdweg

Proceedings of the Generative Programming: Concepts and Experiences, 2013

A framework for extensible languages.

Sebastian Erdweg, Felix Rieger

Proceedings of the Generative Programming: Concepts and Experiences, 2013

XPoints: Extension Interfaces for Multilayered Applications.

Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

2012

Layout-Sensitive Generalized Parsing.

Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann

Proceedings of the Software Language Engineering, 5th International Conference, 2012

A variability-aware module system.

Christian Kästner, Klaus Ostermann, Sebastian Erdweg

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Language composition untangled.

Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel

Proceedings of the International Workshop on Language Descriptions, 2012

Layout-sensitive language extensibility with SugarHaskell.

Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Toward variability-aware testing.

Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

2011

Abstract Features in Feature Modeling.

Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund

Proceedings of the Software Product Lines - 15th International Conference, 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

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based syntactic language extensibility.

Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based language extensibility.

Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Library-based model-driven software development with SugarJ.

Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Growing a language environment with editor libraries.

Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Featherweight TeX and Parser Correctness.

Sebastian Thore Erdweg, Klaus Ostermann

Proceedings of the Software Language Engineering - Third International Conference, 2010