☰

Anh Vo, Ph.D. - Publications

Affiliations: 
2011 School of Computing University of Utah, Salt Lake City, UT 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2010 Vo A, Gopalakrishnan G. Scalable verification of MPI programs Proceedings of the 2010 Ieee International Symposium On Parallel and Distributed Processing, Workshops and Phd Forum, Ipdpsw 2010. DOI: 10.1109/IPDPSW.2010.5470683  0.354
2010 Vakkalanka S, Vo A, Gopalakrishnan G, Kirby RM. 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. DOI: 10.1007/978-3-642-15646-5_16  0.343
2010 Vo A, Vakkalanka S, Gopalakrishnan G. ISP tool update: Scalable MPI verification Proceedings of the 3rd International Workshop On Parallel Tools For High Performance Computing 2009. 175-184. DOI: 10.1007/978-3-642-11261-4-12  0.364
2009 Vakkalanka S, Vo A, Gopalakrishnan G, Kirby RM. 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. DOI: 10.1007/978-3-642-05089-3_46  0.355
Show low-probability matches.