[ Saurabh Srivastava ]

PhD Candidate,
Department of Computer Science,
University of Maryland, College Park

Email:
Office: 4132 A.V.Williams
Phone: 301-405-2722 (O), 202-355-8862 (M)
Research Interests:

I am a member of the Programming Languages Group at UM and am advised by Dr. Jeff Foster and co-advised by Dr. Michael Hicks. The primary focus of my research is the formal verification and specification inference of software systems. In the past I have been interested in algorithmic and graph theoretic issues in networking and distributed systems.

Publications: DBLP listing

Conference and Workshop Publications

Program Analysis as Constraint Solving
Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan
Programming Languages Design and Implementation 2008 (PLDI'08)

Modular Information Hiding and Type Safe Linking for C
Saurabh Srivastava and Mike Hicks and Jeffrey S. Foster
Types in Language Design and Implementation 2007 (TLDI'07)

A Code Allocation Protocol for Maximizing Throughput in CDMA based Ad-hoc Networks
Saurabh Srivastava and S. Tripathi and A. K. Chaturvedi and D. Sanghi
IEEE Wireless Communications and Networking Conference 2003 (WCNC'03)

Cluster based Routing using a k-Tree Core Backbone for Mobile Ad-hoc Networks
Saurabh Srivastava and R. K. Ghosh
6th Intl Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications 2002 (DialM'02)

Approximating the Range Sum of a Graph on a CREW PRAM
Saurabh Srivastava and P. Gupta
4th Intl. Workshop on Distributed Computing 2002 (IWDC'02)

Performance Evaluation of Combining Techniques for a Multicarrier CDMA System
S. Tripathi and Saurabh Srivastava and A. K. Chaturvedi and D. Sanghi
8th National Conference on Communications 2002 (NCC'02)

Journal Publications

Modular Information Hiding and Type Safe Linking for C
Saurabh Srivastava and Mike Hicks and Jeffrey S. Foster and Patrick Jenkins
IEEE Transactions on Software Engineering 2008 (TSE)

Distributed Algorithms for Finding and Maintaining a k-Tree Core in a Dynamic Network
Saurabh Srivastava and R. K. Ghosh
Information Processing Letters (IPL)

Technical Reports

Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava and Mike Hicks and Jeffrey S. Foster
CS-TR-4874, Department of Computer Science, UMD, June 2007.

Defining and Enforcing C's Module System
Saurabh Srivastava and Mike Hicks and Jeffrey S. Foster and Bhargav Kanagal
CS-TR-4816, Department of Computer Science, UMD, July 2006.

Information Flow Security using Program Partitioning and Encryptable Functions
Saurabh Srivastava and Mike Hicks
CS-TR-4887, Department of Computer Science, UMD, 2006.

Stability of P2P Networks: A Choas Theoretic Perspective
Saurabh Srivastava
CS-TR-4886, Department of Computer Science, UMD, 2006.

Resource Optimization in CDMA based Wireless Ad Hoc Networks
IIT Kanpur BTech. Report 2002 [fulltext]

PRAM Simulations: General Purpose Parallel Computing on Realistic Parallel Machines
IIT Kanpur Tech. Report 2002 [fulltext]


Current Projects:
TA Work:
Courses: