Anh Vo

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 1

Top Topics

Histogram Of Oriented Gradients

Facial Expression Recognition

Top Venues

Publications

My Nguyen, Duc Vu, Anh Vo, Luke Liang, Philippe J. Giabbanelli
Preserving Simulation Insight While Removing Data: Verification of Compressed Simulation Traces via Machine Learning. ANNSIM (2023)
Anh Vo, Ngoc Quoc Ly
Facial Expression Recognition Using Pyramid Local Phase Quantization Descriptor. KSE (2014)
Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT (2011)
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI (2010)
Anh Vo, Ganesh Gopalakrishnan
Scalable verification of MPI programs. IPDPS Workshops (2010)
Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. SC (2010)
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
Some resources for teaching concurrency. PADTAD (2009)
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
Reduced Execution Semantics of MPI: From Theory to Practice. FM (2009)
Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI (2009)
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Formal verification of practical MPI programs. PPOPP (2009)
Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI (2009)
Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan
ISP Tool Update: Scalable MPI Verification. Parallel Tools Workshop (2009)
Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI (2009)