@misc{indiciaee3af1005b939,
  title = {RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces},
  author = {Xiaoxue Ma and Shangru Wu and Ernest Pobee and Xiupei Mei and Hao Zhang and Bo Jiang and Wing-Kwong Chan},
  year = {2020},
  url = {https://arxiv.org/abs/2008.04479},
  note = {Source identifier: 2008.04479}
}