Publications
2024
Grokking the Sequent Calculus (Functional Pearl)
by David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2024.
Learn More2023
Back to Direct Style: Typed and Tight
by Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2023.
Learn More
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 Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2023.
Learn More2022
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.
Learn More
A Typed Continuation-Passing Translation for Lexical Effect Handlers
by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
In Proc. Conf. Programming Language Design and Implementation (PLDI), 2022.
Learn More
Introduction and Elimination, Left and Right
by Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2022.
Learn More2020
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.
Learn More
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.
Learn More
Compiling Effect Handlers in Capability-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2020.
Learn More
Effect Handlers, Evidently
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2020.
Learn More
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2020.
Learn More2019
Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
by Paolo G. Giarusso, Yann Régis-Gianas, and Philipp Schuster
In Proc. Europ. Symposium on Programming (ESOP). Springer-Verlag, 2019.
Learn More
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.
Learn More2018
Effect Handlers for the Masses
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2018.
Learn More
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.
Learn More
Dualizing Generalized Algebraic Data Types by Matrix Transposition
by Klaus Ostermann and Julian Jabs
In Proc. Europ. Symposium on Programming (ESOP). Lecture Notes in Computer Science, 2018.
Learn More
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.
Learn More2017
Towards Naturalistic EDSLs using Algebraic Effects
by Jonathan Immanuel Brachthäuser
In Workshop for Domain Specific Languages, Design and Implementation (DSLDI), 2017.
Learn More
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.
Learn More2016
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.
Learn More
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.
Learn More
Parsing with First-Class Derivatives
by Jonathan Brachthäuser, Tillmann Rendel, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2016.
Learn More2015
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.
Learn More2014
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.
Learn More
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.
Learn More
From Object Algebras to Attribute Grammars
by Tillmann Rendel, Jonathan 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.
Learn More
Evolution of Software Systems with Extensible Languages and DSLs
by Sebastian Erdweg, Stefan Fehrenbach, and Klaus Ostermann
In IEEE Software 31(5): , 2014.
Learn More
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.
Learn More
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.
Learn More2013
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.
Learn More
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 Proc. Int’l Conf. Aspect-Oriented Software Development (AOSD), pages 1–12. ACM, 2013.
Learn More
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.
Learn More
Software Evolution to Domain-Specific Languages
by Stefan Fehrenbach, Sebastian Erdweg, and Klaus Ostermann
In Proceedings of Conference on Software Language Engineering (SLE), 2013.
Learn More
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.
Learn More2012
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
Layout-sensitive Language Extensibility with SugarHaskell
by Sebastian Erdweg, Felix Rieger, Tillmann Rendel, and Klaus Ostermann
In Proceedings of Haskell Symposium. ACM Press, 2012.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More2011
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
Virtuelle Trennung von Belangen
by Christian Kästner
In Ausgezeichnete Informatikdissertationen 2010. Gesellschaft für Informatik (GI), 2011.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More2010
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.
Learn More
Growing a dynamic aspect language in Ruby
by Michael Achenbach and Klaus Ostermann
In Workshop on Domain-Specific Aspect Languages (DSAL). ACM, 2010.
Learn More
Modular Logic Metaprogramming
by Karl Klose and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 2010.
Learn More
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.
Learn More
Modular Domain-Specific Language Components in Scala
by Christian Hofer and Klaus Ostermann
In Proc. Int’l Conf. Generative Programming and Component Engineering (GPCE). ACM, 2010.
Learn More
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.
Learn More
A Meta Aspect Protocol for Developing Dynamic Analyses
by Michael Achenbach and Klaus Ostermann
In Proceedings of the Runtime Verification Conference, 2010.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More
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.
Learn More2009
Typed Self-Representation
by Tillmann Rendel, Klaus Ostermann, and Christian Hofer
In Proc. Conf. Programming Language Design and Implementation (PLDI), 2009.
Learn More
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.
Learn More
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.
Learn More2008
Nominal and Structural Subtyping in Component-Based Programming
by Klaus Ostermann
In Journal of Object Technology 7(1): , 2008.
Learn More
Reasoning about Aspects With Common Sense
by Klaus Ostermann
In Proc. Int’l Conf. Aspect-Oriented Software Development (AOSD). ACM Press, 2008.
Learn More
Polymorphic Embedding of DSLs
by Christian Hofer, Klaus Ostermann, Tillmann Rendel, and Adriaan Moors
In Proc. Int’l Conf. Generative Programming and Component Engineering (GPCE). ACM, 2008.
Learn More2007
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.
Learn More
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.
Learn More
Aspects and Modular Reasoning in Nonmonotonic Logic
by Klaus Ostermann
In Workshop on Foundations of Aspect-Oriented Languages (FOAL’07), Vancouver, Canada, 2007.
Learn More
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.
Learn More
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.
Learn More
Dependent Classes
by Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2007.
Learn More2006
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.
Learn More
Overview of CaesarJ
by Ivica Aracic, Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann
In Transactions on AOSD I, LNCS 3880: . Springer, 2006.
Learn More
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.
Learn More
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.
Learn More2005
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.
Learn More
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.
Learn More
Aspektorientierte Softwareentwicklung mit CaesarJ
by Iris Groher, Vaidas Gasiunas, Christa Schwanninger, and Klaus Ostermann
In Java Spektrum Dec 2005, 2005.
Learn More
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.
Learn More2004
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.
Learn More
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.
Learn More
Bessere Software durch Querschneidende Module
by Klaus Ostermann
In Ausgezeichnete Informatikdissertationen 2004, 2004.
Learn More
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.
Learn More
Variability Management with Feature-Oriented Programming and Aspects
by Mira Mezini and Klaus Ostermann
In Foundations of Software Engineering (FSE-12). ACM SIGSOFT, 2004.
Learn More
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.
Learn More2003
Modules for Crosscutting Models
by Mira Mezini and Klaus Ostermann
In Invited Paper at 8th International Conference on Reliable Software Technologies 2655. Springer, 2003.
Learn More
On Aspectualizing Component Models
by R. Pichler, Klaus Ostermann, and Mira Mezini
In Software Practice and Experience 33(10): , 2003.
Learn More2002
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.
Learn More
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.
Learn More
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.
Learn More2001
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.
Learn More
Object-Oriented Composition is Tangled
by Klaus Ostermann and Mira Mezini
In Workshop on Advanced Separation of Concerns at ECOOP, 2001.
Learn More
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.
Learn More
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.
Learn More2000
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.
Learn More
Supporting Extension of Components with new Paradigms
by Lutz Dominick and Klaus Ostermann
In Workshop on Advanced Separation of Concerns at OOPSLA, 2000.
Learn MorePhD thesis
Design and Implementation of Effect Handlers for Object-Oriented Programming Languages
by Jonathan Immanuel Brachthäuser
PhD thesis. University of Tübingen, Germany, 2020.
Learn More
On the Expressiveness of Declarative Meta-Languages
by Karl Klose
PhD thesis. Aarhus University, 2010.
Learn More
An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions
by Michael Achenbach
PhD thesis. Aarhus University, 2010.
Learn More
Embedded Programming Languages and Their Representation
by Christian Hofer
PhD thesis. Aarhus University, 2010.
Learn More
Modules for Hierarchical and Crosscutting Models
by Klaus Ostermann
PhD thesis. Technische Universität Darmstadt, Dep. of Computer Science, 2003.
Learn MoreTechnical report
All About That Stack: A Unified Treatment of Regions and Control Effects
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2021.
Learn More
Effekt: Lightweight Effect Polymorphism for Handlers (Technical Report)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2020.
Learn More
Programming with Implicit Values, Functions, and Control
by Jonathan Immanuel Brachthäuser and Daan Leijen
Technical report MSR-TR-2019-7. Microsoft Research, 2019.
Learn More
Zero-cost Effect Handlers by Staging (Technical Report)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2019.
Learn More
Analysis Strategies for Software Product Lines
by Thomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, and Gunter Saake
Technical report FIN-004-2012. School of Computer Science, University of Magdeburg, 2012.
Learn More
A Variability-Aware Module System
by Christian Kästner, Klaus Ostermann, and Sebastian Erdweg
Technical report 01/2012. Department of Mathematics and Computer Science, Philipps University Marburg, 2012.
Learn More
Variability Mining with LEADT
by Christian Kästner, Alexander Dreiling, and Klaus Ostermann
Technical report 01/2011. Department of Mathematics and Computer Science, Philipps University Marburg, 2011.
Learn MoreMaster thesis
Modularization of Algorithms on Complex Data Structures: An Encoding of Typesafe Extensible Functional Objects
by Jonathan Immanuel Brachthäuser
Master thesis. University of Marburg, Germany, 2014.
Learn MoreBachelor thesis
Retrofitting Language-oriented Design with SugarJ
by Stefan Fehrenbach
Bachelor thesis, 2011.
Learn MoreOther
Untangling Crosscutting Models with Caesar
by Mira Mezini and Klaus Ostermann
In Aspect-Oriented Software Development. Addison-Wesley, 2004.
Learn More