| Oct 12, 2025 | Looking forward to participating in the Dagstuhl Seminar Sound Static Program Analysis in Modern Software Engineering this October! 🤓 |
| Sep 01, 2025 | Started a new position as a postdoc in the group of Umang Mathur at NUS in Singapore! 🇸🇬 |
| Jun 16, 2025 | Just appeared: Our paper Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses will be presented at PLDI this year. See you in South Korea! 🇰🇷 |
| May 08, 2025 | Our paper Context Gas and friends: taming context-sensitivity on the fly has just appeared in the special issue of STTT dedicated to SOAP’24 🧼 |
| Apr 02, 2025 | Our team won a Recognition Award from Huawei for the performance of Goblint on industrial benchmarks submitted to SV-COMP’25 by their Dresden Research Center. 🏆 |
| Mar 26, 2025 | Our static analzyer Goblint won the data race category at SV-COMP’25 🏅 |
| Jan 20, 2025 | Just accepted: Our paper Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts will be presented at VMCAI 2025 👻🎉 |
| Jan 03, 2025 | Our paper The digest framework: concurrency-sensitivity for abstract interpretation has just appeared in the special issue of STTT dedicated to CSV’24 📝 |
| Dec 10, 2024 | I will serve on the program committee for SOAP’25 🧼 |
| Dec 02, 2024 | Vesal Vojdani’s group is visiting us in Munich for a week-long Goblint developer workshop. 🇪🇪🇩🇪 |
| Oct 20, 2024 | I will be at SAS and NSAD this year to present our NSAD paper C-2PO: A Weakly Relational Pointer Domain. See you there! 🇺🇸 |
| Sep 25, 2024 | Fresh off the press: Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap in STTT. |
| Aug 29, 2024 | Fresh off the press: When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C (Extended Version) in STTT. |
| Jun 20, 2024 | Just accepted at SOAP: When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly 🕳️🐇 |
| Jun 14, 2024 | Fresh off the press: Non-numerical weakly relational domains in STTT. |