Di, et al.. Region-based May-happen-in-parallel Analysis for C Programs. IEEE, 2015, doi:10.1109/icpp.2015.98.