Harold W. Cain, Mikko H. Lipasti, Ravi Nair. Constraint Graph Analysis of Multithreaded Programs. In 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September - 1 October 2003, New Orleans, LA, USA. pages 4-14, IEEE Computer Society, 2003. [doi]