PwT v1.0.0: POPL 2022 artifact

Quick links

• Webpage of the project: online;
• VirtualBox image of the artifact: online.

This repository contains Coq code supplementing the paper Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency by Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, and Anton Podkopaev.