Published September 16, 2025
| Version v1
Software
Open
Artifact for 'Data Race Detection by Digest-Driven Abstract Interpretation'
Authors/Creators
-
1.
National University of Singapore
-
2.
Technical University of Munich
-
3.
Ludwig-Maximilians-Universität München
Description
This is the artifact for our manuscript Data Race Detection by Digest-Driven Abstract Interpretation.
Files
artifact.zip
Files
(8.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:cac9ba2846b6195366a1c193db52e5cc
|
8.9 GB | Preview Download |
|
md5:ad60f81f1eb5c2a641a577fe77579b6f
|
12.0 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/goblint/analyzer
- Programming language
- OCaml