Two-for-one on professional life updates today: 1️⃣ In June, I defended my PhD at TUM 🎓 (thanks again to everyone on the committee and my advisor Helmut Seidl) 2️⃣I have moved to Singapore 🇸🇬 and joined @umathur.bsky.social's group in NUS PLSE as a postdoc✍️

Back from the SV-COMP Community Meeting and Verification Witness workshop this year at Frauenchiemsee Abbey. Great opportunity for the SV-COMP community to get together and discuss all the exciting changes coming to the witness format for SV-COMP '26.

Today, we got to learn about "The Mopsa static analysis platform and their quest to ease implementation & maintenance" from Raphaël Monat, who's visiting our group at TUM on his way to the SV-COMP community meeting tomorrow. 📖

State Of the Art in Program Analysis (@SOAP_Workshop) aims to bring together the members of the program analysis community to share new developments and shape new innovations in program analysis. The submission deadline is on March 3. More info: pldi25.sigplan.org/home/SOAP-20...