default search action

combined dblp search
author search
venue search
publication search

ask others

Sarvani S. Vakkalanka

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2010
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - phd/us/Vakkalanka10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Vakkalanka10
Sarvani S. Vakkalanka:
Efficient Dynamic Verification Algorithms for MPI Applications. University of Utah, USA, 2010

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2010
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/VakkalankaVGK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/VakkalankaVGK10
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI 2010: 152-159
2009
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/VakkalankaVGK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/VakkalankaVGK09
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Reduced Execution Semantics of MPI: From Theory to Practice. FM 2009: 724-740
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GopalakrishnanYVVASSWSDA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GopalakrishnanYVVASSWSDA09
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/VoVDGKT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/VoVDGKT09
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Formal verification of practical MPI programs. PPoPP 2009: 261-270
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ptw/VoVG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ptw/VoVG09
Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan:
ISP Tool Update: Scalable MPI Verification. Parallel Tools Workshop 2009: 175-184
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/AananthakrishnanDVVGKT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/AananthakrishnanDVVGKT09
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: 261-270
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/VoVWGKT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/VoVWGKT09
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: 271-281
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/VakkalankaSVGKT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/VakkalankaSVGKT09
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: 329-330
2008
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/VakkalankaGK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/VakkalankaGK08
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: 66-79
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/issta/VakkalankaDGK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/VakkalankaDGK08
Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/VakkalankaSGK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/VakkalankaSGK08
Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby:
ISP: a tool for model checking MPI programs. PPoPP 2008: 285-286
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/VakkalankaDGKTG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/VakkalankaDGKTG08
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: 248-256
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/SharmaVGKTG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/SharmaVGKTG08
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: 265-273

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.