News

2025

Two Pa­pers at OOP­SLA 2025 R1

To­gether with our col­lab­o­ra­tors the SE group pre­sents two (very) dif­fer­ent pa­pers at round 1 of this year’s In­ter­na­tional Con­fer­ence on Ob­ject-Ori­ented Pro­gram­ming, Sys­tems, Lan­guages and Ap­pli­ca­tions (OOP­SLA 2025 R1).

Read more ...

2023

Three Pa­pers at OOP­SLA 2023

To­gether with our col­lab­o­ra­tors the SE group pre­sents three dif­fer­ent pa­pers at this year’s In­ter­na­tional Con­fer­ence on Ob­ject-Ori­ented Pro­gram­ming, Sys­tems, Lan­guages and Ap­pli­ca­tions (OOP­SLA 2023).

Read more ...

Paper ac­cepted for pub­li­ca­tion at OOP­SLA 2023

Our paper “From Ca­pa­bil­i­ties to Re­gions: En­abling Ef­fi­cient Com­pi­la­tion of Lex­i­cal Ef­fect Han­dlers” (Mar­ius Müller, Philipp Schus­ter
Re­searcher
Philipp Schus­ter
, Jonathan Lin­de­gaard Starup, and Klaus Os­ter­mann, Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
) has been ac­cepted for pub­li­ca­tion at the In­ter­na­tional Con­fer­ence on Ob­ject-Ori­ented Pro­gram­ming, Sys­tems, Lan­guages and Ap­pli­ca­tions (OOP­SLA 2023).

Read more ...

Paper ac­cepted for pub­li­ca­tion at ICFP 2023

Our paper “With or With­out You: Pro­gram­ming with Ef­fect Ex­clu­sion” (Matthew Lutze, Mag­nus Mad­sen, Philipp Schus­ter
Re­searcher
Philipp Schus­ter
, and Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
) has been ac­cepted for pub­li­ca­tion at the In­ter­na­tional Con­fer­ence on Func­tional Pro­gram­ming (ICFP 2023).

Read more ...

Paper ac­cepted for pub­li­ca­tion at OOP­SLA 2023

Our paper “Con­tin­u­a­tion-Pass­ing to Di­rect Style: Typed and Tight” (Mar­ius Müller, Philipp Schus­ter
Re­searcher
Philipp Schus­ter
, Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, and Klaus Os­ter­mann) has been ac­cepted for pub­li­ca­tion at the In­ter­na­tional Con­fer­ence on Ob­ject-Ori­ented Pro­gram­ming, Sys­tems, Lan­guages and Ap­pli­ca­tions (OOP­SLA 2023).

Read more ...

2022

Dis­tin­guished Ar­ti­fact Award (OOP­SLA 2022)

The ar­ti­fact for our paper “Ef­fects, Ca­pa­bil­i­ties, and Boxes: From Scope-based Rea­son­ing to Type-based Rea­son­ing and Back” (Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, Philipp Schus­ter
Re­searcher
Philipp Schus­ter
, Ed­ward Lee, and Alek­sander Boruch-Gruszecki) was hon­ored with the Dis­tigu­ished Ar­ti­fact Award at the In­ter­na­tional Con­fer­ence on Ob­ject-Ori­ented Pro­gram­ming, Sys­tems, Lan­guages and Ap­pli­ca­tions (OOP­SLA 2023).

Read more ...

Paper ac­cepted for pub­li­ca­tion at OOP­SLA 2022

Our paper “Ef­fects, Ca­pa­bil­i­ties, and Boxes: From Scope-based Rea­son­ing to Type-based Rea­son­ing and Back” (Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, Philipp Schus­ter
Re­searcher
Philipp Schus­ter
, Ed­ward Lee, and Alek­sander Boruch-Gruszecki) has been ac­cepted for pub­li­ca­tion at the In­ter­na­tional Con­fer­ence on Ob­ject-Ori­ented Pro­gram­ming, Sys­tems, Lan­guages and Ap­pli­ca­tions (OOP­SLA 2022).

Read more ...

Paper ac­cepted for pub­li­ca­tion at PLDI 2022

Our paper “A Typed Con­tin­u­a­tion-Pass­ing Trans­la­tion for Lex­i­cal Ef­fect Han­dlers” (Philipp Schus­ter, Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, Mar­ius Müller, and Klaus Os­ter­mann) has been ac­cepted for pub­li­ca­tion at the In­ter­na­tional Con­fer­ence on Pro­gram­ming Lan­guages, De­sign, and Im­ple­men­ta­tion (PLDI 2022).

Read more ...

Paper ac­cepted for pub­li­ca­tion at ESOP 2022

Our paper “Re­gion-based Re­source Man­age­ment in Con­tin­u­a­tion-Pass­ing Style” (Philipp Schus­ter, Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, and Klaus Os­ter­mann) has been ac­cepted for pub­li­ca­tion at the 31st Eu­ro­pean Sym­po­sium on Pro­gram­ming (ESOP 2022).

Read more ...

2021

Paper ac­cepted for pub­li­ca­tion at POPL 2022

Our paper “Type-Level Pro­gram­ming with Match Types” (Olivier Blanvil­lain, Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, Maxime Kjaer, and Mar­tin Oder­sky) has been ac­cepted for pub­li­ca­tion at the ACM SIG­PLAN Sym­po­sium on Prin­ci­ples of Pro­gram­ming Lan­guages (POPL 2022).

Read more ...

Best Paper Award – GPCE 2021

Our paper Multi-Stage Pro­gram­ming with Gen­er­a­tive and An­a­lyt­i­cal Macros, by Nico­las Stucki, Jonathan Brachthäuser
Head of the SE re­search group
Jonathan Im­manuel Brachthäuser
, and Mar­tin Oder­sky was hon­ored with the Best Paper Award at the In­ter­na­tional Con­fer­ence on Gen­er­a­tive Pro­gram­ming: Con­cepts & Ex­pe­ri­ences (GPCE 2021)

Read more ...