Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. - Sarvani S. Vakkalanka; Ganesh Gopalakrishnan; Robert M. Kirby (CAV, 2008)

Scheduling considerations for building dynamic verification tools for MPI. - Sarvani S. Vakkalanka; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby (PADTAD, 2008)

ISP: a tool for model checking MPI programs. - Sarvani S. Vakkalanka; Subodh Sharma 001; Ganesh Gopalakrishnan; Robert M. Kirby (PPoPP, 2008)

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. - Subodh Sharma 001; Sarvani S. Vakkalanka; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur; William Gropp (PVM/MPI, 2008)

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. - Sarvani S. Vakkalanka; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur; William Gropp (PVM/MPI, 2008)

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)

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

Efficient Dynamic Verification Algorithms for MPI Applications. - Sarvani S. Vakkalanka (2010)