Derek Dreyer, wissenschaftlicher Mitarbeiter am MPI-SWS, wurde für seine 2016 gemeinsam mit dem MPI-SWS-Alumnus Ralf Jung sowie Robert Krebbers und Lars Birkedal verfasste Arbeit „Higher-Order Ghost State“ mit dem „Most Influential ICFP Paper Award“ ausgezeichnet. Die Auszeichnung würdigt den nachhaltigen Einfluss der Arbeit auf das Programmlogik-Framework Iris, das zu einer…
Die MPI-SWS-Forschenden Tung Phung und Adish Singla haben gemeinsam mit Kollegen der University of Michigan, der University of Minnesota und Microsoft auf dem 57. ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026) den Best Paper Award für ihre Arbeit mit dem Titel „Closing the Loop: An Instructor-in-the-Loop AI…
Rupak Majumdar, wissenschaftlicher Direktor am MPI-SWS, hat für sein Projekt „Pascal: Formal Performance Analysis at Scale“ einen ERC Advanced Grant in Höhe von rund 2,5 Millionen Euro erhalten. Ziel des Projekts ist es, neue mathematische Grundlagen und praktische Werkzeuge zur Analyse und Verifizierung der Leistung und Ausfallsicherheit groß angelegter verteilter…
Die ACM Special Interest Group on Programming Languages (SIGPLAN) hat ihren „Distinguished Service Award 2026“ an Derek Dreyer, den wissenschaftlichen Leiter des MPI-SWS, verliehen. In der Begründung für die Auszeichnung heißt es: Derek Dreyer hat innerhalb der PL-Community einen beispielhaften Servicestandard gesetzt. Im Laufe der Jahre hat Derek nahezu jede…
Die MPI-SWS-Forschenden Travis Hance, Laila Elbeheiry und Derek Dreyer haben gemeinsam mit ihrem Kooperationspartner Yusuke Matsushita für ihre Arbeit „VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System“ den PLDI 2026 Distinguished Paper Award erhalten. Auf der diesjährigen PLDI wurde diese Auszeichnung nur an 10 der…
