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…
MPI-SWS-Fakultätsmitglied Joël Ouaknine wurde mit dem LICS Test-of-Time Award 2025 für seine 2005 erschienene Arbeit “On the Decidability of Metric Temporal Logic” ausgezeichnet. Die Forschung entstand in Zusammenarbeit mit Ben Worrell.
