Max Planck researchers publish 10 papers at POPL 2022!
Max Planck researchers have authored ten papers to appear in POPL 2022, over 15% of all papers accepted this year.
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.
