Jonathan Brachthäuser

Junior Professor at the University of Tübingen, Germany

Recent News

2021 November. I started working as a Junior Professor (W1 TT) at the University of Tübingen. Both, updates and recent publications can be found on the website of my research group.

2021 May. I’ll be giving a seminar at the Laboratory for Foundations of Computer Science (LFCS) Edinburgh on May 4th, talking about “All About That Stack: A Unified Treatment of Regions and Control Effects”.

2021 April. We published a new technical report on unifying control effects and region-based memory management.

2021 January. The German Research Foundation (DFG) accepted my research proposal “ECCE: Efficient Compilation of Control Effects” for funding.

2020 December. I have been nominated for the “Ernst-Denert Software Engineering Award 2020”.

2020 December. Together with Alvin Alexander, we published the first version of the open “Scala 3 book”.

2020 October. Our paper “Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism” (DOI / PDF) with Philipp Schuster and Prof. Klaus Ostermann has been accepted for publication at the International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA, 2020).

2020 August. Happy to serve as a mentor at PLMW@ICFP.

2020 August. I will be talking about “Higher-order Programming with Effects and Handlers — without First-Class Functions” at the HOPE workshop (colocated with ICFP).

2020 August. I started working as a postdoctoral researcher with Martin Odersky at LAMP, EPFL, Switzerland.

2020 May. I finished my PhD on the “Design and Implementation of Effect Handlers for Object-Oriented Programming Languages” with summa cum laude.

2020 May. Two papers of me and my collaborators have been accepted at the International Conference of Functional Programming (ICFP) 2020:
“Capability-Passing Style for Zero-Cost Effect Handlers” (DOI / PDF) with Philipp Schuster and Prof. Klaus Ostermann.
“Effect Handlers, Evidently” (DOI / PDF) with Ningning Xie, Daniel Hillerström, Philipp Schuster, and Daan Leijen.

2020 January. Our paper “Effekt: Capability-Passing Style for Type- and Effect-Safe, Extensible Effect Handlers in Scala” (DOI / PDF) with Philipp Schuster and Klaus Ostermann has been accepted for publication in the Journal of Functional Programming (JFP).