Programming Languages

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 More

2023

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 More

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.

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 More

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.

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 More

2019

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 More

2018

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 More

2017

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 More

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.

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 More

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.

Learn More

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.

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 More

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.

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 More

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.

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 More

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.

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 More

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.

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 More

2009

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 More

2008

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 More

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.

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 More

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.

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 More

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.

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 More

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.

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 More

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.

Learn More

On Aspectualizing Component Models

by R. Pichler, Klaus Ostermann, and Mira Mezini

In Software Practice and Experience 33(10): , 2003.

Learn More

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.

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 More

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.

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 More

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.

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 More

PhD 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 More

Technical 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 More

Master 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 More

Bachelor thesis

Statische Analyse von Produktlinien

by Markus Kreutzer

Bachelor thesis, 2012.

Learn More

Retrofitting Language-oriented Design with SugarJ

by Stefan Fehrenbach

Bachelor thesis, 2011.

Learn More

Other

Untangling Crosscutting Models with Caesar

by Mira Mezini and Klaus Ostermann

In Aspect-Oriented Software Development. Addison-Wesley, 2004.

Learn More