Anh Vo

According to our database, Anh Vo authored at least 14 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Annual Modeling and Simulation Conference, 2023

2014

Facial Expression Recognition Using Pyramid Local Phase Quantization Descriptor.

Anh Vo, Ngoc Quoc Ly

Proceedings of the Knowledge and Systems Engineering, 2014

2011

Scalable Formal Dynamic Verification of MPI Programs Through Distributed Causality Tracking.

Anh Vo

PhD thesis, 2011

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, Greg Bronevetsky

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

A Scalable and Distributed Dynamic Formal Verifier for MPI Programs.

Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky

Proceedings of the Conference on High Performance Computing Networking, 2010

Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs.

Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the Recent Advances in the Message Passing Interface, 2010

Scalable verification of MPI programs.

Anh Vo, Ganesh Gopalakrishnan

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

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

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 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

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 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

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

ISP Tool Update: Scalable MPI Verification.

Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan

Proceedings of the Tools for High Performance Computing 2009, 2009

Formal verification of practical MPI programs.

Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Some resources for teaching concurrency.

Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Reduced Execution Semantics of MPI: From Theory to Practice.

Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the FM 2009: Formal Methods, 2009