Sarvani S. Vakkalanka

2009
6	EE	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270
2008
5	EE	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
4	EE	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
3	EE	Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby: ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286
2	EE	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
1	EE	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

Coauthor Index

1	Michael Delisi	[2] [4] [6]
2	Ganesh Gopalakrishnan	[1] [2] [3] [4] [5] [6]
3	William Gropp (William D. Gropp, Bill Gropp)	[1] [2]
4	Robert M. Kirby (Mike Kirby)	[1] [2] [3] [4] [5] [6]
5	Subodh Sharma	[1] [3]
6	Rajeev Thakur	[1] [2] [6]
7	Anh Vo	[6]