Programming Languages & Verification

The group’s research focuses on the principles, design and implementation of programming languages and on foundational techniques and practical tools for analyzing, testing, and verifying programs against their correctness specifications.

Recent research has developed techniques for verifying compilers and other critical software, and tools for testing and/or verifying concurrent systems.

News

Sumit Gulwani awarded 2021 Max Planck Humboldt Medal

September 2021
Sumit Gulwani, a scientist at Microsoft Research, has been awarded the 2021 Max Planck-Humboldt Medal. He will collaborate with Rupak Majumdar and Adish Singla on the problem of AI in Education.

MPI-SWS students receive ACM SIGPLAN Dissertation Award two years in a row

September 2021
Ralf Jung's thesis has received the 2021 ACM SIGPLAN Dissertation Award, marking the second year in a row that the award was given to an MPI-SWS student.

Ralf Jung receives ACM Doctoral Dissertation Award Honorable Mention

July 2021
Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.

Otto Hahn Medal awarded to two MPI-SWS students

April 2021
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement.

MPI-SWS researchers receive multiple awards at ETAPS

April 2021
MPI-SWS researchers receive several ETAPS 2021 awards: the EAPLS Best Paper Award, an EAPLS best paper nomination, and a most distinguished tool award.

Papers