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:
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…
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…
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…
Björn Brandenburg has been selected as the program chair of the 33rd Euromicro Conference on Real-Time Systems (ECRTS'21), to be held virtually July 5–9, 2021. ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on…
