Simon Cooksey

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Semantic Dependencies

Dependency Analysis

Top Venues

Proc. ACM Program. Lang.

FM Workshops (2)

Dagstuhl Artifacts Ser.

Publications

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). ECOOP (2023)
Daniel Lustig, Simon Cooksey, Olivier Giroux
Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product. ISCA (2022)
Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. Proc. ACM Program. Lang. 6 (POPL) (2022)
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
Modular Relaxed Dependencies in Weak Memory Concurrency. ESOP (2020)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: A Solver for Relaxed Memory Models. CoRR (2019)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: Second Order Model Checking for Memory Consistency Models. FM Workshops (2) (2019)