TY  - RPRT
TI  - RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
AU  - Xiaoxue Ma
AU  - Shangru Wu
AU  - Ernest Pobee
AU  - Xiupei Mei
AU  - Hao Zhang
AU  - Bo Jiang
AU  - Wing-Kwong Chan
PY  - 2020
UR  - https://arxiv.org/abs/2008.04479
ID  - 2008.04479
ER  -