Richard Grisenthwaite

According to our database, Richard Grisenthwaite authored at least 9 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Arm Morello Evaluation Platform - Validating CHERI-Based Security in a High-Performance System.

Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff

IEEE Micro, 2023

2022

FP8 Formats for Deep Learning.

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

CoRR, 2022

Relaxed virtual memory in Armv8-A (extended version).

Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell

CoRR, 2022

Arm Morello Evaluation Platform -Validating CHERI-based Security in a High-performance System.

Richard Grisenthwaite

Proceedings of the 2022 IEEE Hot Chips 34 Symposium, 2022

Relaxed virtual memory in Armv8-A.

Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell

Proceedings of the Programming Languages and Systems, 2022

2021

Armed Cats: Formal Concurrency Modelling at Arm.

Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget

ACM Trans. Program. Lang. Syst., 2021

The Milestones That Define Arm's Past, Present, and Future.

Richard Grisenthwaite

IEEE Micro, 2021

2012

Plenary speaker: Low power solutions for a smarter future.

Richard Grisenthwaite

Proceedings of the IEEE 25th International SOC Conference, 2012

2000

Microprocessor cores.

Andrew Burdass, Gary Campbell, Richard Grisenthwaite, David Gwilt, Peter Harrod, Richard York

Proceedings of the 5th European Test Workshop, 2000