MPI-SWS Scientific Director Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately €2.5 million for his project „Pascal: Formal Performance Analysis at Scale“. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems. Whether…
The ACM Special Interest Group on Programming Languages (SIGPLAN) has awarded their 2026 Distinguished Service Award to MPI-SWS Scientific Director Derek Dreyer. The award citation reads as follows: Derek Dreyer has set an exemplary standard of service within the PL community. Throughout the years, Derek has served in almost every…
MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer--along with their collaborator Yusuke Matsushita--have received a PLDI 2026 Distinguished Paper Award for their paper "VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System." At PLDI this year, only 10 papers were given this award out of…
MPI-SWS researchers Tung Phung and Adish Singla, jointly with colleagues from the University of Michigan, the University of Minnesota and Microsoft, have received a Best Paper Award at the 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026), for their paper titled Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting…
The program for the 2026 edition of CMMRS is now online. This year's lineup of lecturers and mentors once again includes international leaders as well as rising stars in their respective research fields. Lectures will cover a variety of cutting-edge topics in AI, NLP, formal methods, programming languages, and software…
