Travelled to:1 × France
Collaborated with:Christopher Pulte P.Sewell S.Sarkar H.Y.Chen S.Mukhopadhyay K.E.Gray Will Deacon Jon French A.Sezgin L.Maranget K.Nienhuis M.Batty A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid Robert M. Norton Prashanth Mundkur Mark Wassell I.Stark Neel Krishnaswami
Talks about:concurr (3) model (2) oper (2) isa (2) arm (2) architectur (1) multicopi (1) simplifi (1) axiomat (1) termin (1)
Person: Shaked Flur
DBLP: Flur:Shaked
Contributed to:
2012
2016201720182019Wrote 5 papers:
- SAS-2012-ChenFM #linear #proving #termination
- Termination Proofs for Linear Simple Loops (HYC, SF, SM), pp. 422–438.
- POPL-2016-FlurGPSSMDS #architecture #concurrent #modelling
- Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
- POPL-2017-FlurSPNMGSBS #concurrent
- Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.
- 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.