MPI-SWS students receive ACM SIGPLAN Dissertation Award two years in a row
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.
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.
