☰

Anh Vo, Ph.D.

Affiliations: 
2011 School of Computing University of Utah, Salt Lake City, UT 
Area:
Computer Science
Google:
"Anh Vo"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Ganesh Gopalakrishnan grad student 2011 University of Utah
 (Scalable formal dynamic verification of MPI programs through distributed causality tracking.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Vo A, Gopalakrishnan G. (2010) Scalable verification of MPI programs Proceedings of the 2010 Ieee International Symposium On Parallel and Distributed Processing, Workshops and Phd Forum, Ipdpsw 2010
Vakkalanka S, Vo A, Gopalakrishnan G, et al. (2010) Precise dynamic analysis for slack elasticity: Adding buffering without adding bugs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6305: 152-159
Vo A, Vakkalanka S, Gopalakrishnan G. (2010) ISP tool update: Scalable MPI verification Proceedings of the 3rd International Workshop On Parallel Tools For High Performance Computing 2009. 175-184
Vakkalanka S, Vo A, Gopalakrishnan G, et al. (2009) Reduced execution semantics of MPI: From theory to practice Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5850: 724-740
See more...