![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Klaus Ostermann
Person information
- affiliation: Eberhard Karls University of Tübingen, Department of Computer Science
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]David Binder
, Ingo Skupin, Tim Süberkrüb
, Klaus Ostermann
:
Deriving Dependently-Typed OOP from First Principles. Proc. ACM Program. Lang. 8(OOPSLA1): 983-1009 (2024) - [i7]David Binder
, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann:
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices. CoRR abs/2403.06707 (2024) - [i6]David Binder
, Marco Tzschentke, Marius Müller, Klaus Ostermann:
Grokking the Sequent Calculus (Functional Pearl). CoRR abs/2406.14719 (2024) - 2023
- [j15]Marius Müller
, Philipp Schuster
, Jonathan Immanuel Brachthäuser
, Klaus Ostermann
:
Back to Direct Style: Typed and Tight. Proc. ACM Program. Lang. 7(OOPSLA1): 848-875 (2023) - [j14]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): 941-970 (2023) - 2022
- [j13]Klaus Ostermann
, David Binder
, Ingo Skupin
, Tim Süberkrüb
, Paul Downen
:
Introduction and elimination, left and right. Proc. ACM Program. Lang. 6(ICFP): 438-465 (2022) - [c58]Philipp Schuster, Jonathan Immanuel Brachthäuser
, Klaus Ostermann:
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. ESOP 2022: 492-519 - [c57]David Binder
, Ingo Skupin, David Läwen, Klaus Ostermann:
Structural refinement types. TyDe@ICFP 2022: 15-27 - [c56]Philipp Schuster, Jonathan Immanuel Brachthäuser
, Marius Müller
, Klaus Ostermann:
A typed continuation-passing translation for lexical effect handlers. PLDI 2022: 566-579 - [i5]David Binder
, Julian Jabs, Ingo Skupin, Klaus Ostermann:
Data-Codata Symmetry and its Interaction with Evaluation Order. CoRR abs/2211.13004 (2022) - 2020
- [j12]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: e8 (2020) - [j11]Philipp Schuster, Jonathan Immanuel Brachthäuser
, Klaus Ostermann:
Compiling effect handlers in capability-passing style. Proc. ACM Program. Lang. 4(ICFP): 93:1-93:28 (2020) - [j10]Jonathan Immanuel Brachthäuser
, Philipp Schuster, Klaus Ostermann:
Effects as capabilities: effect handlers and lightweight effect polymorphism. Proc. ACM Program. Lang. 4(OOPSLA): 126:1-126:30 (2020) - [j9]David Binder
, Julian Jabs, Ingo Skupin, Klaus Ostermann:
Decomposition diversity with symmetric data and codata. Proc. ACM Program. Lang. 4(POPL): 30:1-30:28 (2020) - [c55]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: 138-144
2010 – 2019
- 2019
- [c54]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: 26:1-26:9 - 2018
- [j8]Jonathan Immanuel Brachthäuser
, Philipp Schuster, Klaus Ostermann:
Effect handlers for the masses. Proc. ACM Program. Lang. 2(OOPSLA): 111:1-111:27 (2018) - [j7]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): 60:1-60:29 (2018) - [c53]Klaus Ostermann, Julian Jabs:
Dualizing Generalized Algebraic Data Types by Matrix Transposition. ESOP 2018: 60-85 - 2017
- [j6]Sebastian Erdweg, Klaus Ostermann:
A Module-System Discipline for Model-Driven Software Development. Art Sci. Eng. Program. 1(2): 9 (2017) - [i4]Sebastian Erdweg, Klaus Ostermann:
A Module-System Discipline for Model-Driven Software Development. CoRR abs/1703.10895 (2017) - [i3]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 abs/1711.03219 (2017) - 2016
- [c52]Jonathan Immanuel Brachthäuser
, Tillmann Rendel, Klaus Ostermann:
Parsing with first-class derivatives. OOPSLA 2016: 588-606 - [c51]Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann:
System f-omega with equirecursive types for datatype-generic programming. POPL 2016: 30-43 - 2015
- [c50]Tillmann Rendel, Julia Trieflinger, Klaus Ostermann:
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. ICFP 2015: 269-279 - 2014
- [j5]Sebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann:
Evolution of Software Systems with Extensible Languages and DSLs. IEEE Softw. 31(5): 68-75 (2014) - [j4]Christian Kästner
, Alexander Dreiling, Klaus Ostermann:
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features. IEEE Trans. Software Eng. 40(1): 67-82 (2014) - [c49]Eric Walkingshaw, Klaus Ostermann:
Projectional editing of variational software. GPCE 2014: 29-38 - [c48]Tillmann Rendel, Jonathan Immanuel Brachthäuser
, Klaus Ostermann:
From object algebras to attribute grammars. OOPSLA 2014: 377-395 - [c47]Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann:
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. PLDI 2014: 145-155 - 2013
- [c46]Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
:
Reify your collection queries for modularity and speed! AOSD 2013: 1-12 - [c45]Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann:
Software Evolution to Domain-Specific Languages. SLE 2013: 96-116 - [c44]Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw:
Adding configuration to the choice calculus. VaMoS 2013: 13:1-13:8 - [i2]Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann:
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation. CoRR abs/1312.0658 (2013) - 2012
- [c43]Christian Kästner
, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel
, Tillmann Rendel, Klaus Ostermann:
Toward variability-aware testing. FOSD 2012: 1-8 - [c42]Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann:
Layout-sensitive language extensibility with SugarHaskell. Haskell 2012: 149-160 - [c41]Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner
:
Reifying and optimizing collection queries for modularity. SPLASH 2012: 77-78 - [c40]Christian Kästner
, Klaus Ostermann, Sebastian Erdweg:
A variability-aware module system. OOPSLA 2012: 773-792 - [c39]Sebastian Erdweg, Tillmann Rendel, Christian Kästner
, Klaus Ostermann:
Layout-Sensitive Generalized Parsing. SLE 2012: 244-263 - [e2]Klaus Ostermann, Walter Binder
:
Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. ACM 2012, ISBN 978-1-4503-1129-8 [contents] - [e1]Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter:
Transactions on Aspect-Oriented Software Development IX. Lecture Notes in Computer Science 7271, Springer 2012, ISBN 978-3-642-35550-9 [contents] - [i1]Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner:
Reify Your Collection Queries for Modularity and Speed! CoRR abs/1210.6284 (2012) - 2011
- [c38]Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner
, Tillmann Rendel:
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. ECOOP 2011: 155-178 - [c37]Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner
, Klaus Ostermann, Eelco Visser
:
Growing a language environment with editor libraries. GPCE 2011: 167-176 - [c36]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: 17-18 - [c35]Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner
, Klaus Ostermann, Eelco Visser
:
SugarJ: library-based language extensibility. OOPSLA Companion 2011: 187-188 - [c34]Sebastian Erdweg, Tillmann Rendel, Christian Kästner
, Klaus Ostermann:
SugarJ: library-based syntactic language extensibility. OOPSLA 2011: 391-406 - [c33]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: 805-824 - [c32]Christian Kästner
, Sven Apel
, Klaus Ostermann:
The road to feature modularity? SPLC Workshops 2011: 5 - [c31]Christian Kästner
, Paolo G. Giarrusso, Klaus Ostermann:
Partial preprocessing C code for variability analysis. VaMoS 2011: 127-136 - 2010
- [c30]Christian Hofer, Klaus Ostermann:
Modular domain-specific language components in scala. GPCE 2010: 83-92 - [c29]Tillmann Rendel, Klaus Ostermann:
Invertible syntax descriptions: unifying parsing and pretty printing. Haskell 2010: 1-12 - [c28]Karl Klose, Klaus Ostermann:
Modular logic metaprogramming. OOPSLA 2010: 484-503 - [c27]Michael Achenbach, Klaus Ostermann:
A Meta-Aspect Protocol for Developing Dynamic Analyses. RV 2010: 153-167 - [c26]Sebastian Thore Erdweg, Klaus Ostermann:
Featherweight TeX and Parser Correctness. SLE 2010: 397-416
2000 – 2009
- 2009
- [c25]Tillmann Rendel, Klaus Ostermann, Christian Hofer:
Typed self-representation. PLDI 2009: 293-303 - [c24]Michael Achenbach, Klaus Ostermann:
Engineering Abstractions in Model Checking and Testing. SCAM 2009: 137-146 - [c23]Karl Klose, Klaus Ostermann:
A Classification Framework for Pointcut Languages in Runtime Monitoring. TOOLS (47) 2009: 289-307 - 2008
- [j3]Klaus Ostermann:
Nominal and Structural Subtyping in Component-Based Programming. J. Object Technol. 7(1): 121-145 (2008) - [c22]Klaus Ostermann:
Reasoning about aspects with common sense. AOSD 2008: 48-59 - [c21]Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors:
Polymorphic embedding of dsls. GPCE 2008: 137-148 - 2007
- [c20]Christian Hofer, Klaus Ostermann:
On the relation of aspects and monads. FOAL 2007: 27-33 - [c19]Klaus Ostermann:
Aspects and modular reasoning in nonmonotonic logic. FOAL 2007: 59-64 - [c18]Vaidas Gasiunas, Mira Mezini, Klaus Ostermann:
Dependent classes. OOPSLA 2007: 133-152 - [c17]Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann:
Automatic Incrementalization of Prolog Based Static Analyses. PADL 2007: 109-123 - [c16]Karl Klose, Klaus Ostermann, Michael Leuschel:
Partial Evaluation of Pointcuts. PADL 2007: 320-334 - [c15]Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, Klaus Ostermann:
Clustering for Generating Framework Top-Level Views. WCRE 2007: 239-248 - 2006
- [j2]Ivica Aracic, Vaidas Gasiunas, Mira Mezini, Klaus Ostermann:
An Overview of CaesarJ. LNCS Trans. Aspect Oriented Softw. Dev. 1: 135-173 (2006) - [c14]Ralf Lämmel
, Klaus Ostermann:
Software extension and integration with type classes. GPCE 2006: 161-170 - [c13]Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank:
Integrating and Scheduling an Open Set of Static Analyses. ASE 2006: 113-122 - [c12]Erik Ernst, Klaus Ostermann, William R. Cook:
A virtual class calculus. POPL 2006: 270-282 - 2005
- [c11]Klaus Ostermann, Mira Mezini, Christoph Bockisch:
Expressive Pointcuts for Increased Modularity. ECOOP 2005: 214-240 - 2004
- [c10]Christoph Bockisch, Michael Haupt, Mira Mezini, Klaus Ostermann:
Virtual machine support for dynamic join points. AOSD 2004: 83-92 - [c9]Michael Eichberg, Mira Mezini, Klaus Ostermann:
Pointcuts as Functional Queries. APLAS 2004: 366-381 - [c8]Mira Mezini, Klaus Ostermann:
Variability management with feature-oriented programming and aspects. SIGSOFT FSE 2004: 127-136 - [c7]Mira Mezini, Klaus Ostermann:
A Comparison of Program Generation with Aspect-Oriented Programming. UPP 2004: 342-354 - [c6]Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer:
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments. WCRE 2004: 182-191 - 2003
- [b1]Klaus Ostermann:
Modules for hierarchical and crosscutting models. Darmstadt University of Technology, Germany, 2003, pp. 1-171 - [j1]Roman Pichler, Klaus Ostermann, Mira Mezini:
On aspectualizing component models. Softw. Pract. Exp. 33(10): 957-974 (2003) - [c5]Mira Mezini, Klaus Ostermann:
Modules for Crosscutting Models. Ada-Europe 2003: 24-44 - [c4]Mira Mezini, Klaus Ostermann:
Conquering aspects with Caesar. AOSD 2003: 90-99 - [p1]Klaus Ostermann:
Bessere Software durch Querschneidende Module. Ausgezeichnete Informatikdissertationen 2003: 159-168 - 2002
- [c3]Klaus Ostermann:
Dynamically Composable Collaborations with Delegation Layers. ECOOP 2002: 89-110 - [c2]Mira Mezini, Klaus Ostermann:
Integrating independent components with on-demand remodularization. OOPSLA 2002: 52-67 - 2001
- [c1]Klaus Ostermann, Mira Mezini:
Object-Oriented Composition Untangled. OOPSLA 2001: 283-299
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint