12 citations · 12 across the 1 of their papers we have counts for
2 papers
cs.LO2020★ 12 cited
Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, Shaked Flur +3
Formal verification of software is a bit of a niche activity: it is only applied to the most safety-critical or security-critical software and it is typically only performed by spe…
cs.AR2018
The ARM Scalable Vector Extension
Nigel Stephens, Stuart Biles, Matthias Boettcher +10
This article describes the ARM Scalable Vector Extension (SVE). Several goals guided the design of the architecture. First was the need to extend the vector processing capability a…