@misc{indiciaea87d77bb9558,
  title = {Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency},
  author = {Michael J. Sullivan and Karl Crary and Salil Joshi},
  year = {2019},
  url = {https://arxiv.org/abs/1904.05389},
  note = {Source identifier: 1904.05389}
}