Klaus Ostermann - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Klaus Ostermann' as author, editor, or advisor:

Video coding with H. 264/AVC: Tools, performance and complexityOstermann, J., Bormans, J., List, P., Marpe, D., Narroschke, M., Pereira, F., Stockhammer, T., & Wedi, T.. IEEE Circuits and Systems Magazine, 4:7-28, 2004. [doi]
Two-dimensional motion estimationWang, Y., Ostermann, J. & Zhang, Y. Q. . In Video Processing and Communications. Prentice Hall, 2002.
System f-omega with equirecursive types for datatype-generic programmingYufei Cai, Paolo G. Giarrusso, Klaus Ostermann. POPL 2016: 30-43 [doi]
Software Evolution to Domain-Specific LanguagesStefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann. SLE 2013: 96-116 [doi]
Adding configuration to the choice calculusMartin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw. vamos 2013: 13 [doi]
Modular domain-specific language components in scalaChristian Hofer, Klaus Ostermann. GPCE 2010: 83-92 [doi]
From object algebras to attribute grammarsTillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann. OOPSLA 2014: 377-395 [doi]
Automatic refunctionalization to a language with copattern matching: with applications to the expression problemTillmann Rendel, Julia Trieflinger, Klaus Ostermann. ICFP 2015: 269-279 [doi]
Reify your collection queries for modularity and speed!Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner. In AOSD. 2013: 1-12 [doi]
Variability-Aware Parsing in the Presence of Lexical Macros and Conditional CompilationChristian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger. In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2011:
Effects as capabilities: effect handlers and lightweight effect polymorphismJonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann. PACMPL, 4(OOPSLA), 2020. [doi]
Modules for hierarchical and crosscutting modelsKlaus Ostermann. PhD thesis, Darmstadt University of Technology, 2003. [doi]
Transactions on Aspect-Oriented Software Development IXGary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter, editors, Volume 7271 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Variability Mining: Consistent Semi-automatic Detection of Product-Line FeaturesChristian Kästner, Alexander Dreiling, Klaus Ostermann. TSE, 40(1):67-82, 2014. [doi]
Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012Klaus Ostermann, Walter Binder, editors, ACM, 2012. [doi]
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing StylePhilipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann. ESOP 2022: 492-519 [doi]
SugarJ: library-based syntactic language extensibilitySebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann. OOPSLA 2011: 391-406 [doi]
Introduction and elimination, left and rightKlaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen. PACMPL, 6(ICFP):438-465, 2022. [doi]
Dualizing Generalized Algebraic Data Types by Matrix TranspositionKlaus Ostermann, Julian Jabs. ESOP 2018: 60-85 [doi]
A variability-aware module systemChristian Kästner, Klaus Ostermann, Sebastian Erdweg. OOPSLA 2012: 773-792 [doi]
Toward variability-aware testingChristian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann. GPCE 2012: 1-8 [doi]
Bessere Software durch Querschneidende ModuleKlaus Ostermann. gi 2004: 159-168 [doi]
Layout-Sensitive Generalized ParsingSebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann. SLE 2012: 244-263 [doi]
Compiling effect handlers in capability-passing stylePhilipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann. PACMPL, 4(ICFP), 2020. [doi]
Structural refinement typesDavid Binder, Ingo Skupin, David Läwen, Klaus Ostermann. ICFP 2022: 15-27 [doi]
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect HandlersMarius Müller 0003, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser. PACMPL, 7(OOPSLA2):941-970, October 2023. [doi]
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiationYufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann. PLDI 2014: 17 [doi]
Parsing with first-class derivativesJonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann. OOPSLA 2016: 588-606 [doi]
Invertible syntax descriptions: unifying parsing and pretty printingTillmann Rendel, Klaus Ostermann. haskell 2010: 1-12 [doi]
Decomposition diversity with symmetric data and codataDavid Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann. PACMPL, 4(POPL), 2020. [doi]
Projectional editing of variational softwareEric Walkingshaw, Klaus Ostermann. GPCE 2014: 29-38 [doi]
Variability-aware parsing in the presence of lexical macros and conditional compilationChristian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger. OOPSLA 2011: 805-824 [doi]
A typed continuation-passing translation for lexical effect handlersPhilipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller 0003, Klaus Ostermann. PLDI 2022: 566-579 [doi]
The road to feature modularity?Christian Kästner, Sven Apel, Klaus Ostermann. SPLC 2011: 5 [doi]
Layout-sensitive language extensibility with SugarHaskellSebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann. haskell 2012: 149-160 [doi]
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in ScalaJonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann. JFP, 30, 2020. [doi]
Reifying and optimizing collection queries for modularityPaolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner. OOPSLA 2012: 77-78 [doi]
SCAPA: Development of a Questionnaire Assessing Self-Concept and Attitudes Toward ProgrammingLuzia Leifheit, Katerina Tsarava, Manuel Ninaus, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, Korbinian Moeller. iticse 2020: 138-144 [doi]
Back to Direct Style: Typed and TightMarius Müller 0003, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann. PACMPL, 7(OOPSLA1):848-875, April 2023. [doi]
Revisiting Information Hiding: Reflections on Classical and Nonclassical ModularityKlaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel. ECOOP 2011: 155-178 [doi]
Featherweight TeX and Parser CorrectnessSebastian Thore Erdweg, Klaus Ostermann. SLE 2010: 397-416 [doi]
Partial preprocessing C code for variability analysisChristian Kästner, Paolo G. Giarrusso, Klaus Ostermann. vamos 2011: 127-136 [doi]
Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards ProgrammingLuzia Leifheit, Katerina Tsarava, Korbinian Moeller, Klaus Ostermann, Jessika Golle, Ulrich Trautwein, Manuel Ninaus. wipsce 2019: [doi]
Effect handlers for the massesJonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann. PACMPL, 2(OOPSLA), 2018. [doi]
Evolution of Software Systems with Extensible Languages and DSLsSebastian Erdweg, Stefan Fehrenbach, Klaus Ostermann. IEEE Software, 31(5):68-75, 2014. [doi]
Denotational validation of higher-order Bayesian inferenceAdam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani. PACMPL, 2(POPL), 2018. [doi]
A Module-System Discipline for Model-Driven Software DevelopmentSebastian Erdweg, Klaus Ostermann. Programming, 1(2):9, 2017. [doi]

runs on WebDSL