Saurabh Srivastava

University of Maryland, College Park

other persons with the same name:

• Saurabh Srivastava - University of Arizona

	2009
9		Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: VS3: SMT Solvers for Program Verification. CAV 2009: 702-708
8		Saurabh Srivastava, Sumit Gulwani: Program verification using templates over predicate abstraction. PLDI 2009: 223-234
7		Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135
	2008
6		Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Program analysis as constraint solving. PLDI 2008: 281-292
5		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins: Modular Information Hiding and Type-Safe Linking for C. IEEE Trans. Software Eng. 34(3): 357-376 (2008)
	2007
4		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster: Modular information hiding and type-safe linking for C. TLDI 2007: 3-14
	2003
3		Saurabh Srivastava, R. K. Ghosh: Distributed algorithms for finding and maintaining a k-tree core in a dynamic network. Inf. Process. Lett. 88(4): 187-194 (2003)
	2002
2		Saurabh Srivastava, R. K. Ghosh: Cluster based routing using a k-tree core backbone for mobile ad hoc networks. DIAL-M 2002: 14-23
1		Saurabh Srivastava, Phalguni Gupta: Approximating the Range Sum of a Graph on CREW PRAM. IWDC 2002: 312-318

Coauthor Index

1	Jeffrey S. Foster	[4] [5] [9]
2	R. K. Ghosh	[2] [3]
3	Sumit Gulwani	[6] [7] [8] [9]
4	Phalguni Gupta	[1]
5	Michael W. Hicks (Michael Hicks)	[4] [5]
6	Patrick Jenkins	[5]
7	Ramarathnam Venkatesan	[6] [7]

Colors in the list of coauthors