This repository contains source code for selected research papers by John Wickerson and coauthors:
-
John Wickerson, Mark Batty, Tyler Sorensen, and George A. Constantinides, "Automatically Comparing Memory Consistency Models", in Proc. Principles of Programming Languages (POPL '17), 2017.
-
Mark Batty, Alastair F. Donaldson, and John Wickerson, "Overhauling SC Atomics in C11 and OpenCL", in Proc. Principles of Programming Languages (POPL '16), 2016.
-
John Wickerson, Mark Batty, Bradford M. Beckmann, and Alastair F. Donaldson, "Remote-Scope Promotion: Clarified, Rectified, and Verified", in Proc. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '15), 2015.
-
John Wickerson, Mike Dodds, and Matthew Parkinson, "Ribbon Proofs for Separation Logic", in Proc. European Symposium on Programming (ESOP '13), 2013.
-
John Wickerson, Mike Dodds, and Matthew Parkinson, "Explicit Stabilisation for Modular Rely-Guarantee Reasoning", in Proc. European Symposium on Programming (ESOP '10), 2010.
All papers have been compiled using pdfTeX,
Version 3.14159265-2.6-1.40.15 (TeX Live 2014). It should suffice
simply to run make in each paper's subdirectory.