PrideMM: Second Order Model Checking for Memory Consistency Models. - Simon Cooksey; Sarah Harris; Mark Batty; Radu Grigore; Mikolás Janota (FM Workshops (2), 2019)

PrideMM: A Solver for Relaxed Memory Models. - Simon Cooksey; Sarah Harris; Mark Batty; Radu Grigore; Mikolás Janota (CoRR, 2019)

Modular Relaxed Dependencies in Weak Memory Concurrency. - Marco Paviotti; Simon Cooksey; Anouk Paradis; Daniel Wright 001; Scott Owens; Mark Batty (ESOP, 2020)

Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product. - Daniel Lustig; Simon Cooksey; Olivier Giroux (ISCA, 2022)

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. - Alan Jeffrey; James Riely; Mark Batty; Simon Cooksey; Ilya Kaysin; Anton Podkopaev (Proc. ACM Program. Lang., 2022)

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). - Sarah Harris; Simon Cooksey; Michael Vollmer 003; Mark Batty (ECOOP, 2023)

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). - Sarah Harris; Simon Cooksey; Michael Vollmer 003; Mark Batty (Dagstuhl Artifacts Ser., 2023)

Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. - Jay Richards; Daniel Wright 001; Simon Cooksey; Mark Batty (Proc. ACM Program. Lang., 2025)