Sarvani S. Vakkalanka

14 papers A* 1B 3C 1Unranked 8

Year	Rank	Type	Title / Venue / Authors
2010	—	`—`	Efficient Dynamic Verification Algorithms for MPI Applications. Sarvani S. Vakkalanka
2010	C	`conf`	Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2009	B	`conf`	Formal verification of practical MPI programs. PPoPP Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	ISP Tool Update: Scalable MPI Verification. Parallel Tools Workshop Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan
2009	B	`conf`	Reduced Execution Semantics of MPI: From Theory to Practice. FM Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2009	—	`conf`	Some resources for teaching concurrency. PADTAD Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
2009	—	`conf`	Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2008	—	`conf`	A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008	A*	`conf`	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby
2008	B	`conf`	ISP: a tool for model checking MPI programs. PPoPP Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008	—	`conf`	Scheduling considerations for building dynamic verification tools for MPI. PADTAD Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby