A Scalable and Distributed Dynamic Formal Verifier for MPI Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky. A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. In Conference on High Performance Computing Networking, Storage and Analysis, SC 2010, New Orleans, LA, USA, November 13-19, 2010. pages 1-10, IEEE, 2010. [doi]

This author has not been identified. Look up 'Anh Vo' in GoogleThis author has not been identified. Look up 'Sriram Aananthakrishnan' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Bronis R. de Supinski' in GoogleThis author has not been identified. Look up 'Martin Schulz' in GoogleThis author has not been identified. Look up 'Greg Bronevetsky' in Google

runs on WebDSL