[ Saurabh Srivastava ]
PhD Candidate,
Email: |
|
Research Interests:
I am a member of the Programming Languages Group at UM and am advised by Jeff Foster, co-advised by Michael Hicks and co-advised externally by Sumit Gulwani. The primary focus of my research is the verification and specification inference of software systems. In the past, I have been interested in software module systems and in algorithmic and graph theoretic issues in distributed systems.
Projects
VS3: Verification and Synthesis using SMT
Solvers
In this project we are studying a constraint-based approach to program
analysis. Using the novel techniques developed in this project, we reduce
program properties to
constraints that can be efficiently solved
using off-the-shelf SMT Solvers. This allows us to leverage the amazing
advances in solving technology to construct efficient and
expressive program analyses.
CMod: Enforcing
modularity in C Code
CMod is a tool written to enforce a modular programming style in C code, to
ensure that modules, when linked together, yield a type correct program. By
enforcing a few non-intrusive rules, CMod
lifts the idiomatic notion of modules in C to the level of a formally sound
separate compilation and linking system. We have shown the viability of the
system over a million lines of open-source C code.
Publications DBLP listing
Conference/Workshop
Constraint-based Invariant Inference over Predicate Abstraction
Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan
Verification Model Checking and Abstract Interpretation 2009 (VMCAI'09)
[
bib |
acm |
.ps |
.pdf
]
Program Analysis as Constraint Solving
Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan
Programming Languages Design and Implementation 2008 (PLDI'08)
[
bib |
acm |
.ps |
.pdf
]
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)
[
bib |
acm |
.ps |
.pdf
]
Journal
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)
[
bib |
acm |
.ps |
.pdf
]
Distributed Algorithms for Finding and Maintaining a k-Tree Core in a Dynamic Network
Saurabh Srivastava and R. K. Ghosh
Information Processing Letters (IPL)
[
bib |
acm |
.ps |
.pdf
]
Technical Reports
Constraint-based Invariant Inference over Predicate Abstraction
Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan
Microsoft Research Technical Report, Microsoft Research, Redmond, Oct 2008.
Program Analysis as Constraint Solving
Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan
Microsoft Research Technical Report, Microsoft Research, Redmond, Oct 2007.
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.
Older Work
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.
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
Comm. 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)
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]
Talks
VS3:
- "Constraint-based Approach to Program Analysis", IBM PL Day/NJPLS, Aug, 2008.
- "Constraint-based Analysis over Linear Arithmetic and Predicate Abstraction", MSR India, Feb, 2008.
CMod:
- "Modular Information Hiding and Type-Safe Linking for C", TLDI, 2007.
- Part of "Improving Software Quality with Static Analysis", PASTE, 2007.
- "Defining and Enforcing C's Module System", Maryland Software Chat Seminar, Oct, 2006.
- "CMod - A module system for legacy C programs", NJPLS, Oct 2006.
Teaching/TA
- CMSC 412: Operating Systems (Spring 06) [webforum]
- CMSC 412: Operating Systems (Fall 05)
- CMSC 414: Network Security (Spring 05)
- CMSC 417: Computer Networks (Fall 04)
- CMSC 417: Computer Networks (Spring 04)
- CMSC 351: Algorithms (Fall 03)
Courses
- Randomness and Computation (Spring 07)
- Computational Geometry (Fall 05)
- Chaos Theory (Fall 05)
- Language based Security (Spring 05)
- Combinatorics and Graph Theory (Spring 05)
- Program Analysis and Understanding (Fall 04)
- Intro to Computational Linguistics (Fall 04)
- Advanced Computer Networks (Spring 04)
- Advanced Topics in Computer Systems (Spring 04)
- Distributed Algorithms and Verification (Fall 03)
- Advanced Algorithms (Fall 03)
Ignored Miscellanea
Before my PhD ate my life, I spent a lot of time on photography and rock climbing.