Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky. Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. In Lawrence Rauchwerger, Vivek Sarkar, editors, 2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011. pages 330-339, IEEE Computer Society, 2011. [doi]
Abstract is missing.