ACM Principles of Programming Languages, POPL 2017


Article Details
Title: Mixed-size concurrency: ARM, POWER, C/C++11, and SC
Article URLs:
Alternative Article URLs:
Authors: Shaked Flur
  • University of Cambridge
Susmit Sarkar
  • University of St Andrews
Christopher Pulte
  • University of Cambridge
Kyndylan Nienhuis
  • University of Cambridge
Luc Maranget
  • INRIA
Kathryn E. Gray
  • University of Cambridge
Ali Sezgin
  • University of Cambridge
Mark Batty
  • University of Kent
Peter Sewell
  • University of Cambridge
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/FlurSPNMGSBS17
Author Comments:

Discuss this paper and its artifacts below