news
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. |
Dec 30, 2023 | π Published Correctness Witness Validation by Abstract Interpretation. |
Jun 6, 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 4, 2023 | π Goblint won the data race category in SV-COMP 2023 (results). |
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). |