https://github.com/johnwickerson/papers

Research papers by John Wickerson and others
https://github.com/johnwickerson/papers

Last synced: 6 months ago
JSON representation

Research papers by John Wickerson and others

• Host: GitHub
• URL: https://github.com/johnwickerson/papers
• Owner: johnwickerson
• Created: 2016-10-10T16:23:49.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2016-11-08T10:17:04.000Z (over 9 years ago)
• Last Synced: 2025-04-24T04:47:39.485Z (over 1 year ago)
• Language: TeX
• Size: 3.09 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
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.