Klaus Ostermann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
15
Active years
2001–2022
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. | Philipp Schuster, Jonathan Immanuel Brachthuser, Klaus Ostermann |
| 2022 | ICFP | Structural refinement types. | David Binder, Ingo Skupin, David Lwen, Klaus Ostermann |
| 2022 | PLDI | A typed continuation-passing translation for lexical effect handlers. | Philipp Schuster, Jonathan Immanuel Brachthuser, Marius Mller, Klaus Ostermann |
| 2020 | ITiCSE | 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 |
| 2018 | ESOP | Dualizing Generalized Algebraic Data Types by Matrix Transposition. | Klaus Ostermann, Julian Jabs |
| 2016 | OOPSLA | Parsing with first-class derivatives. | Jonathan Immanuel Brachthuser, Tillmann Rendel, Klaus Ostermann |
| 2016 | POPL | System f-omega with equirecursive types for datatype-generic programming. | Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann |
| 2015 | ICFP | Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. | Tillmann Rendel, Julia Trieflinger, Klaus Ostermann |
| 2014 | GPCE | Projectional editing of variational software. | Eric Walkingshaw, Klaus Ostermann |
| 2014 | OOPSLA | From object algebras to attribute grammars. | Tillmann Rendel, Jonathan Immanuel Brachthuser, Klaus Ostermann |
| 2014 | PLDI | A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. | Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann |
| 2013 | SLE | Software Evolution to Domain-Specific Languages. | Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann |
| 2012 | GPCE | Toward variability-aware testing. | Christian Kstner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann |
| 2012 | HASKELL | Layout-sensitive language extensibility with SugarHaskell. | Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann |
| 2012 | OOPSLA | Reifying and optimizing collection queries for modularity. | Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kstner |
| 2012 | OOPSLA | A variability-aware module system. | Christian Kstner, Klaus Ostermann, Sebastian Erdweg |
| 2012 | SLE | Layout-Sensitive Generalized Parsing. | Sebastian Erdweg, Tillmann Rendel, Christian Kstner, Klaus Ostermann |
| 2011 | ECOOP | Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. | Klaus Ostermann, Paolo G. Giarrusso, Christian Kstner, Tillmann Rendel |
| 2011 | GPCE | Growing a language environment with editor libraries. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | OOPSLA | Library-based model-driven software development with SugarJ. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | OOPSLA | SugarJ: library-based language extensibility. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | OOPSLA | SugarJ: library-based syntactic language extensibility. | Sebastian Erdweg, Tillmann Rendel, Christian Kstner, Klaus Ostermann |
| 2011 | OOPSLA | Variability-aware parsing in the presence of lexical macros and conditional compilation. | Christian Kstner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger |
| 2011 | SPLC | The road to feature modularity? | Christian Kstner, Sven Apel, Klaus Ostermann |
| 2010 | GPCE | Modular domain-specific language components in scala. | Christian Hofer, Klaus Ostermann |
| 2010 | HASKELL | Invertible syntax descriptions: unifying parsing and pretty printing. | Tillmann Rendel, Klaus Ostermann |
| 2010 | OOPSLA | Modular logic metaprogramming. | Karl Klose, Klaus Ostermann |
| 2010 | RV | A Meta-Aspect Protocol for Developing Dynamic Analyses. | Michael Achenbach, Klaus Ostermann |
| 2010 | SLE | Featherweight TeX and Parser Correctness. | Sebastian Thore Erdweg, Klaus Ostermann |
| 2009 | PLDI | Typed self-representation. | Tillmann Rendel, Klaus Ostermann, Christian Hofer |
| 2009 | SCAM | Engineering Abstractions in Model Checking and Testing. | Michael Achenbach, Klaus Ostermann |
| 2008 | GPCE | Polymorphic embedding of dsls. | Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors |
| 2007 | OOPSLA | Dependent classes. | Vaidas Gasiunas, Mira Mezini, Klaus Ostermann |
| 2007 | PADL | Automatic Incrementalization of Prolog Based Static Analyses. | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
| 2007 | PADL | Partial Evaluation of Pointcuts. | Karl Klose, Klaus Ostermann, Michael Leuschel |
| 2006 | GPCE | Software extension and integration with type classes. | Ralf Lmmel, Klaus Ostermann |
| 2006 | POPL | A virtual class calculus. | Erik Ernst, Klaus Ostermann, William R. Cook |
| 2005 | ECOOP | Expressive Pointcuts for Increased Modularity. | Klaus Ostermann, Mira Mezini, Christoph Bockisch |
| 2004 | APLAS | Pointcuts as Functional Queries. | Michael Eichberg, Mira Mezini, Klaus Ostermann |
| 2002 | ECOOP | Dynamically Composable Collaborations with Delegation Layers. | Klaus Ostermann |
| 2002 | OOPSLA | Integrating independent components with on-demand remodularization. | Mira Mezini, Klaus Ostermann |
| 2001 | OOPSLA | Object-Oriented Composition Untangled. | Klaus Ostermann, Mira Mezini |