Simon Cooksey
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Mark Batty3×
- Alan Jeffreyonce
- Anton Podkopaevonce
all 9 in the filters
who talks about the same things
- Mark Batty5 talks
- James Riely3 talks
- Ori Lahav17 talks
- Anton Podkopaev5 talks
- Peter Sewell14 talks
- Jeehoon Kang14 talks
| title | conference | date |
|---|---|---|
| Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice | OOPSLA 2025 | 2025-10-16 |
Claims a thin-air free memory model that justifies every write with a symbolic justification structure (control/data dependencies plus elaborations) so… | ||
| Rust on Morello | POCL 2024 | 2024-01-16 |
A Rust toolchain is ported to Morello prototype hardware, swapping the LLVM backend and making the compiler and core/std build and run; pointer storage is 128… | ||
| Programmers love mind-bogglingly complicated weak memory models | The Future of Weak Memory 2024 | 2024-01-15 |
Nvidia documents a concrete, unusually weak GPU memory model that adds proxies and enforces proxy preserved program order so that cycles in pppo and fr are… | ||
| The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Conc | POPL 2022 | 2022-01-16 |
Defines a compositional event semantics that attaches preconditions and families of predicate transformers to events, so sequential composition picks a… | ||
| nothing matches | ||