Klaus Ostermann

Registered user since Wed 21 Oct 2015

Name:Klaus Ostermann
Affiliation:University of Tübingen
Research interests:Programming Languages, Software Technology

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
Author of Back to Direct Style: Typed and Tight within the OOPSLA-track
ECOOP 2023 PC Member in Program Committee within the Research Papers-track
POPL 2023 Committee Member in Program Committee within the POPL-track
GPCE 2022 Committee Member in Program Committee within the GPCE -track
HOPE 2022 Author of Lift Inference for Lexical Effect Handlers with Second-Class Functions within the HOPE 2022-track
ICFP 2022 Author of Introduction and Elimination, Left and Right within the ICFP Papers and Events-track
TyDe 2022 Author of Structural Refinement Types within the TyDe 2022-track
ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
PLDI 2022 Author of A Typed Continuation-Passing Translation for Lexical Effect Handlers within the PLDI-track
Author of (ICFP 2020) Compiling effect handlers in capability-passing style within the SIGPLAN Track-track
FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
GPCE 2021 Committee Member in Program Committee within the GPCE-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2020 Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA Artifacts-track
Committee Member in Program Committee within the Onward! Papers-track
Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA-track
ECOOP 2020 Committee Member in Program Committee within the Research Papers-track
ICFP 2020 Author of Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-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
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
SPLASH 2018 Committee Member in Academic Panel within the DocSymposium-track
Author of Effect Handlers for the Masses within the OOPSLA-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
Scala 2018 Committee Member in Program Committee within the Scala 2018-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
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
IC 2017 Committee Member in Program Committee within the IC 2017-track
‹Programming› 2017 Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track
PPS 2017 Author of Building inference algorithms from monad transformers within the PPS-track
SPLASH 2016 Author of Parsing with First-Class Derivatives within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
Scala 2016 Committee Member in Program Committee within the Scala-track
Modularity 2016 Committee Member in Program Committee within the Modularity Visions-track
LaMOD'16 Committee Member in Program Committee within the Language Modularity-track
POPL 2016 Author of System Fω with Equirecursive Types for Datatype-generic Programming within the Research Papers-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track
DBPL 2015 Committee Member in Program Committee within the DBPL-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
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
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
SPLASH 2011 Presenter of SugarJ: Library-based Language Extensibility within the Posters-track
Author of Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation within the OOPSLA-track
Author of SugarJ: Library-based Syntactic Language Extensibility within the OOPSLA-track