Publications
A Typed Multi-Level Datalog IR and its Compiler Framework
Klopp, D.; Erdweg, S.; Pacak, A.
2024. Proceedings of the ACM on programming languages, 8 (OOPSLA2), 1586–1614. doi:10.1145/3689767
Klopp, D.; Erdweg, S.; Pacak, A.
2024. Proceedings of the ACM on programming languages, 8 (OOPSLA2), 1586–1614. doi:10.1145/3689767
Object-Oriented Fixpoint Programming with Datalog
Klopp, D.; Erdweg, S.; Pacak, A.
2024. Proceedings of the ACM on programming languages, 8 (OOPSLA2), 60–86. doi:10.1145/3689713
Klopp, D.; Erdweg, S.; Pacak, A.
2024. Proceedings of the ACM on programming languages, 8 (OOPSLA2), 60–86. doi:10.1145/3689713
Interactive Debugging of Datalog Programs
Pacak, A.; Erdweg, S.
2023. Proceedings of the ACM on programming languages, 7 (OOPSLA2), 745–772. doi:10.1145/3622824
Pacak, A.; Erdweg, S.
2023. Proceedings of the ACM on programming languages, 7 (OOPSLA2), 745–772. doi:10.1145/3622824
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Keidel, S.; Erdweg, S.; Hombücher, T.
2023. Proceedings of the ACM on programming languages, 7 (ICFP), 955–981. doi:10.1145/3607863
Keidel, S.; Erdweg, S.; Hombücher, T.
2023. Proceedings of the ACM on programming languages, 7 (ICFP), 955–981. doi:10.1145/3607863
Modular Abstract Definitional Interpreters for WebAssembly
Brandl, K.; Erdweg, S.; Keidel, S.; Hansen, N.
2023. 37th European Conference on Object-Oriented Programming (ECOOP 2023), 5:1–5:28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ECOOP.2023.5
Brandl, K.; Erdweg, S.; Keidel, S.; Hansen, N.
2023. 37th European Conference on Object-Oriented Programming (ECOOP 2023), 5:1–5:28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ECOOP.2023.5
On Solving Solved Problems
Erdweg, S.
2023. Eelco Visser Commemorative Symposium (EVCS 2023). Ed.: R. Lämmel, 10:1–10:6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/OASIcs.EVCS.2023.10
Erdweg, S.
2023. Eelco Visser Commemorative Symposium (EVCS 2023). Ed.: R. Lämmel, 10:1–10:6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/OASIcs.EVCS.2023.10
Persistent Software Transactional Memory in Haskell
Krauter, N.; Raaf, P.; Braam, P.; Salkhordeh, R.; Erdweg, S.; Brinkmann, A.
2021. Proceedings of the ACM on programming languages, 5 (ICFP), 1–29. doi:10.1145/3473568
Krauter, N.; Raaf, P.; Braam, P.; Salkhordeh, R.; Erdweg, S.; Brinkmann, A.
2021. Proceedings of the ACM on programming languages, 5 (ICFP), 1–29. doi:10.1145/3473568
A Systematic Approach to Deriving Incremental Type Checkers
Pacak, A.; Erdweg, S.; Szabó, T.
2020. Proceedings of the ACM on programming languages, 4 (OOPSLA), 1–28. doi:10.1145/3428195
Pacak, A.; Erdweg, S.; Szabó, T.
2020. Proceedings of the ACM on programming languages, 4 (OOPSLA), 1–28. doi:10.1145/3428195
Sound and reusable components for abstract interpretation
Keidel, S.; Erdweg, S.
2019. Proceedings of the ACM on programming languages, 3 (OOPSLA), 1–28. doi:10.1145/3360602
Keidel, S.; Erdweg, S.
2019. Proceedings of the ACM on programming languages, 3 (OOPSLA), 1–28. doi:10.1145/3360602
Language-integrated privacy-aware distributed queries
Salvaneschi, G.; Köhler, M.; Sokolowski, D.; Haller, P.; Erdweg, S.; Mezini, M.
2019. Proceedings of the ACM on programming languages, 3 (OOPSLA), 1–30. doi:10.1145/3360593
Salvaneschi, G.; Köhler, M.; Sokolowski, D.; Haller, P.; Erdweg, S.; Mezini, M.
2019. Proceedings of the ACM on programming languages, 3 (OOPSLA), 1–30. doi:10.1145/3360593
Incrementalizing Lattice-Based Program Analyses in Datalog
Szabó, T.; Bergmann, G.; Völter, M.; Erdweg, S.
2018. Proceedings of the ACM on programming languages, 2 (OOPSLA), 1–29. doi:10.1145/3276509
Szabó, T.; Bergmann, G.; Völter, M.; Erdweg, S.
2018. Proceedings of the ACM on programming languages, 2 (OOPSLA), 1–29. doi:10.1145/3276509
Compositional Soundness Proofs of Abstract Interpreters
Keidel, S.; Poulsen, C. B.; Erdweg, S.
2018. Proceedings of the ACM on programming languages, 2 (ICFP), 1–26. doi:10.1145/3236767
Keidel, S.; Poulsen, C. B.; Erdweg, S.
2018. Proceedings of the ACM on programming languages, 2 (ICFP), 1–26. doi:10.1145/3236767
Versatile Event Correlation with Algebraic Effects
Bračevac, O.; Amin, N.; Salvaneschi, G.; Erdweg, S.; Eugster, P.; Mezini, M.
2018. Proceedings of the ACM on programming languages, 2 (ICFP), 1–31. doi:10.1145/3236762
Bračevac, O.; Amin, N.; Salvaneschi, G.; Erdweg, S.; Eugster, P.; Mezini, M.
2018. Proceedings of the ACM on programming languages, 2 (ICFP), 1–31. doi:10.1145/3236762
PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Konat, G.; Steindorfer, M. J.; Erdweg, S.; Visser, E.
2018. The Art, Science, and Engineering of Programming, 2 (3). doi:10.22152/programming-journal.org/2018/2/9
Konat, G.; Steindorfer, M. J.; Erdweg, S.; Visser, E.
2018. The Art, Science, and Engineering of Programming, 2 (3). doi:10.22152/programming-journal.org/2018/2/9
Exploration of Language Specifications by Compilation to First-Order Logic (extended version)
Grewe, S.; Erdweg, S.; Pacak, A.; Raulf, M.; Mezini, M.
2018. Science of Computer Programming, 155 (1), 146–172. doi:10.1016/j.scico.2017.08.001
Grewe, S.; Erdweg, S.; Pacak, A.; Raulf, M.; Mezini, M.
2018. Science of Computer Programming, 155 (1), 146–172. doi:10.1016/j.scico.2017.08.001
A Module-System Discipline for Model-Driven Software Development
Erdweg, S.; Ostermann, K.
2017. The Art, Science, and Engineering of Programming, 1 (2). doi:10.22152/programming-journal.org/2017/1/9
Erdweg, S.; Ostermann, K.
2017. The Art, Science, and Engineering of Programming, 1 (2). doi:10.22152/programming-journal.org/2017/1/9
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)
Demetrescu, C.; Erdweg, S.; Hammer, M. A.; Krishnamurthi, S.
2016. Dagstuhl Reports, 6 (10), 1–12. doi:10.4230/DagRep.6.10.1
Demetrescu, C.; Erdweg, S.; Hammer, M. A.; Krishnamurthi, S.
2016. Dagstuhl Reports, 6 (10), 1–12. doi:10.4230/DagRep.6.10.1
Evaluating and comparing language workbenches: Existing results and benchmarks for the future
Erdweg, S.; Storm, T. van der; Völter, M.; Tratt, L.; Bosman, R.; Cook, W. R.; Gerritsen, A.; Hulshout, A.; Kelly, S.; Loh, A.; Konat, G.; Molina, P. J.; Palatnik, M.; Pohjonen, R.; Schindler, E.; Schindler, K.; Solmi, R.; Vergu, V.; Visser, E.; Vlist, K. van der; Wachsmuth, G.; Woning, J. van der
2015. Computer languages, systems and structures, 44 (A), 24–47. doi:10.1016/j.cl.2015.08.007
Erdweg, S.; Storm, T. van der; Völter, M.; Tratt, L.; Bosman, R.; Cook, W. R.; Gerritsen, A.; Hulshout, A.; Kelly, S.; Loh, A.; Konat, G.; Molina, P. J.; Palatnik, M.; Pohjonen, R.; Schindler, E.; Schindler, K.; Solmi, R.; Vergu, V.; Visser, E.; Vlist, K. van der; Wachsmuth, G.; Woning, J. van der
2015. Computer languages, systems and structures, 44 (A), 24–47. doi:10.1016/j.cl.2015.08.007
Domain-Specific Languages (Dagstuhl Seminar 15062)
Erdweg, S.; Erwig, M.; Paige, R. F.; Visser, E.
2015. Dagstuhl Reports, 5 (2), 26–43. doi:10.4230/DagRep.5.2.26
Erdweg, S.; Erwig, M.; Paige, R. F.; Visser, E.
2015. Dagstuhl Reports, 5 (2), 26–43. doi:10.4230/DagRep.5.2.26
Evolution of Software Systems with Extensible Languages and DSLs
Erdweg, S.; Fehrenbach, S.; Ostermann, K.
2014. IEEE Software, 31 (5), 68–75. doi:10.1109/MS.2014.99
Erdweg, S.; Fehrenbach, S.; Ostermann, K.
2014. IEEE Software, 31 (5), 68–75. doi:10.1109/MS.2014.99
Stateful Differential Operators for Incremental Computing
Xu, R.; Erdweg, S.
2026. Association for Computing Machinery (ACM). doi:10.1145/3776728
Xu, R.; Erdweg, S.
2026. Association for Computing Machinery (ACM). doi:10.1145/3776728
Mono Types - First-Class Containers for Datalog
Xu, R.; Klopp, D.; Erdweg, S.
2025. J. Aldrich & A. Silva (Eds.), 39th European Conference on Object-Oriented Programming (ECOOP 2025), 30th June - 2nd July 2025, Bergen, Norway., 33:1–33:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ECOOP.2025.33
Xu, R.; Klopp, D.; Erdweg, S.
2025. J. Aldrich & A. Silva (Eds.), 39th European Conference on Object-Oriented Programming (ECOOP 2025), 30th June - 2nd July 2025, Bergen, Norway., 33:1–33:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ECOOP.2025.33