Published April 9, 2025 | Version 3
-
1.
Korea Advanced Institute of Science and Technology
Description
This is the artifact for the paper "Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals", containing its source code (implementation and proof) and relevant docker images.
* `immut-artifact.zip`: source code.
* `immut-bench.tar.gz`: docker image for the Rust benchmark.
* `immut-proof.tar.gz`: docker image for the Coq proof.
Detailed instructions and explanations are written in the respective README files.
Files
immut-artifact.zip
Additional details
-
2025-03-11