Shivali Agarwal Rajkishore Barik Vivek Sarkar R. K. Shyamasundar May-happen-in-parallel analysis of X10 programs. 183-193 2007 conf/ppopp/2007 PPOPP http://doi.acm.org/10.1145/1229428.1229471 db/conf/ppopp/ppopp2007.html#AgarwalBSS07