19 citations · 21 across the 5 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2024★ 1 cited
Relaxed exception semantics for Arm-A (extended version)
Ben Simner, Alasdair Armstrong, Thomas Bauereiss +4
To manage exceptions, software relies on a key architectural guarantee, precision: that exceptions appear to execute between instructions. However, this definition, dating back ove…
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…