Peer-reviewed Publications
2025
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation
by Philipp Schuster, Marius Müller, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
The Simple Essence of Monomorphization
by Matthew Lutze, Philipp Schuster, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
Multiple Resumptions and Local Mutable State, Directly
by Serkan Muhcu, Philipp Schuster, Michel Steuwer, and Jonathan Brachthäuser
In Proceedings of the International Conference on Functional Programming (ICFP), 2025.
Dynamic Wind for Effect Handlers
by David Voigt, Philipp Schuster, and Jonathan Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
The MNL: A Block-Based Functional Programming Language with Reactive Blocks
by Steven Lolong
In Proceedings of the International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT). ACM Press, 2025.
Tracing Just-in-time Compilation for Effects and Handlers
by Marcial Gaißert, CF Bolz-Tereick, and Jonathan Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking
by Jiří Beneš and Jonathan Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by Bohdan Liesnikov, David Binder, and Tim Süberkrüb
In The Art, Science, and Engineering of Programming 10(3), 2025.
2024
Qualifying System F-sub
by Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2024.
Grokking the Sequent Calculus (Functional Pearl)
by David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2024.
Deriving Dependently-Typed OOP from First Principles
by David Binder, Ingo Skupin, Tim Süberkrüb, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2024.
2023
Back to Direct Style: Typed and Tight
by Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
by Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
With or Without You: Programming with Effect Exclusion
by Matthew Lutze, Magnus Madsen, Jonathan Immanuel Brachthäuser, and Philipp Schuster
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2023.
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
by Ishan Bhanuka, Lionel Parreaux, David Binder, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
Capturing Types
by Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhotak, and Jonathan Immanuel Brachthäuser
In ACM Trans. Program. Lang. Syst. (TOPLAS). Association for Computing Machinery, 2023.
2022
Type-Level Programming with Match Types
by Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, and Martin Odersky
In Proc. ACM Program. Lang. 6(POPL). Association for Computing Machinery, 2022.
Introduction and Elimination, Left and Right
by Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2022.
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In European Symposium on Programming (ESOP 2022), 2022.
Structural Refinement Types
by David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
In Proceedings of the International Workshop on Type-Driven Development. ACM Press, 2022.
Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back
by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2022.
A Typed Continuation-Passing Translation for Lexical Effect Handlers
by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI), 2022.
2021
Tracking Captured Variables in Types
by Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, and Martin Odersky
In CoRR abs/2105.11896, 2021.
Virtual ADTs for Portable Metaprogramming
by Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
In Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, pages 36–44. Association for Computing Machinery, 2021.
Multi-Stage Programming with Generative and Analytical Macros
by Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
In Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pages 110–122. Association for Computing Machinery, 2021.
Safer Exceptions for Scala
by Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
In Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, pages 1–11. Association for Computing Machinery, 2021.
2020
Effekt: Capability-Passing Style for Type- and Effect-Safe, Extensible Effect Handlers in Scala
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Journal of Functional Programming 30: , 2020.
Decomposition Diversity with Symmetric Data and Codata
by Klaus Ostermann, Julian Jabs, David Binder, and Ingo Skupin
In Proceedings of Symposium on Principles of Programming Languages (POPL 2020), 2020.
Compiling Effect Handlers in Capability-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2020.
Effect Handlers, Evidently
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2020.
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2020.
2019
Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
by Paolo G. Giarusso, Yann Régis-Gianas, and Philipp Schuster
In Proceedings of the European Symposium on Programming (ESOP). Springer-Verlag, 2019.
Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming
by Luzia Leifheit, Katerina Tsarava, Korbinian Moeller, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, and Manuel Ninaus
In Workshop in Primary and Secondary Computing Education (WiPSCE). ACM Press, 2019.
2018
Programming Unplugged: An Evaluation of Game-Based Methods for Teaching Computational Thinking in Primary School
by Luzia Leifheit, Julian Jabs, Manuel Ninaus, Korbinian Moeller, and Klaus Ostermann
In European Conference on Games Based Learning (ECGBL). "Academic Conferences and publishing limited", 2018.
Dualizing Generalized Algebraic Data Types by Matrix Transposition
by Klaus Ostermann and Julian Jabs
In Proceedings of the European Symposium on Programming (ESOP). Lecture Notes in Computer Science, 2018.
Typing, Representing, and Abstracting Control: Functional Pearl
by Philipp Schuster and Jonathan Brachthäuser
In Proceedings of the International Workshop on Type-Driven Development. ACM Press, 2018.
Effect Handlers for the Masses
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. ACM Program. Lang. 2(OOPSLA). Association for Computing Machinery, 2018.
2017
Towards Naturalistic EDSLs using Algebraic Effects
by Jonathan Immanuel Brachthäuser
In Workshop for Domain Specific Languages, Design and Implementation (DSLDI), 2017.
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
by Jonathan Immanuel Brachthäuser and Philipp Schuster
In Proceedings of the International Symposium on Scala. ACM Press, 2017.
2016
Prioritizing Regression Tests for Desktop and Web-Applications Based on the Execution Frequency of Modified Code
by Matthias Hirzel, Jonathan Immanuel Brachthäuser, and Herbert Klaeren
In Proc. of the Intl. Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. Association for Computing Machinery, 2016.
System F-Omega with Equirecursive Types for Datatype-Generic Programming
by Yufei Cai, Paolo G. Giarrusso, and Klaus Ostermann
In Proceedings of Symposium on Principles of Programming Languages (POPL 2016), pages 30–43, 2016.
Parsing with First-Class Derivatives
by Jonathan Brachthäuser, Tillmann Rendel, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2016.
2015
Automatic Refunctionalization to a Language with Copattern Matching: With Applications to the Expression Problem
by Tillmann Rendel, Julia Trieflinger, and Klaus Ostermann
In Proceedings of International Conference on Functional Programming, pages 269–279. ACM, 2015.
2014
A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation
by Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, and Klaus Ostermann
In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014.
Capture-Avoiding and Hygienic Program Transformations
by Sebastian Erdweg, Tijs van der Storm, and Yi Dai
In Proceedings of European Conference on Object-Oriented Programming, 2014.
From Object Algebras to Attribute Grammars
by Tillmann Rendel, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA), pages 377–395. ACM Press, 2014.
Evolution of Software Systems with Extensible Languages and DSLs
by Sebastian Erdweg, Stefan Fehrenbach, and Klaus Ostermann
In IEEE Software 31(5): , 2014.
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features
by Christian Kästner, Alexander Dreiling, and Klaus Ostermann
In IEEE Trans. Software Eng. 40(1): , 2014.
Projectional editing of variational software
by Eric Walkingshaw and Klaus Ostermann
In Generative Programming: Concepts and Experiences, GPCE’14, Vasteras, Sweden, September 15-16, 2014, pages 29–38, 2014.
2013
Layout-sensitive Generalized Parsing
by Sebastian Erdweg, Tillmann Rendel, Christian Kästner, and Klaus Ostermann
In Proceedings of Conference on Software Language Engineering (SLE). Springer-Verlag, 2013.
Reify Your Collection Queries for Modularity and Speed!
by Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, and Christian Kästner
In Proceedings of the International Conference Aspect-Oriented Software Development (AOSD), pages 1–12. ACM, 2013.
Variability Mining: Consistent Semiautomatic Detection of Product-Line Features
by Christian Kästner, Alexander Dreiling, and Klaus Ostermann
In IEEE Transactions on Software Engineering, 2013.
Software Evolution to Domain-Specific Languages
by Stefan Fehrenbach, Sebastian Erdweg, and Klaus Ostermann
In Proceedings of Conference on Software Language Engineering (SLE), 2013.
Incompressibility of H-Free Edge Modification Problems
by Leizhen Cai and Yufei Cai
In Proceedings of the 8th International Symposium on Parameterized and Exact Computation (IPEC), 2013.
2012
Access Control in Feature-Oriented Programming
by Sven Apel, Sergiy Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, and Thomas Leich
In Science of Computer Programming (Special Issue on Feature-Oriented Software Development) 77(3): . Elsevier, 2012.
JavAdaptor: Flexible Runtime Updates of Java Applications
by Mario Pukall, Christian Kästner, Walter Cazzola, Sebastian Götz, Alexander Grebhahn, Reimar Schröter, and Gunter Saake
In Software: Practice and Experience, 2012.
Language-Independent and Automated Software Composition: The FeatureHouse Experience
by Sven Apel, Christian Kästner, and Christian Lengauer
In IEEE Transactions on Software Engineering (TSE), 2012.
Language composition untangled
by Sebastian Erdweg, Paolo G. Giarrusso, and Tillmann Rendel
In Proceedings of Workshop on Language Descriptions, Tools and Applications (LDTA), pages 7:1–7:8. ACM Press, 2012.
Predicting Performance via Automated Feature-Interaction Detection
by Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don Batory, Marko Rosenmüller, and Gunter Saake
In Proceedings of the 34th International Conference on Software Engineering (ICSE), pages 167–177, 2012.
Measuring Programming Experience
by Janet Feigenspan, Christian Kästner, Jörg Liebig, Sven Apel, and Stefan Hanenberg
In Proceedings of the 20th International Conference on Program Comprehension (ICPC), pages 73–82. IEEE Computer Society, 2012.
Supporting Program Comprehension in Large Preprocessor-Based Software Product Lines
by Janet Feigenspan, Michael Schulze, Maria Papendieck, Christian Kästner, Raimund Dachselt, Veit Köppen, Mathias Frisch, and Gunter Saake
In IET Software, 2012.
Do Background Colors Improve Program Comprehension in the #ifdef Hell?
by Janet Feigenspan, Christian Kästner, Sven Apel, Jörg Liebig, Michael Schulze, Raimund Dachselt, Maria Papendieck, Thomas Leich, and Gunter Saake
In Empirical Software Engineering, 2012.
Layout-sensitive Language Extensibility with SugarHaskell
by Sebastian Erdweg, Felix Rieger, Tillmann Rendel, and Klaus Ostermann
In Proceedings of Haskell Symposium. ACM Press, 2012.
A Variability-Aware Module System
by Christian Kästner, Klaus Ostermann, and Sebastian Erdweg
In Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM Press, 2012.
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
by Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, and Thomas Leich
In Science of Computer Programming, 2012.
Scalable Prediction of Non-functional Properties in Software Product Lines: Footprint and Memory Consumption
by Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, and Sergiy S. Kolesnikov
In Information and Software Technology (IST), 2012.
Toward Variability-Aware Testing
by Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, and Klaus Ostermann
In Proceedings of the Fourth Workshop on Feature-Oriented Software Development (FOSD), 2012.
Comparing Program Comprehension of Physically and Virtually Separated Concerns
by Janet Siegmund, Christian Kästner, Jörg Liebig, and Sven Apel
In Proceedings of the Fourth Workshop on Feature-Oriented Software Development (FOSD), 2012.
Toward Measuring Program Comprehension with Functional Magnetic Resonance Imaging
by Janet Siegmund, André Brechmann, Sven Apel, Christian Kästner, Jörg Liebig, Thomas Leich, and Gunter Saake
In Proceedings of the 20th International Symposium on Foundations of Software Engineering – New Ideas Track (FSE20-NIER), 2012.
2011
Partial Preprocessing C Code for Variability Analysis
by Christian Kästner, Paolo G. Giarrusso, and Klaus Ostermann
In Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 137–140. ACM, 2011.
Analyzing the Discipline of Preprocessor Annotations in 30 Million Lines of C Code
by Jörg Liebig, Christian Kästner, and Sven Apel
In Proceedings of the 10th ACM International Conference on Aspect-Oriented Software Development (AOSD), pages 191–202. ACM Press, 2011.
Type Checking Annotation-Based Product Lines
by Christian Kästner, Sven Apel, Thomas Thüm, and Gunter Saake
In ACM Transactions on Software Engineering and Methodology (TOSEM). ACM Press, 2011.
View Infinity: A Zoomable Interface for Feature-Oriented Software Development
by Michael Stengel, Janet Feigenspan, Mathias Frisch, Christian Kästner, Sven Apel, and Raimund Dachselt
In Proceedings of the 33rd International Conference on Software Engineering (ICSE), pages 1031–1033. ACM Press, 2011.
JavaAdaptor: Unrestricted Dynamic Software Updates for Java
by Mario Pukall, Alexander Grebhahn, Reimar Schröter, Christian Kästner, Walter Cazzola, and Sebastian Götz
In Proceedings of the 33rd International Conference on Software Engineering (ICSE), pages 989–991. ACM Press, 2011.
Using Background Colors to Support Program Comprehension in Software Product Lines
by Janet Feigenspan, Michael Schulze, Maria Papendieck, Christian Kästner, Raimund Dachselt, Veit Köppen, and Mathias Frisch
In Proceedings of the 15th International Conference on Evaluation and Assessment in Software Engineering (EASE), pages 66–75. Institution of Engineering and Technology, 2011.
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
by Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, and Tillmann Rendel
In Proceedings of the 25th European Conference on Object-Oriented Programming (ECOOP) 6813: . Springer-Verlag, 2011.
Abstract Features in Feature Modeling
by Thomas Thüm, Christian Kästner, Sebastian Erdweg, and Norbert Siegmund
In Proceedings of the 15th International Software Product Line Conference (SPLC), pages 191–200. IEEE Computer Society, 2011.
Scalable Prediction of Non-functional Properties in Software Product Lines
by Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo G. Giarrusso, Sven Apel, and Sergiy Kolesnikov
In Proceedings of the 15th International Software Product Line Conference (SPLC), pages 160–169. IEEE Computer Society, 2011.
Exploring Software Measures to Assess Program Comprehension
by Janet Feigenspan, Sven Apel, Jörg Liebig, and Christian Kästner
In Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement (ESEM), pages 1–10, paper 3. IEEE Computer Society, 2011.
Service Variability Patterns
by Ateeq Khan, Christian Kästner, and Gunter Saake
In Proceedings of the ER Workshop on Software Variability Management (Variability@ER) 6999: . Springer-Verlag, 2011.
Semistructured Merge: Rethinking Merge in Revision Control Systems
by Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, and Christian Kästner
In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 190–200. ACM Press, 2011.
SPL Conqueror: Toward Optimization of Non-functional Properties in Software Product Lines
by Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Sven Apel, and Gunter Saake
In Software Quality Journal - Special issue on Quality Engineering for Software Product Lines, 2011.
FeatureCommander: Colorful #ifdef World
by Janet Feigenspan, Maria Papendieck, Christian Kästner, Mathias Frisch, and Raimund Dachselt
In Proceedings of the 15th International Software Product Line Conference (SPLC), second volume (Demonstration), 2011.
Virtuelle Trennung von Belangen
by Christian Kästner
In Ausgezeichnete Informatikdissertationen 2010. Gesellschaft für Informatik (GI), 2011.
SugarJ: Library-Based Language Extensibility
by Sebastian Erdweg, Lennart C.L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, and Eelco Visser
In Companion of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 187–188. ACM Press, 2011.
Library-Based Model-Driven Software Development with SugarJ
by Sebastian Erdweg, Lennart C.L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, and Eelco Visser
In Companion of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 17–18. ACM Press, 2011.
Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation
by Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger
In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 805–824. ACM Press, 2011.
SugarJ: Library-based Syntactic Language Extensibility
by Sebastian Erdweg, Tillmann Rendel, Christian Kästner, and Klaus Ostermann
In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 391–406. ACM Press, 2011.
Third International Workshop on Feature-Oriented Software Development (FOSD 2011)
by Sven Apel, Florian Heidenreich, Christian Kästner, and Marko Rosenmüller
In Proceedings of the 15th International Software Product Line Conference (SPLC), pages 337–338. IEEE Computer Society, 2011.
The Road to Feature Modularity?
by Christian Kästner, Sven Apel, and Klaus Ostermann
In Proceedings of the Third Workshop on Feature-Oriented Software Development (FOSD), pages 5:1–5:8. ACM Press, 2011.
Growing a Language Environment with Editor Libraries
by Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, and Eelco Visser
In Proceedings of the 10th International Conference on Generative Programming and Component Engineering (GPCE), pages 167–176. ACM Press, 2011.
Reifying and Optimizing Collection Queries for Modularity
by Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, and Christian Kästner
In Companion of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM Press, 2011.
2010
Testing object-oriented programs using dynamic aspects and non-determinism
by Michael Achenbach and Klaus Ostermann
In Workshop on Testing Object-Oriented Systems. ACM, 2010.
Growing a dynamic aspect language in Ruby
by Michael Achenbach and Klaus Ostermann
In Workshop on Domain-Specific Aspect Languages (DSAL). ACM, 2010.
Modular Logic Metaprogramming
by Karl Klose and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 2010.
Code Clones in Feature-Oriented Software Product Lines
by Sandro Schulze, Sven Apel, and Christian Kästner
In Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE), pages 103–112. ACM Press, 2010.
Modular Domain-Specific Language Components in Scala
by Christian Hofer and Klaus Ostermann
In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE). ACM, 2010.
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing
by Tillmann Rendel and Klaus Ostermann
In Proceedings of the 3th ACM SIGPLAN Haskell Symposium, pages 1–12. ACM, 2010.
A Meta Aspect Protocol for Developing Dynamic Analyses
by Michael Achenbach and Klaus Ostermann
In Proceedings of the Runtime Verification Conference, 2010.
TypeChef: Toward Type Checking #ifdef Variability in C
by Andy Kenner, Christian Kästner, Steffen Haase, and Thomas Leich
In Proceedings of the Second Workshop on Feature-Oriented Software Development (FOSD), pages 25–32. ACM Press, 2010.
Language-Independent Reference Checking in Software Product Lines
by Sven Apel, Wolfgang Scholz, Christian Lengauer, and Christian Kästner
In Proceedings of the Second Workshop on Feature-Oriented Software Development (FOSD), pages 64–71. ACM Press, 2010.
Detecting Dependences and Interactions in Feature-Oriented Design
by Sven Apel, Wolfgang Scholz, Christian Lengauer, and Christian Kästner
In Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 161–170. IEEE Computer Society, 2010.
Featherweight TeX and Parser Correctness
by Sebastian Thore Erdweg and Klaus Ostermann
In Proceedings of International Conference on Software Language Engineering (SLE) 6563: . Springer, 2010.
2009
Typed Self-Representation
by Tillmann Rendel, Klaus Ostermann, and Christian Hofer
In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI), 2009.
A Classification Framework for Pointcut Languages in Runtime Monitoring
by Karl Klose and Klaus Ostermann
In International Conference on Objects, Models, Components, Patterns (TOOLS-Europe’09), 2009.
Engineering Abstractions in Model Checking and Testing
by Michael Achenbach and Klaus Ostermann
In Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM’09), 2009.
2008
Nominal and Structural Subtyping in Component-Based Programming
by Klaus Ostermann
In Journal of Object Technology 7(1): , 2008.
Reasoning about Aspects With Common Sense
by Klaus Ostermann
In Proceedings of the International Conference Aspect-Oriented Software Development (AOSD). ACM Press, 2008.
Polymorphic Embedding of DSLs
by Christian Hofer, Klaus Ostermann, Tillmann Rendel, and Adriaan Moors
In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE). ACM, 2008.
2007
Automatic Incrementalization of Prolog based Static Analyses
by Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, and Klaus Ostermann
In Proceedings of Practical Aspects of Declarative Languages, 9th International Symposium (PADL), pages 109–123. Springer-Verlag Heidelberg, 2007.
Partial Evaluation of Pointcuts
by Karl Klose, Klaus Ostermann, and Michael Leuschel
In Proceedings of Practical Aspects of Declarative Languages, 9th International Symposium (PADL). Springer-Verlag Heidelberg, 2007.
Aspects and Modular Reasoning in Nonmonotonic Logic
by Klaus Ostermann
In Workshop on Foundations of Aspect-Oriented Languages (FOAL’07), Vancouver, Canada, 2007.
On the relation of aspects and monads
by Christian Hofer and Klaus Ostermann
In Workshop on Foundations of Aspect-Oriented Languages (FOAL’07), Vancouver, Canada, 2007.
Clustering for Generating Framework Top-Level Views
by Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, and Klaus Ostermann
In Proceedings of 14th Conference on Reverse Engineering (WCRE’07). IEEE Computer Society Press, 2007.
Dependent Classes
by Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2007.
2006
A virtual class calculus
by Erik Ernst, Klaus Ostermann, and William R. Cook
In ACM SIGPLAN-SIGSOFT Symposium on Principles of Programming Languages (POPL’06), ACM SIGPLAN Not. 41(1): . ACM, 2006.
Overview of CaesarJ
by Ivica Aracic, Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann
In Transactions on AOSD I, LNCS 3880: . Springer, 2006.
Integrating and Scheduling an Open Set of Static Analyses
by Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, and Benjamin Rank
In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE CS, 2006.
Software Extension and Integration with Type Classes
by Ralf Lämmel and Klaus Ostermann
In ACM Conference on Generative Programming and Component Engineering (GPCE’06). ACM, 2006.
2005
Back to the Future: Pointcuts as Predicates over Traces
by Karl Klose and Klaus Ostermann
In Workshop on Foundations of Aspect-Oriented Languages (FOAL’05), Chicago, USA, 2005.
Expressive Pointcuts for Increased Modularity
by Klaus Ostermann, Mira Mezini, and Christoph Bockisch
In Proceedings of the European Conference on Object-Oriented Programming (ECOOP) 3586: . Springer-Verlag, 2005.
Aspektorientierte Softwareentwicklung mit CaesarJ
by Iris Groher, Vaidas Gasiunas, Christa Schwanninger, and Klaus Ostermann
In Java Spektrum Dec 2005, 2005.
A Comparison of Program Generation with Aspect-Oriented Programming
by Mira Mezini and Klaus Ostermann
In Proceedings of the EU-NSF Strategic Research Workshop on Unconventional Programming Paradigms. Springer Verlag, LNCS 3566, 2005.
2004
Virtual machine support for dynamic join points.
by Christoph Bockisch, Michael Haupt, Mira Mezini, and Klaus Ostermann
In Conference on Aspect-Oriented Software Development, pages 83–92, 2004.
Simple Dependent Types: Concord
by Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann
In Workshop on Formal Techniques for Java-like Programs at ECOOP 2004, 2004.
Bessere Software durch Querschneidende Module
by Klaus Ostermann
In Ausgezeichnete Informatikdissertationen 2004, 2004.
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments
by Michael Eichberg, Mira Mezini, Klaus Ostermann, and Thorsten Schäfer
In Eleventh Working Conference on Reverse Engineering, pages 182–191. IEEE Computer Society, 2004.
Variability Management with Feature-Oriented Programming and Aspects
by Mira Mezini and Klaus Ostermann
In Foundations of Software Engineering (FSE-12). ACM SIGSOFT, 2004.
Pointcuts as Functional Queries
by Michael Eichberg, Mira Mezini, and Klaus Ostermann
In Programming Languages and Systems: Second Asian Symposium, APLAS 2004, pages 366–382. Springer-Verlag Heidelberg, 2004.
2003
Modules for Crosscutting Models
by Mira Mezini and Klaus Ostermann
In Invited Paper at 8th International Conference on Reliable Software Technologies 2655. Springer, 2003.
On Aspectualizing Component Models
by R. Pichler, Klaus Ostermann, and Mira Mezini
In Software Practice and Experience 33(10): , 2003.
2002
Dynamically Composable Collaborations with Delegation Layers
by Klaus Ostermann
In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP), Malaga, Spain 2374: . Springer-Verlag, 2002.
Integrating Independent Components with On-Demand Remodularization
by Mira Mezini and Klaus Ostermann
In Proceedings of OOPSLA ’02, Sigplan Notices, 37 (11), pages 52–67, 2002.
Conquering Aspects with Caesar
by Mira Mezini and Klaus Ostermann
In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD), pages 90–100. ACM, 2002.
2001
Joint efforts to dispel an approaching modularity crisis
by Stephan Herrmann, Mira Mezini, and Klaus Ostermann
In Sixth International Workshop on Component-Oriented Programming (WCOP), 2001.
Object-Oriented Composition is Tangled
by Klaus Ostermann and Mira Mezini
In Workshop on Advanced Separation of Concerns at ECOOP, 2001.
Object-Oriented Composition Untangled
by Klaus Ostermann and Mira Mezini
In Proceedings of ACM 16th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA ’01) 36(10), 2001.
Implementing Reusable Collaborations with Delegation Layers
by Klaus Ostermann and Mira Mezini
In First Workshop on Language Mechanisms for Programming Software Components at OOPSLA, 2001.
2000
Independent Extensibility - an open challenge for AspectJ and Hyper/J
by Klaus Ostermann and Günter Kniesel
In Workshop on Aspects and Dimensions of Concern at ECOOP, 2000.
Supporting Extension of Components with new Paradigms
by Lutz Dominick and Klaus Ostermann
In Workshop on Advanced Separation of Concerns at OOPSLA, 2000.