Concepedia

Saurabh Srivastava

SS

Statistics

Publications

23

Citations

1.2K

H-Index

16

Active since

1979

Affiliations

University of Maryland, College Park(Current)

Microsoft (United States)

University of California, Berkeley

Centre National de la Recherche Scientifique

Centre d’Élaboration de Matériaux et d’Études Structurales

Saurabh Srivastava is an author at University of Maryland, College Park specializing in computer science, computing, and natural sciences.

Publications per year

1979–2021

23

Publications

23

From program verification to program synthesis

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster · 2010 · 268 citations

Computing, Computer Engineering, Computer Science +14

Program analysis as constraint solving

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan · 2008 · 202 citations

Computing, Computer Science, Software Engineering +12

Program verification using templates over predicate abstraction

Saurabh Srivastava, Sumit Gulwani · 2009 · 117 citations

Computing, Computer Science, Algorithms +14

Template-based program verification and program synthesis

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster · International Journal on Software Tools for Technology Transfer · 2012 · 90 citations

Computing, Computer Engineering, Computer Science +14

From program verification to program synthesis

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster · ACM SIGPLAN Notices · 2010 · 67 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 23