Mark Batty
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Simon Cooksey4 talks
- Ori Lahav17 talks
- Viktor Vafeiadis23 talks
- Azalea Raad27 talks
- Peter Sewell14 talks
- Anton Podkopaev5 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… | ||
| Welcome | The Future of Weak Memory 2024 | 2024-01-15 |
Program opens by defining weak versus strong memory and lists concrete agenda items: empirical validation of memory persistency models, tooling for checking… | ||
| Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency | PLDI 2022 | 2022-06-13 |
Claim: a new sequential semantics seq suffices to prove compiler optimizations sound even when linked into arbitrary weak‑memory contexts modeled by the… | ||
| 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 | ||