Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency. - Michael J. Sullivan; Karl Crary; Salil Joshi 004 (CoRR, 2019)