News Archiv




Bild der Pressemitteilung
MPI-SWS researchers receive multiple awards at ETAPS

MPI-SWS researchers Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche have received the EAPLS Best Paper Award for their TACAS 2021 paper: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In addition, a TACAS 2021 paper by Rosa Abbasi and Eva Darulova (along with their collaborators  Jonas Schiffl, Mattias Ulbrich, and…

Bild der Pressemitteilung
Girls‘ Day 2021

MPI-SWS participated jointly with the MPI for Informatics in the annual Girls' Day event on April 22, 2021. Our interactive digital program included  programming robots and integrating machine learning models into dialog systems, as well as answering questions about computer science and the work as a computer scientist.Originally published at:

Bild der Pressemitteilung
ETAPS dissertation award and CACM article for Ralf Jung and his work on Rust

Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ETAPS Doctoral Dissertation Award for 2021. The award is given to the PhD student who has made the most original and influential contribution to the research areas in the scope of the ETAPS conferences, and has graduated…

Bild der Pressemitteilung
Max Planck researchers publish 8 papers at POPL 2021!

Researchers from the Max Planck Institute for Software Systems (MPI-SWS) and the new Max Planck Institute for Security and Privacy (MPI-SP) have authored a total of 8 papers accepted to POPL 2021 (over 10% of all accepted papers).  This is the fourth year in a row that MPI-SWS researchers have published…

Bild der Pressemitteilung
Viktor Vafeiadis awarded ERC Consolidator Grant

Viktor Vafeiadis, head of the MPI-SWS Software Analysis and Verification group, has been awarded an ERC Consolidator Grant. Over the next five years, his project "PERSIST: A Semantic Foundation for Persistent Programming" will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for programs…

1 ...
45678 ...
34