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