News 2026

Programming Languages & Verification

Derek Dreyer achieves a publication record!

February 2026
Homepage News, Other Awards and Prizes
As of January this year, MPI-SWS faculty member Derek Dreyer has published 26 papers at POPL (more than any other author) and a total of 61 papers across all four SIGPLAN conferences---a record number!

Most downloaded PACMPL paper of 2025

January 2026
Homepage News, New publications, Other Awards and Prizes
The paper Tree Borrows (authored by Neven Villani, Johannes Hostert, Derek Dreyer, and Ralf Jung), not only received a Distinguished Paper Award at PLDI'25, but in the year 2025 it was the single most downloaded article from all issues of the entire PACMPL (the ACM journal publishing the proceedings of POPL, PLDI, ICFP, and OOPSLA). Although the paper was only published in June 2025, it has already been downloaded over 9000 times! ...
The paper Tree Borrows (authored by Neven Villani, Johannes Hostert, Derek Dreyer, and Ralf Jung), not only received a Distinguished Paper Award at PLDI'25, but in the year 2025 it was the single most downloaded article from all issues of the entire PACMPL (the ACM journal publishing the proceedings of POPL, PLDI, ICFP, and OOPSLA). Although the paper was only published in June 2025, it has already been downloaded over 9000 times!

You can find the list of most-downloaded PACMPL papers in 2025 here: https://dl.acm.org/journal/pacmpl/announcements

Read more about Tree Borrows here and here.
Read more

Max Planck researchers publish 5 papers at POPL 2026!

January 2026
Homepage News, New publications
Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026.  This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL.

Congratulations to all our POPL authors!
...
Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026.  This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL.

Congratulations to all our POPL authors!

 
Read more