J ParkinsonMatthew

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

DoddsMike, JagannathanSuresh, J ParkinsonMatthew, 2016 .

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types

J ParkinsonMatthew, GrossmanDan, D ErnstMichael, 2017 .

Modular reasoning for deterministic parallelism

DoddsMike, JagannathanSuresh, J ParkinsonMatthew, 2011 .

Uniqueness and reference immutability for safe parallelism

J ParkinsonMatthew, S GordonColin, ParsonsJared, 2012 .