Formal verification of practical MPI programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. Formal verification of practical MPI programs. In Daniel A. Reed, Vivek Sarkar, editors, Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009. pages 261-270, ACM, 2009. [doi]

This author has not been identified. Look up 'Anh Vo' in GoogleThis author has not been identified. Look up 'Sarvani S. Vakkalanka' in GoogleThis author has not been identified. Look up 'Michael Delisi' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Robert M. Kirby' in GoogleThis author has not been identified. Look up 'Rajeev Thakur' in Google

runs on WebDSL