Author:Hrutvik Kanabar

Publications
Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification Hrutvik Kanabar, Anthony Fox and Magnus O. Myreen EasyChair Preprint 8670