DEREK DREYER UND SEINE FORSCHUNGSPARTNER ERHÄLTEN DREI DISTINGUISHED PAPER AWARDS BEI PLDI’25 UND POPL’25

MPI-SWS-Fakultätsmitglied Derek Dreyer und seine Forschungspartner erzielten in diesem Jahr eine herausragende Präsenz auf den führenden Konferenzen im Bereich Programmiersprachen. Sie erhielten Distinguished Paper Awards für zwei Beiträge auf der PLDI 2025 und einen Beitrag auf der POPL 2025. Auf der diesjährigen PLDI wurden nur 6 von 89 angenommenen Beiträgen mit dieser Auszeichnung geehrt, auf der POPL lediglich 7 von 81.

Tree Borrows

von Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung PLDI 2025 https://dl.acm.org/doi/10.1145/3735592

Destabilizing Iris

von 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

von 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