Sarvani S. Vakkalanka

According to our database, Sarvani S. Vakkalanka authored at least 14 papers between 2008 and 2010.

Collaborative distances:

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

2010

Efficient Dynamic Verification Algorithms for MPI Applications.

Sarvani S. Vakkalanka

PhD thesis, 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

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

2008

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.

Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp

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

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.

Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp

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

ISP: a tool for model checking MPI programs.

Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Scheduling considerations for building dynamic verification tools for MPI.

Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.

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

Proceedings of the Computer Aided Verification, 20th International Conference, 2008