Das Paper Tree Borrows (verfasst von Neven Villani, Johannes Hostert, Derek Dreyer und Ralf Jung) erhielt nicht nur einen Distinguished Paper Award auf der PLDI'25, sondern war im Jahr 2025 auch der am häufigsten heruntergeladene Artikel aus allen Ausgaben der gesamten PACMPL (der ACM-Fachzeitschrift, in der die Proceedings von POPL, PLDI,…
Forschende des Max-Planck-Instituts für Softwaresysteme (MPI-SWS) haben insgesamt fünf Paper verfasst, die für die POPL 2026 angenommen wurden. Dies ist das neunte Jahr in Folge, in dem Forschende des MPI-SWS fünf oder mehr Paper auf der POPL veröffentlichen. Herzlichen Glückwunsch an alle unsere POPL-Autor:innen! A Verified High-Performance Composable Object Library…
Toghrul Karimov, Doktorand in der Forschungsgruppe „Foundations of Automatic Verification“ unter der Leitung von Joël Ouaknine, hat den 2025 Ackermann Award für seine Dissertation mit dem Titel „Algorithmic Verification of Linear Dynamical Systems“ erhalten. Der Ackermann Award ist ein internationaler Preis, der jährlich für eine herausragende Dissertation auf dem Gebiet der…
MPI-SWS faculty member Peter Druschel has received the 2025 IEEE TCDP Outstanding Technical Achievement Award for his pioneering contributions to the design and implementation of large-scale distributed systems. For more information on the award and other recent recipients, see here.
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…
