News

2022

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 ...