Deadlock Detection In MPI Programs
(with G. Luecke, Y. Zou, H. Chen, J. Coyle, and M. Kraeva),
Concurrency and Computation: Practice and Experience, 14:911-932, 2002