MPI-SWS researchers have received the 2023 Alonzo Church Award for their seminal work on the Iris Framework for higher-order concurrent separation logic.
Kaushik Mallik's thesis has received the 2023 ETAPS Doctoral Dissertation Award.
Max Planck researchers have authored six papers to appear in POPL 2023, one of which received a distinguished paper award.
Rupak Majumdar received the CONCUR Test of Time Award for his 2003 paper on "The Element of Surprise in Timed Games."
Viktor Vafeiadis has won the 2022 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages.