Klaus Ostermann

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 24

Top Venues

Proc. ACM Program. Lang.

CoRR

PLDI

OOPSLA

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann
Grokking the Sequent Calculus (Functional Pearl). CoRR (2024)
David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices. CoRR (2024)
David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
Deriving Dependently-Typed OOP from First Principles. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Back to Direct Style: Typed and Tight. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
Data-Codata Symmetry and its Interaction with Evaluation Order. CoRR (2022)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. ESOP (2022)
David Binder, Ingo Skupin, David Läwen, Klaus Ostermann
Structural refinement types. TyDe@ICFP (2022)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
A typed continuation-passing translation for lexical effect handlers. PLDI (2022)
Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen
Introduction and elimination, left and right. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Luzia Leifheit, Katerina Tsarava, Manuel Ninaus, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, Korbinian Moeller
SCAPA: Development of a Questionnaire Assessing Self-Concept and Attitudes Toward Programming. ITiCSE (2020)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Compiling effect handlers in capability-passing style. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. J. Funct. Program. 30 (2020)
David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
Decomposition diversity with symmetric data and codata. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effects as capabilities: effect handlers and lightweight effect polymorphism. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Luzia Leifheit, Katerina Tsarava, Korbinian Moeller, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, Manuel Ninaus
Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming. WiPSCE (2019)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effect handlers for the masses. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Klaus Ostermann, Julian Jabs
Dualizing Generalized Algebraic Data Types by Matrix Transposition. ESOP (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Sebastian Erdweg, Klaus Ostermann
A Module-System Discipline for Model-Driven Software Development. CoRR (2017)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Sebastian Erdweg, Klaus Ostermann
A Module-System Discipline for Model-Driven Software Development. Art Sci. Eng. Program. 1 (2) (2017)
Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann
System f-omega with equirecursive types for datatype-generic programming. POPL (2016)
Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann
Parsing with first-class derivatives. OOPSLA (2016)
Tillmann Rendel, Julia Trieflinger, Klaus Ostermann
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. ICFP (2015)
Christian Kästner, Alexander Dreiling, Klaus Ostermann
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features. IEEE Trans. Software Eng. 40 (1) (2014)
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. PLDI (2014)
Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann
Evolution of Software Systems with Extensible Languages and DSLs. IEEE Softw. 31 (5) (2014)
Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann
From object algebras to attribute grammars. OOPSLA (2014)
Eric Walkingshaw, Klaus Ostermann
Projectional editing of variational software. GPCE (2014)
Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann
Software Evolution to Domain-Specific Languages. SLE (2013)
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
Reify your collection queries for modularity and speed! AOSD (2013)
Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw
Adding configuration to the choice calculus. VaMoS (2013)
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation. CoRR (2013)
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner
Reifying and optimizing collection queries for modularity. SPLASH (2012)
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
Reify Your Collection Queries for Modularity and Speed! CoRR (2012)
Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann
Toward variability-aware testing. FOSD (2012)
Christian Kästner, Klaus Ostermann, Sebastian Erdweg
A variability-aware module system. OOPSLA (2012)
Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
Layout-sensitive language extensibility with SugarHaskell. Haskell (2012)
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
Layout-Sensitive Generalized Parsing. SLE (2012)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
Growing a language environment with editor libraries. GPCE (2011)
Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
SugarJ: library-based syntactic language extensibility. OOPSLA (2011)
Christian Kästner, Sven Apel, Klaus Ostermann
The road to feature modularity? SPLC Workshops (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
Library-based model-driven software development with SugarJ. OOPSLA Companion (2011)
Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann
Partial preprocessing C code for variability analysis. VaMoS (2011)
Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. ECOOP (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
SugarJ: library-based language extensibility. OOPSLA Companion (2011)
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger
Variability-aware parsing in the presence of lexical macros and conditional compilation. OOPSLA (2011)
Sebastian Thore Erdweg, Klaus Ostermann
Featherweight TeX and Parser Correctness. SLE (2010)
Christian Hofer, Klaus Ostermann
Modular domain-specific language components in scala. GPCE (2010)
Tillmann Rendel, Klaus Ostermann
Invertible syntax descriptions: unifying parsing and pretty printing. Haskell (2010)
Karl Klose, Klaus Ostermann
Modular logic metaprogramming. OOPSLA (2010)
Michael Achenbach, Klaus Ostermann
A Meta-Aspect Protocol for Developing Dynamic Analyses. RV (2010)
Karl Klose, Klaus Ostermann
A Classification Framework for Pointcut Languages in Runtime Monitoring. TOOLS (47) (2009)
Tillmann Rendel, Klaus Ostermann, Christian Hofer
Typed self-representation. PLDI (2009)
Michael Achenbach, Klaus Ostermann
Engineering Abstractions in Model Checking and Testing. SCAM (2009)
Klaus Ostermann
Nominal and Structural Subtyping in Component-Based Programming. J. Object Technol. 7 (1) (2008)
Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors
Polymorphic embedding of dsls. GPCE (2008)
Klaus Ostermann
Reasoning about aspects with common sense. AOSD (2008)
Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
Automatic Incrementalization of Prolog Based Static Analyses. PADL (2007)
Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
Dependent classes. OOPSLA (2007)
Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, Klaus Ostermann
Clustering for Generating Framework Top-Level Views. WCRE (2007)
Christian Hofer, Klaus Ostermann
On the relation of aspects and monads. FOAL (2007)
Karl Klose, Klaus Ostermann, Michael Leuschel
Partial Evaluation of Pointcuts. PADL (2007)
Klaus Ostermann
Aspects and modular reasoning in nonmonotonic logic. FOAL (2007)
Ralf Lämmel, Klaus Ostermann
Software extension and integration with type classes. GPCE (2006)
Ivica Aracic, Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
An Overview of CaesarJ. LNCS Trans. Aspect Oriented Softw. Dev. 1 (2006)
Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank
Integrating and Scheduling an Open Set of Static Analyses. ASE (2006)
Erik Ernst, Klaus Ostermann, William R. Cook
A virtual class calculus. POPL (2006)
Klaus Ostermann, Mira Mezini, Christoph Bockisch
Expressive Pointcuts for Increased Modularity. ECOOP (2005)
Christoph Bockisch, Michael Haupt, Mira Mezini, Klaus Ostermann
Virtual machine support for dynamic join points. AOSD (2004)
Michael Eichberg, Mira Mezini, Klaus Ostermann
Pointcuts as Functional Queries. APLAS (2004)
Mira Mezini, Klaus Ostermann
A Comparison of Program Generation with Aspect-Oriented Programming. UPP (2004)
Mira Mezini, Klaus Ostermann
Variability management with feature-oriented programming and aspects. SIGSOFT FSE (2004)
Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments. WCRE (2004)
Mira Mezini, Klaus Ostermann
Conquering aspects with Caesar. AOSD (2003)
Klaus Ostermann
Bessere Software durch Querschneidende Module. Ausgezeichnete Informatikdissertationen (2003)
Mira Mezini, Klaus Ostermann
Modules for Crosscutting Models. Ada-Europe (2003)
Roman Pichler, Klaus Ostermann, Mira Mezini
On aspectualizing component models. Softw. Pract. Exp. 33 (10) (2003)
Klaus Ostermann
Dynamically Composable Collaborations with Delegation Layers. ECOOP (2002)
Mira Mezini, Klaus Ostermann
Integrating independent components with on-demand remodularization. OOPSLA (2002)
Klaus Ostermann, Mira Mezini
Object-Oriented Composition Untangled. OOPSLA (2001)

Klaus Ostermann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Klaus Ostermann