Jon French -

Not registered as user yet

Name:Jon French

Affiliation:University of Cambridge

Contributions

REMS-DeepSpec 2020	Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track Author of Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V within the REMS-DeepSpec 2020-track
POPL 2019	Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
POPL 2018	Author of Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8 within the Artifact Evaluation-track Author of Simplifying ARM Concurrency: Multicopy-Atomic Axiomatic and Operational Models for ARMv8 within the Research Papers-track