5675056
doi
10.5281/zenodo.5675056
oai:zenodo.org:5675056
Ilya Kaysin
Simon Cooksey
weakmemory/pwt: PwT v1.0.0: POPL 2022 artifact
Anton Podkopaev
NRU HSE, JetBrains Research
url:https://github.com/weakmemory/pwt/tree/1.0.0
info:eu-repo/semantics/openAccess
Other (Open)
<p><strong>Quick links</strong></p>
<ul>
<li>Webpage of the project: <a href="https://weakmemory.github.io/pwt">online</a>;</li>
<li>VirtualBox image of the artifact: <a href="https://podkopaev.net/popl22-pwt-artifact">online</a>.</li>
</ul>
<p>This repository contains Coq code supplementing the paper <em>Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency</em> by Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, and Anton Podkopaev.</p>
Zenodo
2021-11-11
info:eu-repo/semantics/other
5675055
1.0.0
1636638560.605116
64445
md5:ccfd6fe5b3a9acf11e2e3b829ca16889
https://zenodo.org/records/5675056/files/weakmemory/pwt-1.0.0.zip
public
https://github.com/weakmemory/pwt/tree/1.0.0
Is supplement to
url
10.5281/zenodo.5675055
isVersionOf
doi