Published April 6, 2024
| Version v7
Other
Open
Artifact for "A Proof Recipe for Linearizability in Relaxed Memory Separation Logic", PLDI 2024
Creators
-
1.
Korea Advanced Institute of Science and Technology
-
2.
Radboud University Nijmegen
Description
This is the formalization for the paper "A Proof Recipe for Linearizability in Relaxed Memory Separation Logic", written in Coq, along with a Docker image file (`artifact.tar.gz`) that contains a compiled version of the project and all dependencies installed.
Detailed instructions and explanations are written in the README.md inside `pldi24-36-artifact.zip`.
Files
pldi24-36-artifact.zip
Files
(997.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:4163493ff1289c54e17b4bfc4670bae1
|
995.9 MB | Download |
|
md5:361e9fec01cec946064b7ea6ba9d6fcc
|
1.2 MB | Preview Download |