Simon Cooksey

According to our database, Simon Cooksey authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Dagstuhl Artifacts Ser., 2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

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

Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product.

Daniel Lustig, Simon Cooksey, Olivier Giroux

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

2020

Modular Relaxed Dependencies in Weak Memory Concurrency.

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty

Proceedings of the Programming Languages and Systems, 2020

2019

PrideMM: A Solver for Relaxed Memory Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

CoRR, 2019

PrideMM: Second Order Model Checking for Memory Consistency Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019