1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Escaping the Quicksand: A Call to Arms
Peter Sewell, Jean Pichon-Pharabod
Computing has been an astonishing success - but the accumulated technical debt exposes us all to huge costs in business and societal risk. For 75 years, we've built systems to pros…
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…