Anh Vo

15 papers A 1B 3C 1Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A SNAPpy use of large language models: using large language models to classify treatment plans in pediatric acute otitis media.
J. Am. Medical Informatics Assoc.
Jessica J. Pourian, Ben Michaels, Anh Vo, A Jay Holmgren, Augusto Garcia-Agundez, Valerie Flaherman
2023 — conf
Preserving Simulation Insight While Removing Data: Verification of Compressed Simulation Traces via Machine Learning.
ANNSIM
My Nguyen, Duc Vu, Anh Vo, Luke Liang, Philippe J. Giabbanelli
2014 — conf
Facial Expression Recognition Using Pyramid Local Phase Quantization Descriptor.
KSE
Anh Vo, Ngoc Quoc Ly
2011 B conf
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.
PACT
Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2011 — —
Scalable Formal Dynamic Verification of MPI Programs Through Distributed Causality Tracking.
Anh Vo
2010 A conf
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs.
SC
Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2010 C conf
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs.
EuroMPI
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2010 — conf
Scalable verification of MPI programs.
IPDPS Workshops
Anh Vo, Ganesh Gopalakrishnan
2009 B conf
Formal verification of practical MPI programs.
PPoPP
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009 — conf
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.
PVM/MPI
Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009 — conf
ISP Tool Update: Scalable MPI Verification.
Parallel Tools Workshop
Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan
2009 B conf
Reduced Execution Semantics of MPI: From Theory to Practice.
FM
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2009 — conf
Some resources for teaching concurrency.
PADTAD
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
2009 — conf
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.
PVM/MPI
Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009 — conf
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).
PVM/MPI
Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur