Richard Grisenthwaite

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Puss in Boots: Formalizing Arm’s Virtual Memory System Architecture

Jade Alglave and others (2024) · Institute of Electrical and Electronics Engineers (IEEE)

Relaxed virtual memory in Armv8-A

Ben Simner and others (2022) · Programming Languages and Systems · Springer International Publishing

Armed Cats: Formal Concurrency Modelling at Arm

Jade Alglave and others (2021) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery

Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 8)

Robert N. M. Watson and others (2020) · CL Technical Reports