19 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.AR2022★ 1 cited
Relaxed virtual memory in Armv8-A (extended version)
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod +3
Virtual memory is an essential mechanism for enforcing security boundaries, but its relaxed-memory concurrency semantics has not previously been investigated in detail. The concurr…
cs.PL2020★ 19 cited
Repairing and Mechanising the JavaScript Relaxed Memory Model
Conrad Watt, Christopher Pulte, Anton Podkopaev +5
Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the Ja…