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.

Memory models

Publications

  • ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS. [ ... | pdf ]
  • Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8. [ ... | pdf ]
  • Detailed Models of Instruction Set Architectures: From Pseudocode to Formal Semantics. [ ... | pdf ]
  • Mixed-size Concurrency: ARM, POWER, C/C++11, and SC. [ ... | pdf ]
  • Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA. [ ... | pdf ]