| |
University of Maryland, College Park
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2009 | ||
|---|---|---|
| 7 | EE | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135 |
| 2008 | ||
| 6 | EE | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Program analysis as constraint solving. PLDI 2008: 281-292 |
| 5 | EE | 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 | EE | Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster: Modular information hiding and type-safe linking for C. TLDI 2007: 3-14 |
| 2003 | ||
| 3 | EE | 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 | EE | 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 | EE | Saurabh Srivastava, Phalguni Gupta: Approximating the Range Sum of a Graph on CREW PRAM. IWDC 2002: 312-318 |
| 1 | Jeffrey S. Foster | [4] [5] |
| 2 | R. K. Ghosh | [2] [3] |
| 3 | Sumit Gulwani | [6] [7] |
| 4 | Phalguni Gupta | [1] |
| 5 | Michael W. Hicks (Michael Hicks) | [4] [5] |
| 6 | Patrick Jenkins | [5] |
| 7 | Ramarathnam Venkatesan | [6] [7] |