Klaus Ostermann

According to our database1, Klaus Ostermann authored at least 69 papers between 2001 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Compiling effect handlers in capability-passing style.
Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.
Proc. ACM Program. Lang., 2020

Decomposition diversity with symmetric data and codata.
Proc. ACM Program. Lang., 2020

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.
J. Funct. Program., 2020

SCAPA: Development of a Questionnaire Assessing Self-Concept and Attitudes Toward Programming.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019
Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming.
Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

2018
Denotational validation of higher-order Bayesian inference.
Proc. ACM Program. Lang., 2018

Effect handlers for the masses.
Proc. ACM Program. Lang., 2018

Dualizing Generalized Algebraic Data Types by Matrix Transposition.
Proceedings of the Programming Languages and Systems, 2018

2017
A Module-System Discipline for Model-Driven Software Development.
Art Sci. Eng. Program., 2017

2016
System f-omega with equirecursive types for datatype-generic programming.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Parsing with first-class derivatives.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features.
IEEE Trans. Software Eng., 2014

Evolution of Software Systems with Extensible Languages and DSLs.
IEEE Softw., 2014

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

From object algebras to attribute grammars.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Projectional editing of variational software.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013
Adding configuration to the choice calculus.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Software Evolution to Domain-Specific Languages.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reify your collection queries for modularity and speed!
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Layout-Sensitive Generalized Parsing.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

A variability-aware module system.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reifying and optimizing collection queries for modularity.
Proceedings of the Conference on Systems, 2012

Layout-sensitive language extensibility with SugarHaskell.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Toward variability-aware testing.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

2011
Partial preprocessing C code for variability analysis.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

The road to feature modularity?
Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability-aware parsing in the presence of lexical macros and conditional compilation.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based syntactic language extensibility.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SugarJ: library-based language extensibility.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Library-based model-driven software development with SugarJ.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Growing a language environment with editor libraries.
Proceedings of the Generative Programming And Component Engineering, 2011

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
Featherweight TeX and Parser Correctness.
Proceedings of the Software Language Engineering - Third International Conference, 2010

A Meta-Aspect Protocol for Developing Dynamic Analyses.
Proceedings of the Runtime Verification - First International Conference, 2010

Modular logic metaprogramming.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Invertible syntax descriptions: unifying parsing and pretty printing.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Modular domain-specific language components in scala.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
A Classification Framework for Pointcut Languages in Runtime Monitoring.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Engineering Abstractions in Model Checking and Testing.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Typed self-representation.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Nominal and Structural Subtyping in Component-Based Programming.
J. Object Technol., 2008

Polymorphic embedding of dsls.
Proceedings of the Generative Programming and Component Engineering, 2008

Reasoning about aspects with common sense.
Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007
Clustering for Generating Framework Top-Level Views.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Partial Evaluation of Pointcuts.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Automatic Incrementalization of Prolog Based Static Analyses.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Dependent classes.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Aspects and modular reasoning in nonmonotonic logic.
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

On the relation of aspects and monads.
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006
An Overview of CaesarJ.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

A virtual class calculus.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Integrating and Scheduling an Open Set of Static Analyses.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Software extension and integration with type classes.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Expressive Pointcuts for Increased Modularity.
Proceedings of the ECOOP 2005, 2005

2004
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.
Proceedings of the 11th Working Conference on Reverse Engineering, 2004

A Comparison of Program Generation with Aspect-Oriented Programming.
Proceedings of the Unconventional Programming Paradigms, 2004

Variability management with feature-oriented programming and aspects.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Pointcuts as Functional Queries.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

Virtual machine support for dynamic join points.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003
Modules for hierarchical and crosscutting models.
PhD thesis, 2003

On aspectualizing component models.
Softw. Pract. Exp., 2003

Bessere Software durch Querschneidende Module.
Proceedings of the Ausgezeichnete Informatikdissertationen 2003, 2003

Conquering aspects with Caesar.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Modules for Crosscutting Models.
Proceedings of the Reliable Software Technologies, 2003

2002
Integrating independent components with on-demand remodularization.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Dynamically Composable Collaborations with Delegation Layers.
Proceedings of the ECOOP 2002, 2002

2001
Object-Oriented Composition Untangled.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001


  Loading...