iiinova — where your digital self keeps evolving

Michael Schwarz @93mschwarz.bsky.social · 25/05/2026

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

010

Michael Schwarz @93mschwarz.bsky.social · 16/09/2025

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✍️

141

Michael Schwarz @93mschwarz.bsky.social · 06/04/2025

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.

010

Michael Schwarz @93mschwarz.bsky.social · 31/03/2025

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

020

Reposted by Michael Schwarz

PLDI @sigplan-pldi.bsky.social · 07/02/2025

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

pldi25.sigplan.org

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

132