Reduced Execution Semantics of MPI: From Theory to Practice. - Sarvani S. Vakkalanka; Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby (FM, 2009)

Some resources for teaching concurrency. - Ganesh Gopalakrishnan; Yu Yang 013; Sarvani S. Vakkalanka; Anh Vo; Sriram Aananthakrishnan; Grzegorz Szubzda; Geoffrey Sawaya; Jason Williams; Subodh Sharma 001; Michael Delisi; Simone Atzeni (PADTAD, 2009)

Formal verification of practical MPI programs. - Anh Vo; Sarvani S. Vakkalanka; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PPoPP, 2009)

ISP Tool Update: Scalable MPI Verification. - Anh Vo; Sarvani S. Vakkalanka; Ganesh Gopalakrishnan (Parallel Tools Workshop, 2009)

How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. - Sriram Aananthakrishnan; Michael Delisi; Sarvani S. Vakkalanka; Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PVM/MPI, 2009)

Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). - Sarvani S. Vakkalanka; Grzegorz Szubzda; Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PVM/MPI, 2009)

Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. - Anh Vo; Sarvani S. Vakkalanka; Jason Williams; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PVM/MPI, 2009)

Scalable verification of MPI programs. - Anh Vo; Ganesh Gopalakrishnan (IPDPS Workshops, 2010)

Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. - Sarvani S. Vakkalanka; Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby (EuroMPI, 2010)

A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. - Anh Vo; Sriram Aananthakrishnan; Ganesh Gopalakrishnan; Bronis R. de Supinski; Martin Schulz 001; Greg Bronevetsky (SC, 2010)

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. - Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby; Bronis R. de Supinski; Martin Schulz 001; Greg Bronevetsky (PACT, 2011)

Scalable Formal Dynamic Verification of MPI Programs Through Distributed Causality Tracking. - Anh Vo (2011)

Facial Expression Recognition Using Pyramid Local Phase Quantization Descriptor. - Anh Vo; Ngoc Quoc Ly (KSE, 2014)

Preserving Simulation Insight While Removing Data: Verification of Compressed Simulation Traces via Machine Learning. - My Nguyen; Duc Vu; Anh Vo; Luke Liang; Philippe J. Giabbanelli (ANNSIM, 2023)