Published April 12, 2021
| Version v1.0
Software
Open
snu-sf/promising-ldrf-coq: PLDI 2021 Artifact
Creators
- 1. Seoul National University
- 2. Tel Aviv University
Description
The artifact for the paper Modular Data-Race-Freedom Guarantees in the Promising Semantics (PLDI 2021)
Files
snu-sf/promising-ldrf-coq-v1.0.zip
Files
(3.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e49da2870b7a36671d6bee826bbb73b5
|
3.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/snu-sf/promising-ldrf-coq/tree/v1.0 (URL)