Space-Efficient On-the-fly Race Detection Using Loop Splitting. - Yong-Cheol Kim; Sang-Soo Jun; Yong-Kee Jun (UCMA (2), 2011)