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

2010 – 2019

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
[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

2000 – 2009

see FAQ

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

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.