The MPIs for Informatics and Software Systems welcomed 27 school-aged girls for the annual Girls' Day on 28 March.
Antoine Kaufmann has joined the institute as a research group leader. His research investigates the design and implementation of efficient, scalable, and robust systems for rapidly evolving modern platforms.
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019. What's more, the MPI-SWS Software Analysis and Verification group has a whole session to itself!
ACM's Special Interest Group on Operating Systems has awarded MPI-SWS faculty member Jonathan Mace an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.