Richard Grisenthwaite

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 7

Top Topics

Top Venues

Publications

Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff
The Arm Morello Evaluation Platform - Validating CHERI-Based Security in a High-Performance System. IEEE Micro 43 (3) (2023)
Paulius Micikevicius, Dusan Stosic, Neil Burgess, Marius Cornea, Pradeep Dubey, Richard Grisenthwaite, Sangwon Ha, Alexander Heinecke, Patrick Judd, John Kamalu, Naveen Mellempudi, Stuart F. Oberman, Mohammad Shoeybi, Michael Y. Siu, Hao Wu
FP8 Formats for Deep Learning. CoRR (2022)
Richard Grisenthwaite
Arm Morello Evaluation Platform -Validating CHERI-based Security in a High-performance System. HCS (2022)
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell
Relaxed virtual memory in Armv8-A. ESOP (2022)
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell
Relaxed virtual memory in Armv8-A (extended version). CoRR (2022)
Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget
Armed Cats: Formal Concurrency Modelling at Arm. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Richard Grisenthwaite
The Milestones That Define Arm's Past, Present, and Future. IEEE Micro 41 (6) (2021)
Richard Grisenthwaite
Plenary speaker: Low power solutions for a smarter future. SoCC (2012)
Andrew Burdass, Gary Campbell, Richard Grisenthwaite, David Gwilt, Peter Harrod, Richard York
Microprocessor cores. ETW (2000)