Klaus Ostermann

87 papers A* 6A 15B 12C 5Misc 1Journal 25Unranked 20

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