Jonathan Immanuel Brachthäuser -

Registered user since Wed 3 Aug 2016

Name:Jonathan Immanuel Brachthäuser

Country:Germany

Affiliation:University of Tübingen

Personal website:http://se.informatik.uni-tuebingen.de

Twitter:https://twitter.com/__protected

GitHub:https://github.com/b-studios

Research interests:Algebraic Effects, Effect Handlers, Effect Systems, Continuations, CPS

Contributions

SPLASH 2023	Author of Back to Direct Style: Typed and Tight within the OOPSLA-track Hybridisation Co-Chair in Organizing Committee
ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
CC 2023	Committee Member in Program Committee within the Research Papers-track
SPLASH 2022	Author of Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back within the OOPSLA-track
HOPE 2022	Committee Member in Program Committee within the HOPE 2022-track Author of Monadic Semantics of Bidirectional Effects within the HOPE 2022-track Author of Lift Inference for Lexical Effect Handlers with Second-Class Functions within the HOPE 2022-track
ECOOP 2022	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
PLDI 2022	Author of (ICFP 2020) Compiling effect handlers in capability-passing style within the SIGPLAN Track-track Author of A Typed Continuation-Passing Translation for Lexical Effect Handlers within the PLDI-track
Scala 2022	Committee Member in Program Committee within the Scala 2022-track
POPL 2022	Author of Type-Level Programming with Match Types within the POPL-track
PEPM 2022	Committee Member in Program Committee within the PEPM 2022-track Session Chair of Contributed Talks 2 (part of PEPM 2022)
GPCE 2021	Author of Multi-Stage Programming with Generative and Analytical Macros within the GPCE-track
Scala 2021	Author of Safer Exceptions for Scala within the Scala-track
TyDe 2021	Author of Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) within the TyDe 2021-track
HOPE 2021	Author of Representing Monads with Capabilities within the HOPE 2021-track Author of Higher-order Programming with Effects and Handlers — with First-Class Functions within the HOPE 2021-track
SPLASH 2020	Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA-track Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA Artifacts-track
ICFP 2020	Author of Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-track Author of Effect Handlers, Evidently within the ICFP Program-track
HOPE 2020	Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-track
Scala 2019	Author in Steering Committee within the Scala 2019-track Sponsorship Chair in Organizing Committee within the Scala 2019-track
SPLASH 2018	Author of Effect Handlers for the Masses within the OOPSLA-track
HOPE 2018	Author of Taming Control Flow through Linear Effect Handlers within the HOPE 2018-track
TyDe 2018	Author of Typing, Representing, and Abstracting Control: Functional Pearl within the TyDe 2018-track
Scala 2018	Sponsorship Chair in Organizing Committee within the Scala 2018-track Committee Member in Steering Committee within the Scala 2018-track Committee Member in Program Committee within the Scala 2018-track
Scala 2017	Scala'17 Organizer in Organizing Committee within the Scala 2017-track Session Chair of Unconference (part of Scala 2017) Author of Effekt: Extensible Algebraic Effects in Scala (Short Paper) within the Scala 2017-track
DSLDI 2017	Author of Towards Naturalistic EDSLs using Algebraic Effects within the DSLDI 2017-track
SPLASH 2016	Author of Parsing with First-Class Derivatives within the OOPSLA-track
Scala 2016	Author of Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” within the Scala-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