University of Maryland, College Park
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c16 |      | Mahelaqua, Sara Basson, Nitendra Rajput, Kundan Srivastava, Saurabh Srivastava, John C. Thomas: Community-oriented spoken web browser for low iiterate users. CSCW 2013: 503-514 |
| c15 | | Martha Larson, Nitendra Rajput, Abhigyan Singh, Saurabh Srivastava: I want to be Sachin Tendulkar!: a spoken english cricket game for rural students. CSCW 2013: 1353-1364 |
| c14 | | Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman: Synthesis of biological models from mutation experiments. POPL 2013: 469-482 |
| 2012 | ||
| c13 | | Saurabh Srivastava, Nitendra Rajput, Gururaj Mahajan: SWAicons: spoken web audio icons - design, implications and evaluation. CSCW (Companion) 2012: 211-214 |
| c12 | | Jerome White, Mayuri Duggirala, Krishna Kummamuru, Saurabh Srivastava: Designing a voice-based employment exchange for rural India. ICTD 2012: 367-373 |
| c11 | | Jitendra Ajmera, Om D. Deshmukh, Anupam Jain, Amit Anil Nanavati, Nitendra Rajput, Saurabh Srivastava: Audio cloud: creation and rendering. IUI 2012: 277-280 |
| 2011 | ||
| c10 | | Yewen Pu, Rastislav Bodík, Saurabh Srivastava: Synthesis of first-order dynamic programming algorithms. OOPSLA 2011: 83-98 |
| c9 | | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster: Path-based inductive synthesis for program inversion. PLDI 2011: 492-503 |
| 2010 | ||
| c8 | | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: From program verification to program synthesis. POPL 2010: 313-326 |
| 2009 | ||
| c7 | | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: VS3: SMT Solvers for Program Verification. CAV 2009: 702-708 |
| c6 | | Saurabh Srivastava, Sumit Gulwani: Program verification using templates over predicate abstraction. PLDI 2009: 223-234 |
| c5 | | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135 |
| 2008 | ||
| j2 | | 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) |
| c4 | | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Program analysis as constraint solving. PLDI 2008: 281-292 |
| 2007 | ||
| c3 | | Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster: Modular information hiding and type-safe linking for C. TLDI 2007: 3-14 |
| 2003 | ||
| j1 | | 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 | ||
| c2 | | Saurabh Srivastava, R. K. Ghosh: Cluster based routing using a k-tree core backbone for mobile ad hoc networks. DIAL-M 2002: 14-23 |
| c1 | | Saurabh Srivastava, Phalguni Gupta: Approximating the Range Sum of a Graph on CREW PRAM. IWDC 2002: 312-318 |
Colors in the list of coauthors
Last update Sun May 26 09:31:28 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page