ACM Principles of Programming Languages, POPL 2016


Article Details
Title: Modelling the ARMv8 architecture, operationally: concurrency and ISA
Article URLs:
Alternative Article URLs:
Authors: Shaked Flur
  • University of Cambridge, UK
Kathryn E. Gray
  • University of Cambridge, UK
Christopher Pulte
  • University of Cambridge, UK
Susmit Sarkar
  • University of St Andrews, UK
Ali Sezgin
  • University of Cambridge, UK
Luc Maranget
  • INRIA, France
Will Deacon
  • ARM Ltd., UK
Peter Sewell
  • University of Cambridge, UK
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/popl/FlurGPSSMDS16
Author Comments:

Discuss this paper and its artifacts below