May-Happen-in-Parallel Analysis of X10 programs. Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, Rudrapatna Shyamasundar. Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), March 2007.