Collaborated with:Christopher Pulte S.Flur P.Sewell Will Deacon S.Sarkar A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell I.Stark Neel Krishnaswami
Talks about:multicopi (1) simplifi (1) concurr (1) axiomat (1) semant (1) model (1) cheri (1) risc (1) oper (1) atom (1)
Person: Jon French
DBLP: French:Jon
Contributed to:
20182019Wrote 2 papers:
- POPL-2018-PulteFDFSS #axiom #concurrent #modelling #multi
- Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 (CP, SF, WD, JF, SS, PS), p. 29.
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.