| Mar 10, 2026 | Just accepted: Our tutorial paper Mixed Flow-Sensitive Static Analysis: Engineering Modularity will appear at FM. 👨🏫 The corresponding half-day tutorial will happen on May 19. See you there! 🇯🇵 |
| Feb 23, 2026 | Vesal Vojdani and I will organize this year’s edition of NSAD in Oakland, California 🇺🇸. Please consider sending your work on abstract domains! ✍️ |
| Feb 13, 2026 | SV-COMP 2026: Goblint ranks 🥇 first in proving data race freedom and 🥈 second in proving program correctness overall. In validating correctness witnesses, it ranks 🥇 first in the systems category. Thank you to everyone who contributed to Goblint and the SV-COMP organizers! |
| Jan 16, 2026 | Just accepted: Our paper Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities will appear at TACAS 2026. Ali will be heading to Turin to present the paper. Make sure to say hello to him! |
| Jan 07, 2026 | Visited Helmut Seidl’s group at TUM for a few days and got to talk to old colleagues, some current collaborators, and undergrads currently doing BSc and MSc theses on Goblint. Thanks for having me! |
| Nov 05, 2025 | Just accepted: Our paper Data Race Detection by Digest-Driven Abstract Interpretation will appear at VMCAI next year. See you in Rennes! 🇫🇷 |
| Oct 12, 2025 | Participating in the Dagstuhl Seminar Sound Static Program Analysis in Modern Software Engineering! 🤓 Our slides: Towards Interactive Abstract Interpretation for Multithreaded Programs |
| 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. |