Klaus Ostermann

According to our database, Klaus Ostermann authored at least 79 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Grokking the Sequent Calculus (Functional Pearl).

David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann

Proc. ACM Program. Lang., 2024

Deriving Dependently-Typed OOP from First Principles.

David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann

Proc. ACM Program. Lang., 2024

Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices.

David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann

CoRR, 2024

2023

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.

Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., October, 2023

Back to Direct Style: Typed and Tight.

Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proc. ACM Program. Lang., April, 2023

2022

Introduction and elimination, left and right.

Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen

Proc. ACM Program. Lang., 2022

Data-Codata Symmetry and its Interaction with Evaluation Order.

David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann

CoRR, 2022

A typed continuation-passing translation for lexical effect handlers.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Structural refinement types.

David Binder, Ingo Skupin, David Läwen, Klaus Ostermann

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proceedings of the Programming Languages and Systems, 2022

2020

Compiling effect handlers in capability-passing style.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Decomposition diversity with symmetric data and codata.

David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

J. Funct. Program., 2020

SCAPA: Development of a Questionnaire Assessing Self-Concept and Attitudes Toward Programming.

Luzia Leifheit, Katerina Tsarava, Manuel Ninaus, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, Korbinian Moeller

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming.

Luzia Leifheit, Katerina Tsarava, Korbinian Moeller, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, Manuel Ninaus

Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

2018

Denotational validation of higher-order Bayesian inference.

Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani

Proc. ACM Program. Lang., 2018

Effect handlers for the masses.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Proc. ACM Program. Lang., 2018

Dualizing Generalized Algebraic Data Types by Matrix Transposition.

Klaus Ostermann, Julian Jabs

Proceedings of the Programming Languages and Systems, 2018

2017

A Module-System Discipline for Model-Driven Software Development.

Sebastian Erdweg, Klaus Ostermann

Art Sci. Eng. Program., 2017

2016

System f-omega with equirecursive types for datatype-generic programming.

Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Parsing with first-class derivatives.

Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem.

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Variability Mining: Consistent Semi-automatic Detection of Product-Line Features.

Christian Kästner, Alexander Dreiling, Klaus Ostermann

IEEE Trans. Software Eng., 2014

Evolution of Software Systems with Extensible Languages and DSLs.

Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann

IEEE Softw., 2014

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

From object algebras to attribute grammars.

Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Projectional editing of variational software.

Eric Walkingshaw, Klaus Ostermann

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Adding configuration to the choice calculus.

Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Software Evolution to Domain-Specific Languages.

Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reify your collection queries for modularity and speed!

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Layout-Sensitive Generalized Parsing.

Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann

Proceedings of the Software Language Engineering, 5th International Conference, 2012

A variability-aware module system.

Christian Kästner, Klaus Ostermann, Sebastian Erdweg

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reifying and optimizing collection queries for modularity.

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner

Proceedings of the SPLASH'12, 2012

Layout-sensitive language extensibility with SugarHaskell.

Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Toward variability-aware testing.

Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

2011

Partial preprocessing C code for variability analysis.

Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

The road to feature modularity?

Christian Kästner, Sven Apel, Klaus Ostermann

Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability-aware parsing in the presence of lexical macros and conditional compilation.

Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based syntactic language extensibility.

Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based language extensibility.

Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Library-based model-driven software development with SugarJ.

Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Growing a language environment with editor libraries.

Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser

Proceedings of the Generative Programming And Component Engineering, 2011

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity.

Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Featherweight TeX and Parser Correctness.

Sebastian Thore Erdweg, Klaus Ostermann

Proceedings of the Software Language Engineering - Third International Conference, 2010

A Meta-Aspect Protocol for Developing Dynamic Analyses.

Michael Achenbach, Klaus Ostermann

Proceedings of the Runtime Verification - First International Conference, 2010

Modular logic metaprogramming.

Karl Klose, Klaus Ostermann

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Invertible syntax descriptions: unifying parsing and pretty printing.

Tillmann Rendel, Klaus Ostermann

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Modular domain-specific language components in scala.

Christian Hofer, Klaus Ostermann

Proceedings of the Generative Programming And Component Engineering, 2010

2009

A Classification Framework for Pointcut Languages in Runtime Monitoring.

Karl Klose, Klaus Ostermann

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Engineering Abstractions in Model Checking and Testing.

Michael Achenbach, Klaus Ostermann

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Typed self-representation.

Tillmann Rendel, Klaus Ostermann, Christian Hofer

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Nominal and Structural Subtyping in Component-Based Programming.

Klaus Ostermann

J. Object Technol., 2008

Polymorphic embedding of dsls.

Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors

Proceedings of the Generative Programming and Component Engineering, 2008

Reasoning about aspects with common sense.

Klaus Ostermann

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007

Clustering for Generating Framework Top-Level Views.

Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, Klaus Ostermann

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Partial Evaluation of Pointcuts.

Karl Klose, Klaus Ostermann, Michael Leuschel

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Automatic Incrementalization of Prolog Based Static Analyses.

Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Dependent classes.

Vaidas Gasiunas, Mira Mezini, Klaus Ostermann

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Aspects and modular reasoning in nonmonotonic logic.

Klaus Ostermann

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

On the relation of aspects and monads.

Christian Hofer, Klaus Ostermann

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006

An Overview of CaesarJ.

Ivica Aracic, Vaidas Gasiunas, Mira Mezini, Klaus Ostermann

LNCS Trans. Aspect Oriented Softw. Dev., 2006

A virtual class calculus.

Erik Ernst, Klaus Ostermann, William R. Cook

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Integrating and Scheduling an Open Set of Static Analyses.

Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Software extension and integration with type classes.

Ralf Lämmel, Klaus Ostermann

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Expressive Pointcuts for Increased Modularity.

Klaus Ostermann, Mira Mezini, Christoph Bockisch

Proceedings of the ECOOP 2005, 2005

2004

XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.

Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

A Comparison of Program Generation with Aspect-Oriented Programming.

Mira Mezini, Klaus Ostermann

Proceedings of the Unconventional Programming Paradigms, 2004

Variability management with feature-oriented programming and aspects.

Mira Mezini, Klaus Ostermann

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Pointcuts as Functional Queries.

Michael Eichberg, Mira Mezini, Klaus Ostermann

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

Virtual machine support for dynamic join points.

Christoph Bockisch, Michael Haupt, Mira Mezini, Klaus Ostermann

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003

Modules for hierarchical and crosscutting models.

Klaus Ostermann

PhD thesis, 2003

On aspectualizing component models.

Roman Pichler, Klaus Ostermann, Mira Mezini

Softw. Pract. Exp., 2003

Bessere Software durch Querschneidende Module.

Klaus Ostermann

Proceedings of the Ausgezeichnete Informatikdissertationen 2003, 2003

Conquering aspects with Caesar.

Mira Mezini, Klaus Ostermann

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Modules for Crosscutting Models.

Mira Mezini, Klaus Ostermann

Proceedings of the Reliable Software Technologies, 2003

2002

Integrating independent components with on-demand remodularization.

Mira Mezini, Klaus Ostermann

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Dynamically Composable Collaborations with Delegation Layers.

Klaus Ostermann

Proceedings of the ECOOP 2002, 2002

2001

Object-Oriented Composition Untangled.

Klaus Ostermann, Mira Mezini

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001