| Nov 26, 2024 | 📄 Published preprint Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version). |
| Oct 17, 2024 | 📄 Published Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results. |
| Sep 28, 2024 | 🗳️ Serving on the Organizing Committee for SV-COMP 2025 as Benchmark Quality Assurance. |
| Sep 25, 2024 | 📄 Published Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap (after two years under review). |
| Sep 17, 2024 | 🥇 Won the Distinguished Artifact Reviewer Award at ECOOP 2024. |
| Sep 13, 2024 | 📄 Published Abstract Debugging with GobPie. |
| Aug 29, 2024 | 📄 Published When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version. |
| Apr 04, 2024 | 📄 Published Goblint Validator: Correctness Witness Validation by Abstract Interpretation (Competition Contribution) and Goblint: Abstract Interpretation for Memory Safety and Termination (Competition Contribution). |
| Mar 27, 2024 | 🗳️ Serving on the Program Committee for OCaml Workshop 2024. |
| Mar 22, 2024 | 🏆 Goblint won the data race category in SV-COMP 2024 (results). |
| Jan 16, 2024 | 🥇 Correctness Witness Validation by Abstract Interpretation won the Best Paper Award at VMCAI 2024. |
| Jan 05, 2024 | 🗳️ Serving on the External Review Committee and Artifact Evaluation Committee for ECOOP 2024. |
| Dec 30, 2023 | 📄 Published Correctness Witness Validation by Abstract Interpretation. |
| Nov 01, 2023 | 🗳️ Serving on the Jury / Program Committee for SV-COMP 2024 representing Goblint and sv-sanitizers. |
| Oct 25, 2023 | 📄 Published preprint Correctness Witness Validation by Abstract Interpretation. |
| Jun 06, 2023 | 📄 Published When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-Local Jumps in C. |
| Apr 20, 2023 | 📄 Published Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution). |
| Apr 17, 2023 | 📄 Published Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. |
| Feb 04, 2023 | 🏆 Goblint won the data race category in SV-COMP 2023 (results). |
| Jan 19, 2023 | 🗳️ Serving on the Artifact Evaluation Committee for CAV 2023. |
| Jan 16, 2023 | 📄 Published preprint Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. |
| Oct 21, 2022 | 🗳️ Serving on the Jury / Program Committee for SV-COMP 2023 representing Goblint. |
| Sep 21, 2022 | 📄 Published preprint Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. |
| Mar 30, 2022 | 🏆 Goblint was the most correct and greenest verifier in SV-COMP 2022 (report). |
| Oct 15, 2021 | 🗳️ Serving on the Jury / Program Committee for SV-COMP 2022 representing Goblint. |
| Oct 13, 2021 | 📄 Published Improving Thread-Modular Abstract Interpretation. |
| Aug 17, 2021 | 📄 Published preprint Improving Thread-Modular Abstract Interpretation. |
| Mar 23, 2021 | 📄 Published Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution). |
| Dec 20, 2020 | 🏆 Goblint won the (unannounced) data race demo category in SV-COMP 2021 (NoDataRace results). |
| Oct 16, 2020 | 🗳️ Serving on the Jury / Program Committee for SV-COMP 2021 representing Goblint. |