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…
Das Programm für die CMMRS 2026 ist nun online. Zu den diesjährigen Dozenten und Mentoren zählen erneut international führende Persönlichkeiten sowie aufstrebende Talente aus ihren jeweiligen Forschungsbereichen. Die Vorträge behandeln eine Vielzahl aktueller Themen aus den Bereichen KI, NLP, formale Methoden, Programmiersprachen und Software-Engineering. Bitte beachtet, dass die Teilnahme an…
