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 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…
