June 30, 2025
DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI’25 AND POPL’25
MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025. At PLDI this year, only 6 papers were given this award out of 89 accepted papers. At POPL this year, only 7 papers were given this award out of 81 accepted papers.
Tree Borrows
by Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung
PLDI 2025
https://dl.acm.org/doi/10.1145/3735592
by Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung
PLDI 2025
https://dl.acm.org/doi/10.1145/3735592
Destabilizing Iris
by Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
PLDI 2025
https://dl.acm.org/doi/10.1145/3729284
by Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
PLDI 2025
https://dl.acm.org/doi/10.1145/3729284
Data Race Freedom à la Mode
by Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
POPL 2025
https://dl.acm.org/doi/10.1145/3704859
by Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
POPL 2025
https://dl.acm.org/doi/10.1145/3704859