Will Deacon

According to our database, Will Deacon authored at least 3 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Armed Cats: Formal Concurrency Modelling at Arm.

Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget

ACM Trans. Program. Lang. Syst., 2021

2018

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8.

Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell

Proc. ACM Program. Lang., 2018

2016

Modelling the ARMv8 architecture, operationally: concurrency and ISA.

Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016