Klaus Ostermann -

Registered user since Wed 21 Oct 2015

Name:Klaus Ostermann

Affiliation:University of Tübingen

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

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