The following pages link to Mark Batty (Q2324019):
Displayed 5 items.
- Compositional verification of compiler optimisations on relaxed memory (Q2324020) (← links)
- Overhauling SC atomics in C11 and OpenCL (Q2828302) (← links)
- Library abstraction for C/C++ concurrency (Q2931799) (← links)
- Automatically comparing memory consistency models (Q5370855) (← links)
- Mathematizing C++ concurrency (Q5408531) (← links)