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

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

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

SOAP 2025 - PLDI 2025 Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript), have received widespread attention for a long time. The application domains of thes...

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