Sriram Aananthakrishnan

	2010
3		Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky: A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. SC 2010: 1-10
	2009
2		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
1		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

Coauthor Index

1	Simone Atzeni	[2]
2	Greg Bronevetsky	[3]
3	Michael Delisi	[1] [2]
4	Ganesh Gopalakrishnan	[1] [2] [3]
5	Robert M. Kirby (Mike Kirby)	[1]
6	Geoffrey Sawaya	[2]
7	Martin Schulz	[3]
8	Subodh Sharma	[2]
9	Bronis R. de Supinski	[3]
10	Grzegorz Szubzda	[2]
11	Rajeev Thakur	[1]
12	Sarvani S. Vakkalanka	[1] [2]
13	Anh Vo	[1] [2] [3]
14	Jason Williams	[2]
15	Yu Yang	[2]

Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page