Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026. This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Congratulations to all our POPL authors! A Verified High-Performance Composable Object…
Toghrul Karimov, a graduate student in Joël Ouaknine's Foundations of Automatic Verification Group, has received the 2025 Ackermann Award for his PhD thesis, “Algorithmic Verification of Linear Dynamical Systems.” The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of…
MPI-SWS-Fakultätsmitglied Peter Druschel wurde mit dem 2025 IEEE TCDP Outstanding Technical Achievement Award für seine bahnbrechenden Beiträge zum Entwurf und zur Implementierung großskaliger verteilter Systeme ausgezeichnet. Weitere Informationen zu der Auszeichnung und den bisherigen Preisträgern finden Sie hier.
MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025. At PLDI this year, only 6 papers were given this award out of…
MPI-SWS faculty member Joël Ouaknine has received the 2025 LICS Test-of-Time award for his 2005 paper “On the Decidability of Metric Temporal Logic”. The work was done in collaboration with Ben Worrell.
