News

2023

Three Papers at OOPSLA 2023

Together with our collaborators the SE group presents three different papers at this year’s International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2023).

Read more ...

Paper accepted for publication at OOPSLA 2023

Our paper “From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers” (Marius Müller, Philipp Schuster
Researcher
Philipp Schuster
, Jonathan Lindegaard Starup, and Klaus Ostermann, Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
) has been accepted for publication at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2023).

Read more ...

Paper accepted for publication at ICFP 2023

Our paper “With or Without You: Programming with Effect Exclusion” (Matthew Lutze, Magnus Madsen, Philipp Schuster
Researcher
Philipp Schuster
, and Jonathan Brachthäuser
Head of the SE research group
Jonathan Immanuel Brachthäuser
) has been accepted for publication at the International Conference on Functional Programming (ICFP 2023).

Read more ...

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

Distinguished Artifact Award (OOPSLA 2022)

The artifact for 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) was honored with the Distiguished Artifact Award at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2023).

Read more ...

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