News

2023

Paper accepted for publication at OOPSLA 2023

Our paper “Continuation-Passing to Direct Style: Typed and Tight” (Marius Müller, Philipp Schuster
Researcher
Philipp Schuster
, Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
, and Klaus Ostermann) has been accepted for publication at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2023).

Read more ...

2022

Paper accepted for publication at OOPSLA 2022

Our paper “Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back” (Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
, Philipp Schuster
Researcher
Philipp Schuster
, Edward Lee, and Aleksander Boruch-Gruszecki) has been accepted for publication at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2022).

Read more ...

Paper accepted for publication at PLDI 2022

Our paper “A Typed Continuation-Passing Translation for Lexical Effect Handlers” (Philipp Schuster, Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
, Marius Müller, and Klaus Ostermann) has been accepted for publication at the International Conference on Programming Languages, Design, and Implementation (PLDI 2022).

Read more ...

Paper accepted for publication at ESOP 2022

Our paper “Region-based Resource Management in Continuation-Passing Style” (Philipp Schuster, Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
, and Klaus Ostermann) has been accepted for publication at the 31st European Symposium on Programming (ESOP 2022).

Read more ...

2021

Paper accepted for publication at POPL 2022

Our paper “Type-Level Programming with Match Types” (Olivier Blanvillain, Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
, Maxime Kjaer, and Martin Odersky) has been accepted for publication at the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022).

Read more ...

Best Paper Award – GPCE 2021

Our paper Multi-Stage Programming with Generative and Analytical Macros, by Nicolas Stucki, Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
, and Martin Odersky was honored with the Best Paper Award at the International Conference on Generative Programming: Concepts & Experiences (GPCE 2021)

Read more ...