Publications

Stateful Differential Operators for Incremental Computing
Xu, R.; Erdweg, S.
2026. Proceedings of the ACM on programming languages, 10 (POPL), 2494–252. doi:10.1145/3776728 

GPCE ’25 : Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Shaikhha, A.; Erdweg, S.; Amin, N.
2025. Association for Computing Machinery (ACM)

Retrofitting a Virtual Instrument DSL with Programming Abstractions
Vatter, M.; Erdweg, S.
2025. GPCE ’25 : Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Ed.: A. Shaikhha; S. Erdweg, 67–79, Association for Computing Machinery (ACM). doi:10.1145/3742876.3742878 

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 

Separate Compilation and Partial Linking: Modules for Datalog IR
Klopp, D.; Pacak, A.; Erdweg, S.
2024. GPCE ’24: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Ed.: S. Chiba, 94–106, Association for Computing Machinery (ACM). doi:10.1145/3689484.3690737

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 

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 

Abstract Interpretation of Java Bytecode in Sturdy
Marx, S.; Erdweg, S.
2024. FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs. Ed.: L. Di Stefano, 17–22, Association for Computing Machinery (ACM). doi:10.1145/3678721.3686226

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 

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 

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 

Incremental Processing of Structured Data in Datalog
Pacak, A.; Szabó, T.; Erdweg, S.
2022. GPCE 2022 - Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2022; Auckland, Neuseeland, 06.-07.12.2022, S. 20–32, Association for Computing Machinery (ACM). doi:10.1145/3564719.3568686

Functional Programming with Datalog
Pacak, A.; Erdweg, S.
2022. European Conference on Object-Oriented Programming (ECOOP); Berlin, Deutschland, 06.-10.06.2022, 28 S., Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik. doi:10.4230/LIPIcs.ECOOP.2022.7 

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 

Incremental Whole-Program Analysis in Datalog with Lattices
Szabó, T.; Erdweg, S.; Bergmann, G.
2021. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); Online, 20.-25.06.2021, 15 S., Association for Computing Machinery (ACM). doi:10.1145/3453483.3454026

Concise, Type-Safe, and Efficient Structural Diffing
Erdweg, S.; Szabó, T.; Pacak, A.
2021. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); Online, 20.-25.06.2021, S. 406–419, Association for Computing Machinery (ACM). doi:10.1145/3453483.3454052

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 

Datalog with Recursive Aggregation for Incremental Program Analyses
Szabó, T.; Bergmann, G.; Erdweg, S.; Völter, M.
2020. Proceedings 36th International Conference on Logic Programming; Rende, Italien, 18.-24.09.2020, 2 S., Open Publishing Association (OPA). doi:10.4204/EPTCS.325.35

A Systematic Approach to Abstract Interpretation of Program Transformations
Keidel, S.; Erdweg, S.
2020. Proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020; New Orleans, LA, USA, 16.-21.01.2020, S. 136–157, Springer. doi:10.1007/978-3-030-39322-9_7

Generating Incremental Type Services
Pacak, A.; Erdweg, S.
2019. International Workshop on Incremental Computing (IC); Athen, Griechenland, 20.-22.10.2019, S. 197–201, Association for Computing Machinery (ACM). doi:10.1145/3357766.3359534

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 

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 

Precise, Efficient, and Expressive Incremental Build Scripts with PIE
Konat, G.; Sol, R.; Erdweg, S.; Visser, E.
2019. International Workshop on Incremental Computing (IC); Athen, Griechenland, 20.-25.10.2019

Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog
Szabó, T.; Bergmann, G.; Erdweg, S.
2019. International Workshop on Incremental Computing (IC); Athen, Griechenland, 20.-25.10.2019, 3 S

Declarative specification of indentation rules a tooling perspective on parsing and pretty-printing layout-sensitive languages
Souza Amorim, L. E. de; Steindorfer, M. J.; Erdweg, S.; Visser, E.
2018. SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2018; Boston, MA, USA, 05.-06.11.2018, S. 3–15, Association for Computing Machinery (ACM). doi:10.1145/3276604.3276607

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 

Scalable Incremental Building with Dynamic Task Dependencies
Konat, G.; Erdweg, S.; Visser, E.
2018. Proceedings of International Conference on Automated Software Engineering (ASE); Montepellier, Frankreich, 03.-07.09.2018, S. 76–86, Association for Computing Machinery (ACM). doi:10.1145/3238147.3238196 

System description: An infrastructure for combining domain knowledge with automated theorem provers
Grewe, S.; Erdweg, S.; Pacak, A.; Mezini, M.
2018. Proceedings of Conference on Principles and Practice of Declarative Programming (PPDP); Frankfurt am Main, Deutschland, 03.-05.09.2018, 10 S., Association for Computing Machinery (ACM). doi:10.1145/3236950.3236960

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 

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 

Incremental Overload Resolution in Object-Oriented Programming Languages
Szabó, T.; Kuci, E.; Bijman, M.; Mezini, M.; Erdweg, S.
2018. International Workshop on Formal Techniques for Java-like Programs; Amsterdam, Niederlande, 16.-21.07.2018, S. 27–33, Association for Computing Machinery (ACM). doi:10.1145/3236454.3236485

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 

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

Toward Abstract Interpretation of Program Transformations
Keidel, S.; Erdweg, S.
2017. International Workshop on Meta-Programming Techniques and Reflection; Vancouver, Kanada, 22.10.2017, S. 1–5, Association for Computing Machinery (ACM). doi:10.1145/3141517.3141855

A Co-contextual Type Checker for Featherweight Java
Kuci, E.; Erdweg, S.; Bračevac, O.; Bejleri, A.; Mezini, M.
2017. 31st European Conference on Object-Oriented Programming : ECOOP’17, June 18-23, 2017, Barcelona, Spain. Ed.: P. Müller, 18:1–18:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ECOOP.2017.18 

Privacy-aware Distributed Incremental Computation
Köhler, M.; Haller, P.; Erdweg, S.; Mezini, M.; Salvaneschi, G.
2017. International Workshop on Incremental Computing (IC); Barcelona, Spanien, 18.-23.06.2017, 2 S

IncA: A DSL for Incremental Program Analysis with Lattices
Szabó, T.; Völter, M.; Erdweg, S.
2017. International Workshop on Incremental Computing (IC); Barcelona, Spanien, 18.-23.06.2017, 2 S

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 

Bootstrapping Domain-Specific Meta-Languages in Language Workbenches
Konat, G.; Erdweg, S.; Visser, E.
2016. GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2016; Amsterdam, Niederlande, 31.10.-01.11.2016, S. 47–58, Association for Computing Machinery (ACM). doi:10.1145/2993236.2993242 

Principled Syntactic Code Completion using Placeholders
Souza Amorim, L. E. de; Erdweg, S.; Wachsmuth, G.; Visser, E.
2016. SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016; Amsterdam, Niederlande, 31.10.-01.11.2016, S. 163–175, Association for Computing Machinery (ACM). doi:10.1145/2997364.2997374 

Efficient Development of Consistent Projectional Editors using Grammar Cells
Völter, M.; Szabó, T.; Lisson, S.; Kolb, B.; Erdweg, S.; Berger, T.
2016. SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016; Amsterdam, Niederlande, 31.10.-01.11.2016, S. 28–40, Association for Computing Machinery (ACM). doi:10.1145/2997364.2997365

Exploration of Language Specifications by Compilation to First-Order Logic
Grewe, S.; Erdweg, S.; Raulf, M.; Mezini, M.
2016. Proceedings of Conference on Principles and Practice of Declarative Programming (PPDP); Edinburgh, Vereinigtes Königreich, 05.-07.09.2016, S. 104–117, Association for Computing Machinery (ACM). doi:10.1145/2967973.2968606

IncA: A DSL for the Definition of Incremental Program Analyses
Szabó, T.; Erdweg, S.; Völter, M.
2016. Proceedings of International Conference on Automated Software Engineering (ASE); Singapur, 03.-07.09.2016, S. 320–331, Association for Computing Machinery (ACM). doi:10.1145/2970276.2970298

An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS
Szabó, T.; Alperovich, S.; Völter, M.; Erdweg, S.
2016. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering; Singapur, 03.-07.09.2016, S. 870–875, Association for Computing Machinery (ACM). doi:10.1145/2970276.2970296

CPL: A Core Language for Cloud Computing
Bračevac, O.; Erdweg, S.; Salvaneschi, G.; Mezini, M.
2016. MODULARITY 2016 - Proceedings of the 15th International Conference on Modularity; Malaga, Spanien, 14.-17.03.2016, S. 94–105, Association for Computing Machinery (ACM). doi:10.1145/2889443.2889452

Using Vampire in Soundness Proofs of Type Systems
Grewe, S.; Erdweg, S.; Mezini, M.
2016. Proceedings of the 1st and 2nd Vampire Workshops; Berlin, Deutschland, 02.08.2015, S. 33–51, EasyChair. doi:10.29007/22x6

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 

Sound Type-Dependent Syntactic Language Extension
Lorenzen, F.; Erdweg, S.
2016. Conference Record of the Annual ACM Symposium on Principles of Programming Languages; Saint Petersburg, FL, USA, 20.-22.01.2016, S. 204–216, Association for Computing Machinery (ACM). doi:10.1145/2837614.2837644

Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench
Konat, G.; Souza Amorim, L. E. de; Erdweg, S.; Visser, E.
2016. Language Workbench Challenge; Amsterdam, Niederlande, 30.10.-04.11.2016, 8 S

The IDE Portability Problem and its Solution in Monto
Keidel, S.; Pfeiffer, W.; Erdweg, S.
2016. Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016; Amsterdam, Niederlande, 31.10.-01.11.2016, S. 152–162, Association for Computing Machinery (ACM). doi:10.1145/2997364.2997368

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
Grewe, S.; Erdweg, S.; Mezini, M.
2016. Proceedings of the 3rd Vampire Workshop; Coimbra, Portugal, 02.07.2016, S. 33–45, EasyChair. doi:10.29007/5zjp

Toward Live Language Development
Konat, G.; Erdweg, S.; Visser, E.
2016. Workshop on Live Programming Systems (LIVE); Rom, Italien, 17.-22.07.2016, 5 S

Modular Capture Avoidance for Program Transformations
Ritschel, N.; Erdweg, S.
2015. SLE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering; Pittsburgh, PA, USA, 26.-27.10.2015, 59–70, Association for Computing Machinery (ACM). doi:10.1145/2814251.2814260

A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking
Erdweg, S.; Bračevac, O.; Kuci, E.; Krebs, M.; Mezini, M.
2015. OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pittsburgh, PA, USA, October 25–30, 2015, 880–897, Association for Computing Machinery (ACM). doi:10.1145/2814270.2814277

A Sound and Optimal Incremental Build System with Dynamic Dependencies
Erdweg, S.; Lichter, M.; Weiel, M.
2015. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; Pittsburgh, PA, USA, 25.-30.10.2015, S. 89–106, Association for Computing Machinery (ACM). doi:10.1145/2814270.2814316

Towards Secure Integration of Cryptographic Software
Arzt, S.; Nadi, S.; Ali, K.; Bodden, E.; Erdweg, S.; Mezini, M.
2015. Onward! 2015 - Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2015; Pittsburgh, PA, USA, 25.-30.10.2015, S. 1–13, Association for Computing Machinery (ACM). doi:10.1145/2814228.2814229

Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Grewe, S.; Erdweg, S.; Wittmann, P.; Mezini, M.
2015. Onward! 2015 - Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2015; Pittsburgh, PA, USA, 25.-30.10.2015, S. 137–150, Association for Computing Machinery (ACM). doi:10.1145/2814228.2814239

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 

Capture-Avoiding Program Transformations with name-fix
Erdweg, S.; Storm, T. van der; Dai, Y.
2015. Software Engineering & Management 2015 : Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW; Dresden, Deutschland, 17.-20.03.2015, S. 93–94, Gesellschaft für Informatik (GI)

i3QL: Language-Integrated Live Data Views
Mitschke, R.; Erdweg, S.; Köhler, M.; Mezini, M.; Salvaneschi, G.
2014. Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; Portland, OR, USA, 20.-24.10.2014, 417–432, Association for Computing Machinery (ACM). doi:10.1145/2660193.2660242

Towards Virtual Traits in Scala
Weiel, M.; Maier, I.; Erdweg, S.; Eichberg, M.; Mezini, M.
2014. SCALA 2014 - Proceedings of the 5th Annual Scala Workshop, Co-located with ECOOP 2014; Uppsale, Schweden, 28.-29.07.2014, S. 67–75, Association for Computing Machinery (ACM). doi:10.1145/2637647.2637654

Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)
Erdweg, S.; van der Storm, T.; Dai, Y.
2014. arxiv. doi:10.48550/arXiv.1404.5770

Tracing Model Transformations with String Origins
Valdera, P. I.; Storm, T. van der; Erdweg, S.
2014. International Conference on Theory and Practice of Model Transformations (ICMT); York, Vereinigtes Königreich, 21.-22.07.2014, S. 154–169, Springer

Capture-Avoiding and Hygienic Program Transformations
Erdweg, S.; Storm, T. van der; Dai, Y.
2014. ECOOP 2014 -- Object-Oriented Programming; Uppsala, Schweden, 28.07.-01.08.2014, 489–514, Springer. doi:10.1007/978-3-662-44202-9_20

Modular Specification and Dynamic Enforcement of Syntactic Language Constraints
Erdweg, S.; Vergu, V.; Mezini, M.; Visser, E.
2014. MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD); Lugano, Schweiz, 22.-25.04.2014, 241–252, Association for Computing Machinery (ACM). doi:10.1145/2577080.2577089

XPoints: Extension Interfaces for Multilayered Applications
Aly, M.; Charfi, A.; Erdweg, S.; Mezini, M.
2013. Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2013); Vancouver, Kanada, 09.-13.09.2013, S. 237–246, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/EDOC.2013.34

A Framework for Extensible Languages
Erdweg, S.; Rieger, F.
2013. SPLASH Indianapolis 2013; GPCE 2013 - Proceedings of the 12th International Conference on Generative Programming: Concepts and Experiences, 3–12, Association for Computing Machinery (ACM). doi:10.1145/2517208.2517210

Extensible Languages for Flexible and Principled Domain Abstraction. PhD dissertation
Erdweg, S.
2013, May 23. Philipps-Universität Marburg. doi:10.17192/z2013.0280

Template Constructors for Reusable Object Initialization
Martin, M.; Mezini, M.; Erdweg, S.
2013. Proceedings of the 12th International Conference on Generative Programming: Concepts and Experiences; Indianapolis, IN, USA, 27.-28.10.2013, S. 43–52, Association for Computing Machinery (ACM). doi:10.1145/2517208.2517212

Software Evolution to Domain-Specific Languages
Fehrenbach, S.; Erdweg, S.; Ostermann, K.
2013. Proceedings of 6th International Conference on Software Language Engineering, SLE 2013; Indianapolis, IN, USA, 26.-28.10.2013, 96–116, Springer. doi:10.1007/978-3-319-02654-1_6

The State of the Art in Language Workbenches
Erdweg, S.; Storm, T. van der; Völter, M.; Boersma, M.; 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
2013. Software Language Engineering: 6th International Conference, SLE 2013; Indianapolis, IN, USA, 26.-28.10.2013, S. 197–217, Springer. doi:10.1007/978-3-319-02654-1_11

Modular and Automated Type-Soundness Verification for Language Extensions
Lorenzen, F.; Erdweg, S.
2013. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP; Boston, MA, USA, 25.-27.09.2013, 331–342, Association for Computing Machinery (ACM). doi:10.1145/2500365.2500596

Embedding a Questionnaire DSL with SugarJ
Erdweg, S.
2013. Proceedings of Language Workbench Challenge (LWC); Indianapolis, IN, USA, 26.-28.10.2013, 11 S

A Variability-Aware Module System
Kästner, C.; Ostermann, K.; Erdweg, S.
2012. Proceedings of the 12th Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; Tuscon, AZ, USA, 19.-26.10.2012, S. 773–792, Association for Computing Machinery (ACM). doi:10.1145/2384616.2384673

Toward Variability-Aware Testing
Kästner, C.; Rhein, A. von; Erdweg, S.; Pusch, J.; Apel, S.; Rendel, T.; Ostermann, K.
2012. Proccedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD’12; Dresden, Deutschland, 24.-25.09.2012, S. 1–8, Association for Computing Machinery (ACM). doi:10.1145/2377816.2377817

Language Composition Untangled
Erdweg, S.; Giarrusso, P. G.; Rendel, T.
2012. Proceedings of the 12th Workshop on Language Descriptions, Tools, and Applications, LDTA 2012; Reval, Estland, 31.03.-01.04.2013, 8 S., Association for Computing Machinery (ACM). doi:10.1145/2427048.2427055

Layout-sensitive Generalized Parsing
Erdweg, S.; Rendel, T.; Kästner, C.; Ostermann, K.
2012. Lecture Notes in Computer Science (SLE); Dresden, Deutschland, 26.-28.09.2012, 244–263, Springer. doi:10.1007/978-3-642-36089-3_14

Layout-sensitive Language Extensibility with SugarHaskell
Erdweg, S.; Rieger, F.; Rendel, T.; Ostermann, K.
2012. Haskell’12 - Proceedings of the 2012 ACM SIGPLAN Haskell Symposium 2012; Kopenhagen, Dänemark, 13.-14.09.2012, S. 149–160, Association for Computing Machinery (ACM). doi:10.1145/2364506.2364526

Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation
Kästner, C.; Giarrusso, P. G.; Rendel, T.; Erdweg, S.; Ostermann, K.; Berger, T.
2011. Proceedings of the 26th Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; Portland, OR, USA, 22.-27.10.2011, S. 805–824, Association for Computing Machinery (ACM). doi:10.1145/2048066.2048128

Growing a Language Environment with Editor Libraries
Erdweg, S.; Kats, L. C. L.; Rendel, T.; Kästner, C.; Ostermann, K.; Visser, E.
2011. GPCE’11 - Proceedings of the 10th International Conference on Generative Programming and Component Engineering; Portland, OR, USA, 22.-23.10.2011, 167–176, Association for Computing Machinery (ACM). doi:10.1145/2047862.2047891

Abstract Features in Feature Modeling
Thüm, T.; Kästner, C.; Erdweg, S.; Siegmund, N.
2011. 15th International Software Product Line Conference, Munich, Germany, 22-26 August 2011, 191–200, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SPLC.2011.53

SugarJ: Library-based Language Extensibility
Erdweg, S.; Kats, L. C. L.; Rendel, T.; Kästner, C.; Ostermann, K.; Visser, E.
2011. SPLASH’11 Compilation - Proceedings of OOPSLA’11, Onward! 2011, GPCE’11, DLS’11, and SPLASH’11 Companion; Portland, OR, USA, 22.-27.10.2011, 187–188, Association for Computing Machinery (ACM). doi:10.1145/2048147.2048199

Library-based Model-driven Software Development with SugarJ
Erdweg, S.; Kats, L. C. L.; Rendel, T.; Kästner, C.; Ostermann, K.; Visser, E.
2011. SPLASH’11 Compilation - Proceedings of OOPSLA’11, Onward! 2011, GPCE’11, DLS’11, and SPLASH’11 Companion; Portland, OR, USA, 22.-27.10.2011, 17–18, Association for Computing Machinery (ACM). doi:10.1145/2048147.2048156

SugarJ: Library-based Syntactic Language Extensibility
Erdweg, S.; Rendel, T.; Kästner, C.; Ostermann, K.
2011. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; Portland, OR, USA, 22.-27.10.2011, S. 391–406, Association for Computing Machinery (ACM). doi:10.1145/2076021.2048099

Featherweight TeX and Parser Correctness
Erdweg, S.; Ostermann, K.
2010. Software Language Engineering (SLE); Eindhoven, Niederlande, 12.-13.10.2010, 397–416, Springer. doi:10.1007/978-3-642-19440-5_26