Collaborated with:S.Flur Christopher Pulte S.Sarkar P.Sewell Jon French K.E.Gray A.Sezgin L.Maranget
Talks about:concurr (2) model (2) oper (2) architectur (1) multicopi (1) simplifi (1) axiomat (1) atom (1) isa (1) arm (1)
Person: Will Deacon
DBLP: Deacon:Will
Contributed to:
20162018Wrote 2 papers:
- 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-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.