News 2026

Programming Languages & Verification

Most downloaded PACMPL paper of 2025

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!

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