Login / Signup
Will Deacon
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 3
Top Topics
Metamodel
Mathematical Models
Distributed Architecture
Data Flow
Top Venues
Proc. ACM Program. Lang.
POPL
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Jade Alglave
,
Will Deacon
,
Richard Grisenthwaite
,
Antoine Hacquard
,
Luc Maranget
Armed Cats: Formal Concurrency Modelling at Arm.
ACM Trans. Program. Lang. Syst.
43 (2) (2021)
Christopher Pulte
,
Shaked Flur
,
Will Deacon
,
Jon French
,
Susmit Sarkar
,
Peter Sewell
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8.
Proc. ACM Program. Lang.
2 (POPL) (2018)
Shaked Flur
,
Kathryn E. Gray
,
Christopher Pulte
,
Susmit Sarkar
,
Ali Sezgin
,
Luc Maranget
,
Will Deacon
,
Peter Sewell
Modelling the ARMv8 architecture, operationally: concurrency and ISA.
POPL
(2016)