Joined September 2010
- Tweets 1,361
- Following 392
- Followers 894
- Likes 3,730
191 Photos and videos
Pinned Tweet
11 Sep 2025
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
2
11
80
20,189
Jonathan Brachthäuser retweeted
Claude code, with no special training for theorem proving, converted zlib to Lean and proved the roundtrip correct. Minimal human guidance.
Decompress after compress always returns the original data.
github.com/kim-em/lean-zip
3
25
262
25,970
Jonathan Brachthäuser retweeted
Mar 4
goto makes a comeback. The goto rule might be simple but Hoare pointed out its application is complicated for human brains, but LLM-code generators don't care.
17
8
168
11,993
It has been an honor and pleasure doing my Postdoc with Martin!
Martin Odersky, EPFL professor and head of the Programming Methods Laboratory, developed the programming language Scala, which is used by thousands of companies worldwide. In 2025, he was awarded the Programming Languages Achievement Award.
go.epfl.ch/390f0f
6
334
Martin Odersky, EPFL professor and head of the Programming Methods Laboratory, developed the programming language Scala, which is used by thousands of companies worldwide. In 2025, he was awarded the Programming Languages Achievement Award.
go.epfl.ch/390f0f
23
105
5,383
Jonathan Brachthäuser retweeted
Jan 31
The program for the Oregon Programming Languages Summer School 2026 looks exciting: cs.uoregon.edu/research/summ…
Come or send your students!
13
63
3,498
Anybody at POPL (@poplconf) this week?
If so, please say hi to our student Alexander Phi Goetz, who is presenting his work on type system design for delimited control operators at the SRC.
It is his first conference and I am sure he would be happy if you say hi :)
1
135
Jonathan Brachthäuser retweeted
9 Dec 2025
We're looking to hire an experienced editor with a taste for fancy type-systems to work on education for OxCaml!
Please share with anyone you think might be a good fit for this role. (And...retweets wouldn't hurt.)
5
29
98
23,388
POPL'26 registration has opened!
We will have an amazing program -- join us!
popl26.sigplan.org/attending…
3
8
1,683
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'26), co-located with POPL'26 in Rennes, France is calling for papers!
Submission deadline: Friday 24 Oct 2025
popl26.sigplan.org/home/pepm…
7
9
3,629
24 Oct 2025
I am very happy that you enjoy our work :)
Let me know if you have any questions
23 Oct 2025
This recent OOPSLA paper shows a very elegant way of dealing with overloads and rendering nice error messages when there’s more than one possible call. The online demo shows you how it looks.
6
712
18 Oct 2025
That's it from us for this ICFP / SPLASH 🫳🎤
If you missed our talks, you can read about them here se.cs.uni-tuebingen.de/singa…
and I'm sure the recordings will pop up on the SIGPLAN YouTube channel at some point.
11 Sep 2025
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
1
14
790
18 Oct 2025
The sixth and last talk of my group and collaborators will be by @jiribenes_ on the Simple Essence of Overload Resolution.
It'll be at 11:45 local time in Orchid East, so make sure to drop by.
11 Sep 2025
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
1
1
6
1,564
18 Oct 2025
You can find our paper here: se.cs.uni-tuebingen.de/publi…
The online demo is here: se-tuebingen.github.io/oopsl…
And if you can't attend, you have the chance to watch it live: youtube.com/live/j_nXuGhMFdo…
1
2
4
1,334
18 Oct 2025
Really cool talk by Taro Sekiyama on On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs.
1
2
14
896
17 Oct 2025
Cool talk by Cong Ma on zero-overhead lexical handlers. They make the compromise to slow down handlers to avoid all costs for code that doesn't use handlers.
They're competitors in the same team: like our Effekt their Lexa and Biernacki et al's Helium have lexical handlers.
2
21
928
17 Oct 2025
David Voigt gives the fifth talk in our series: Dynamic Wind for Effect Handlers.
In the paper we present a design of finalizers (and initializers) for effect handlers, inspired by dynamuc wind.
11 Sep 2025
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
1
1
13
1,594
17 Oct 2025
Follow the talk online youtube.com/live/1d80UBzb5g8…
You can find more information here: se.cs.uni-tuebingen.de/publi…
1
272
17 Oct 2025
Really nice talk by @ProfMaxNew on relative monads and CBPV.
2
9
42
2,244
17 Oct 2025
It makes perfect sense that they compose for free. This is very similar in CPS with a polymorphic answer type, which allows you to iterate and add additional layers of CPS.
This trick also is at the core of compilation strategies for effect handlers, which also compose.
2
11
618