|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 20 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saurabh Srivastava, Nitendra Rajput, Gururaj Mahajan |
SWAicons: spoken web audio icons - design, implications and evaluation.  |
CSCW (Companion)  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerome White, Mayuri Duggirala, Krishna Kummamuru, Saurabh Srivastava |
Designing a voice-based employment exchange for rural India. |
ICTD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jitendra Ajmera, Om D. Deshmukh, Anupam Jain, Amit Anil Nanavati, Nitendra Rajput, Saurabh Srivastava |
Audio cloud: creation and rendering. |
IUI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
Path-based inductive synthesis for program inversion. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yewen Pu, Rastislav Bodík, Saurabh Srivastava |
Synthesis of first-order dynamic programming algorithms. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
From program verification to program synthesis. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof-theoretic program synthesis, verification |
| 1 | Saurabh Srivastava, Sumit Gulwani |
Program verification using templates over predicate abstraction. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers |
| 1 | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
VS3: SMT Solvers for Program Verification. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins |
Modular Information Hiding and Type-Safe Linking for C. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques |
| 1 | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
Program analysis as constraint solving. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis |
| 1 | Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster |
Modular information hiding and type-safe linking for C. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
C, information hiding, type-safety, module systems |
| 1 | Saurabh Srivastava, R. K. Ghosh |
Distributed algorithms for finding and maintaining a k-tree core in a dynamic network. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Phalguni Gupta |
Approximating the Range Sum of a Graph on CREW PRAM. |
IWDC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, R. K. Ghosh |
Cluster based routing using a k-tree core backbone for mobile ad hoc networks. |
DIAL-M |
2002 |
DBLP DOI BibTeX RDF |
multihop packet, distributed algorithms, wireless ad hoc networks, radio networks, cluster based routing |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")