Concepedia

Anh Vo

AV

Statistics

Publications

6

Citations

299

H-Index

6

Active since

1998

Affiliations

University of Utah(Current)

Argonne National Laboratory

Lawrence Livermore National Laboratory

Anh Vo is an author at University of Utah specializing in computer science, computing, and formal methods.

Publications per year

1998–2011

6

Publications

6

A Scalable and Distributed Dynamic Formal Verifier for MPI Programs

Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan et al. · 2010 · 93 citations

, , +9

Formal verification of practical MPI programs

Anh Vo, Sarvani Vakkalanka, Michael DeLisi et al. · 2009 · 75 citations

, , +17

Compressed inverted files with reduced decoding overheads

Anh Vo, Alistair Moffat · 1998 · 60 citations · Full text

, , +9

Formal verification of practical MPI programs

Anh Vo, Sarvani Vakkalanka, Michael DeLisi et al. · ACM SIGPLAN Notices · 2009 · 36 citations

, , +17

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby et al. · 2011 · 19 citations

, , +13

1–5 of 6