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 29, 2025 | π° Will participate in Dagstuhl Seminar Competitions and Empirical Evaluations in Automated Reasoning in October 2025. |
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. |