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 2020	Committee Member in Program Committee within the Research Papers-track
SPLASH 2020	Committee Member in Program Committee within the Onward! Papers-track
ICFP 2020	Author of Compiling Effect Handlers in Capability-Passing Style within the Research Papers-track
PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2020	Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track
Scala 2018	Committee Member in Program Committee within the Scala 2018-track
ICFP 2019	Committee Member in Program Committee within the Research Papers-track
GPCE 2018	Committee Member in Program Committee within the GPCE 2018-track
SPLASH 2018	Committee Member in Academic Panel within the DocSymposium-track Author of Effect Handlers for the Masses within the OOPSLA-track
IC 2017	Committee Member in Program Committee within the IC 2017-track
POPL 2018	Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
PPS 2017	Author of Building inference algorithms from monad transformers within the PPS-track
‹Programming› 2017	Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track
Scala 2016	Committee Member in Program Committee within the Scala-track
LaMOD'16	Committee Member in Program Committee within the Language Modularity-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track
PEPM 2016	Committee Member in Program Committee within the PEPM-track
Modularity 2016	Committee Member in Program Committee within the Modularity Visions-track
SPLASH 2016	Author of Parsing with First-Class Derivatives within the OOPSLA-track Committee Member in Program Committee within the OOPSLA-track
POPL 2016	Author of System Fω with Equirecursive Types for Datatype-generic Programming within the Research Papers-track
DBPL 2015	Committee Member in Program Committee within the DBPL-track
DSLDI	Committee 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 2014	Presenter 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 2013	Author of Software Evolution to Domain-Specific Languages within the Research Papers-track
SPLASH 2013	Committee Member in Program Committee within the Onward!-track
SPLASH 2012	Committee 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