Published August 31, 2024 | Version v8
Other Open

Artifact for "Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels"

Authors/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 (13.0 GB)

Name Size Download all
md5:221b2ca69f6bcd0119cb20df3760f4b1
1.1 kB Preview Download
md5:d17de7ad82ab589567c0dff98c3678f0
13.0 GB Download
md5:164ca9145bc2e844488e9b51daa3776f
11.7 kB Preview Download

Additional details

Software

Repository URL
https://github.com/dracoooooo/Plume