S
Saurabh Srivastava
Researcher at Indian Institutes of Technology
Publications - 59
Citations - 1464
Saurabh Srivastava is an academic researcher from Indian Institutes of Technology. The author has contributed to research in topics: Program synthesis & Predicate abstraction. The author has an hindex of 15, co-authored 52 publications receiving 1258 citations. Previous affiliations of Saurabh Srivastava include University of California, Berkeley & Microsoft.
Papers
More filters
Journal ArticleDOI
Combined self-potential, electrical resistivity tomography and induced polarisation for mapping of gold prospective zones over a part of Babaikundi-Birgaon Axis, North Singhbhum Mobile Belt, India
TL;DR: The NSMB is an assembly of multiphase folded, low- to medium-grade meta-sedimentary and meta-igneous rocks, lying within the Palaeo- to Meso-Proterozoic (1.0 -2.4 ) North Singhbhum Mobile Belt.
Journal ArticleDOI
Distributed algorithms for finding and maintaining a k -tree core in a dynamic network
Saurabh Srivastava,R. K. Ghosh +1 more
TL;DR: This paper proposes a distributed algorithm for constructing a rooted spanning tree of a dynamic graph such that root of the tree is located near the center of the graph and provides a distributed algorithms for finding k-core of that spanning tree.
Dissertation
Satisfiability-based program reasoning and program synthesis
TL;DR: It is shown that fixed-point computation—the key technical challenge in program reasoning—is encodable as SAT instances, and that program synthesis can be viewed as generalized verification, facilitating the use of program reasoning tools as synthesizers.
Proceedings ArticleDOI
Modular information hiding and type-safe linking for C
TL;DR: It is concluded that CMod can effectively support modular programming in C: it soundly enforces type-safe linking and information-hiding while being largely compatible with existing practice.
Journal ArticleDOI
Ab initio potential energy curves for the ground and low-lying excited states of OH and OH(-) and a study of rotational fine structure in photodetachment.
TL;DR: Using the computed potential energy curves and the rovibrational spectra for photodetachment including the fine, the threshold for electron detachment has been computed and is in agreement with the experimental results of Goldfarb et al.