Sarvani S. Vakkalanka

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI (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)
Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI (2008)
Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI (2008)
Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
ISP: a tool for model checking MPI programs. PPOPP (2008)
Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
Scheduling considerations for building dynamic verification tools for MPI. PADTAD (2008)
Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV (2008)