Symbolic Program Consistency Checking of OpenMP Parallel Programs with Relaxed Memory Models Fang Yu National Cheng Chi University Shun-Ching Yang Guan-Cheng.
Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support Serdar Tasiran Koc University, Istanbul, Turkey.
Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support