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

Joël Ouaknine receives LICS test-of-time award

June 2025
Joël Ouaknine has received the 2025 LICS test-of-time award for his 2005 paper on Metric Temporal Logic.

Derek Dreyer and collaborators receive three Distinguished Paper Awards at PLDI'25 and POPL'25

June 2025
Derek Dreyer and collaborators received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025.

Michael Sammler receives Otto Hahn Medal

March 2025
Michael Sammler has been awarded the 2024 Otto Hahn Medal for outstanding scientific achievement.

Derek Dreyer receives most influential POPL paper award

January 2025
MPI-SWS faculty member Derek Dreyer has been selected as the winner of this year's POPL (Principles of Programming Languages) Most Influential Paper Award…

Derek Dreyer becomes ACM Fellow

January 2025
Derek Dreyer was appointed as a Fellow by the Association for Computing Machinery, for his contributions to the logical and semantic foundations of programming languages.

Papers