Shaked Flur
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)