Got to give a tutorial on Mixed Flow-Sensitivity Static Analysis at FM last week! The tutorial is also the gentle introduction to the Goblint system that I would have appreciated eight years ago, when I first came into contact with Goblint. Paper: link.springer.com/chapter/10.1...

NSAD will be back in 2026, co-located with SPLASH/ISSTA and SAS 🎉. Looking forward to seeing your work on abstract domains: conf.researchr.org/home/splash-... Stay tuned for more details! #NSAD #StaticAnalysis #AbstractInterpretation #ProgramVerification #SPLASH2026

NSAD 2026 - SPLASH/ISSTA 2026

11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computat...

conf.researchr.org

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