Ph.D. student under the supervision of Peter Sewell at the Computer Laboratory of the University of Cambridge, working on the REMS project.
AArch64 memory models
- Web-interface of the Flowing model.
- Web-interface of the POP model.
- (see the publications below for more information about the models)
- Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA (...) pdf