• Refereed Conference and Workshop Publications
  1. Sarvani Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan and Robert M. Kirby, “Implementing Efficient Dynamic Formal Verification Methods for MPI Programs", Proceedings of EuroPVM/MPI 2008, Dublin, Ireland, September 7–10, 2008. Accepted.
  2. Subodh Sharma, Sarvani Vakkalanka, Ganesh Gopalakrishnan and Robert M. Kirby, “A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs", Proceedings of EuroPVM/MPI 2008, Dublin, Ireland, September 7–10, 2008. Accepted.
  3. Sarvani Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, “Scheduling Considerations for Building Dynamic Verification Tools for MPI", Proceedings of Paralle and Distributed Systems: Testing and Debugging (PADTAD), Seattle, USA, July 2008. Accepted.
  4. Sarvani Vakkalanka, Ganesh Gopalakrishnan and Robert M. Kirby, “Dynamic Verification of MPI programs with Reductions in Presence of Split Operations and Relaxed Orderings", 20^th International Conference on Computer Aided Verification (CAV 2008), Princeton, NJ, 2008. Accepted.
• Poster Sessions
  1. Sarvani Vakkalanka, Subodh V. Sharma, Ganesh Gopalakrishnan and Robert M. Kirby, “ISP: A Tool for Model Checking MPI Programs", In Principles and Practices of Parallel Programming (PPoPP), Salt Lake City, February 2008.

This document was translated from L^AT_EX by H^EV^EA.