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