news

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.