@inproceedings{cav08-isp,
author = {Sarvani Vakkalanka and
Ganesh Gopalakrishnan and
   Robert M. Kirby},        
title = {Dynamic Verification of MPI Programs with
Reductions in Presence of
  Split Operations and Relaxed Orderings},
booktitle = {Computer Aided Verification ({CAV} 2008)},
pp =  {},
note = {To appear},
year = 2008}