Mark Batty

Identifiers

• name variant Mark Batty 0.60 · backfill

Papers (3)

1. PrideMM: A Solver for Relaxed Memory Models cs.LO · 2018 · author #3
2. Compositional Verification of Compiler Optimisations on Relaxed Memory cs.PL · 2018 · author #2
3. Overhauling SC Atomics in C11 and OpenCL cs.PL · 2015 · author #1

Mentions

• 1503.07073 #1 · backfill · confidence 0.70 Mark Batty

Frequent Coauthors

• Alastair F. Donaldson 1 shared papers
• Alexey Gotsman 1 shared papers
• John Wickerson 1 shared papers
• Mike Dodds 1 shared papers
• Mikol\'a\v{s} Janota 1 shared papers
• Radu Grigore 1 shared papers
• Sarah Harris 1 shared papers
• Simon Cooksey 1 shared papers