| Oct 05, 2026 | 🗳️ Serving on the Organizing Committee for SV-COMP 2027 as C Language Chair and Benchmark Quality Assurance. |
| Jul 30, 2026 | 💼 Started as lecturer in programming languages at the Institute of Computer Science at the University of Tartu. |
| Jul 29, 2026 | 🗳️ Serving on the Artifact Evaluation Committee for VMCAI 2027 as co-chair. |
| Jun 25, 2026 | 📄 Published Comparing Transparent Static Analyzers with Open Verification Dashboard. |
| Apr 23, 2026 | 🎓 Defended my PhD thesis Correctness Witnesses for Thread-Modular Program Analysis (video)! |
| Apr 15, 2026 | 📄 Published Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution), Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses (Competition Contribution) and Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities. |
| Apr 06, 2026 | 📗 Published my PhD thesis Correctness Witnesses for Thread-Modular Program Analysis. |
| Feb 12, 2026 | 🏆 Goblint ranked 1st in data races and 2nd in correctness proving overall in SV-COMP 2026 (results). |
| Feb 06, 2026 | 📄 Published preprint Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version). |
| Nov 26, 2025 | 🗳️ Serving on the Jury / Program Committee for SV-COMP 2026 representing Goblint and SV-sanitizers. |
| Oct 26, 2025 | 🏰 Participating in Dagstuhl Seminar Competitions and Empirical Evaluations in Automated Reasoning. |
| Oct 14, 2025 | 🗳️ Serving on the Organizing Committee for SV-COMP 2026 as Benchmark Quality Assurance. |
| May 09, 2025 | 🧑💻 Co-giving a workshop “Automated Software Verification: Can Machines Help Us Improve Software Quality?” at Digit 2025 with Vesal Vojdani. |
| Apr 29, 2025 | 📄 Published Sound Static Data Race Verification for C: Is the Race Lost? |
| Apr 22, 2025 | 🏰 Participating in Dagstuhl Seminar Information Exchange in Software Verification. |
| Mar 24, 2025 | 🏆 Goblint won the data race category in SV-COMP 2025 (results). |
| Jan 24, 2025 | 📄 Published Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. |
| 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. |
| Oct 12, 2024 | 🗳️ Serving on the Jury / Program Committee for SV-COMP 2025 representing Goblint and sv-sanitizers. |
| 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. |