This talk was presented at the virtual Arm Research Summit, September 9-11, 2020. This year's event explored global technology challenges across sustainability, security, and society, and attracted delegates from around the world for three days of innovative content.
Richard Grisenthwaite, Robert Watson and Peter Sewell give an overview of Morello, from an introduction to architectural reasoning.
We hope to see you at the Arm Research Summit 2021, set to take place in the UK. Visit arm.com/summit to stay up to date and register your interest to attend or submit your work!