Concepedia

Rahul Sharma

RS

36

Publications

2.1K

Citations

25

H-Index

2002

Active since

Affiliations

Stanford University(Current)

Microsoft Research (India)

Microsoft Research (United Kingdom)

Microsoft (United States)

University of California, Los Angeles

Rahul Sharma is an author at Stanford University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringSoftware AnalysisFormal MethodsAutomated ReasoningVerificationParallel Programming

Publications per year

2002–2024

36

Publications

36

CrypTFlow2: Practical 2-Party Secure Inference

Deevashwer Rathee, Mayank Rathee, Nishant Kumar et al. · 2020 · 281 citations · Full text

Convolutional Neural Network, Cryptographic Primitive, Engineering +19

Stochastic superoptimization

Eric Schkufza, Rahul Sharma, Alex Aiken · 2013 · 270 citations

Engineering, Hardware Acceleration, Stochastic Search Problem +13

Synthesizing program input grammars

Osbert Bastani, Rahul Sharma, Alex Aiken et al. · 2017 · 129 citations

Engineering, Software Engineering, Software Analysis +22

Stochastic optimization of floating-point programs with tunable precision

Eric Schkufza, Rahul Sharma, Alex Aiken · 2014 · 124 citations

Mathematical Programming, Aggressive Optimization, Engineering +18

Differential assertion checking

Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma et al. · 2013 · 116 citations

Program Checking, Engineering, Verification +20

Rows per page

1–5 of 36