Suivre
Simon Cooksey
Simon Cooksey
Research Scientist, NVIDIA
Adresse e-mail validée de nvidia.com - Page d'accueil
Titre
Citée par
Citée par
Année
Modular relaxed dependencies in weak memory concurrency
M Paviotti, S Cooksey, A Paradis, D Wright, S Owens, M Batty
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
382020
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency
A Jeffrey, J Riely, M Batty, S Cooksey, I Kaysin, A Podkopaev
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
172022
PrideMM: Second Order Model Checking for Memory Consistency Models
S Cooksey, S Harris, M Batty, R Grigore, M Janota
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
6*2020
Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product
D Lustig, S Cooksey, O Giroux
Proceedings of the 49th Annual International Symposium on Computer …, 2022
12022
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)
S Harris, S Cooksey, M Vollmer, M Batty
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)
S Harris, S Cooksey, M Vollmer, M Batty
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
2023
Automating C++ Execution Exploration to Solve the Out-of-Thin-Air Problem
S Cooksey
PQDT-Global, 2022
2022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–7