@misc{indiciaecdbb9cde524c,
  title = {Compositional Reasoning for Shared-variable Concurrent Programs},
  author = {Fuyuan Zhang and Yongwang Zhao and David Sanan and Yang Liu and Alwen Tiu and Shang-Wei Lin and Jun Sun},
  year = {2018},
  url = {https://arxiv.org/abs/1611.00574},
  note = {Source identifier: 1611.00574}
}