Klaus Ostermann

Registered user since Wed 21 Oct 2015

Name: Klaus Ostermann

Country: Germany

Affiliation: University of Tübingen, Germany

Personal website: http://ps.informatik.uni-tuebingen.de/team/ostermann/

Research interests: Programming Languages, Software Technology

Contributions

ECOOP 2020Committee Member in Program Committee within the Research Papers-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
Scala 2018Committee Member in Program Committee within the Scala 2018-track
ICFP 2019Committee Member in Program Committee within the Research Papers-track
GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
SPLASH 2018Committee Member in Academic Panel within the DocSymposium-track
Author of Effect Handlers for the Masses within the OOPSLA-track
IC 2017Committee Member in Program Committee within the IC 2017-track
POPL 2018Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
PPS 2017Author of Building inference algorithms from monad transformers within the PPS-track
‹Programming› 2017Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track
Scala 2016Committee Member in Program Committee within the Scala-track
LaMOD'16Committee Member in Program Committee within the Language Modularity-track
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-track
PEPM 2016Committee Member in Program Committee within the PEPM-track
Modularity 2016 Committee Member in Program Committee within the Modularity Visions-track
SPLASH 2016Author of Parsing with First-Class Derivatives within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
POPL 2016Author of System Fω with Equirecursive Types for Datatype-generic Programming within the Research Papers-track
DBPL 2015Committee Member in Program Committee within the DBPL-track
DSLDICommittee Member in Program Committee within the DSLDI-track
Author of Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design within the DSLDI-track
SPLASH 2014Presenter of From Object Algebras to Attribute Grammars within the OOPSLA Artifacts-track
Author of From Object Algebras to Attribute Grammars within the OOPSLA-track
SLE 2013Author of Software Evolution to Domain-Specific Languages within the Research Papers-track
SPLASH 2013Committee Member in Program Committee within the Onward!-track
SPLASH 2012Committee Member in Program Committee within the Onward! Papers-track
Author of Reifying and optimizing collection queries for modularity within the Posters-track
Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee
Author of A variability-aware module system within the OOPSLA Research Papers-track