Sarvani S. Vakkalanka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2009
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FM | Reduced Execution Semantics of MPI: From Theory to Practice. | Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2009 | ISSTA | 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 |
| 2009 | PPoPP | Formal verification of practical MPI programs. | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur |
| 2008 | CAV | Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. | Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | ISSTA | Scheduling considerations for building dynamic verification tools for MPI. | Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | PPoPP | ISP: a tool for model checking MPI programs. | Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby |