Computer Laboratory

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)

Publications

  • Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA (...) pdf