Published July 5, 2024
| Version v5
Other
Open
Artifact for "Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels"
Creators
Description
This artifact provides a Docker image that includes all the necessary tools and experimental data used in "Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels." The Docker image ensures a fully configured environment to facilitate reproducibility of the results presented in the paper.
Files
README.md
Files
(12.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:aac456927cb85ef9280a26f7f2ad07a7
|
12.7 GB | Download |
|
md5:8b9e6fed54ee051f9ac311fa83075a2e
|
10.9 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/dracoooooo/Plume-Artifacts