Rahul Sharma - Concepedia

Author

Rahul Sharma

Also Known As

R Sharma, R. Sharma, Rahul R Sharma, Rahul R. Sharma, Rahul Sharma, Raj Kumar Sharma -, Rashi Sharma, Sharma, R., Sharma, Rahul

104

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

Stanford University Microsoft Research (India)Microsoft Research (United Kingdom)Microsoft (United States)University of California, Los Angeles

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	25	35	2.1K
2	Language Studies	2	2	177
3	Health Sciences	1	1	19
4	Management	1	1	19
5	Medicine	1	1	29

Rahul Sharma

Publications

2.1K

Citations

H-Index

Page 1

	Year	Citations
CrypTFlow2: Practical 2-Party Secure Inference Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Convolutional Neural NetworkCryptographic PrimitiveEngineeringMachine LearningInformation Security	2020	281
Stochastic superoptimization Eric Schkufza, Rahul Sharma, Alex Aiken EngineeringHardware AccelerationStochastic Search ProblemAdvanced ComputingProgram Analysis	2013	270
Synthesizing program input grammars Osbert Bastani, Rahul Sharma, Alex Aiken, EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationGrammar Inference Algorithms	2017	129
Stochastic optimization of floating-point programs with tunable precision Eric Schkufza, Rahul Sharma, Alex Aiken Mathematical ProgrammingAggressive OptimizationEngineeringFloating-point OptimizationCompiler Technology	2014	124
Differential assertion checking Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2013	116
Data-driven precondition inference with learned features Saswat Padhi, Rahul Sharma, Todd Millstein Artificial IntelligenceEngineeringMachine LearningCompiler TechnologyVerification	2016	103
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning Nishanth Chandran, Divya Gupta, Aseem Rastogi, Cryptographic PrimitivePresent EzpcMachine LearningEngineeringInformation Security	2019	102
Semantic program alignment for equivalence checking Berkeley Churchill, Oded Padon, Rahul Sharma, Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2019	88
Data-driven equivalence checking Rahul Sharma, Eric Schkufza, Berkeley Churchill, Program CheckingEngineeringX86 AssemblyVerificationComputer-aided Verification	2013	82
Stochastic optimization of floating-point programs with tunable precision Eric Schkufza, Rahul Sharma, Alex Aiken ACM SIGPLAN Notices Mathematical ProgrammingAggressive OptimizationEngineeringFloating-point OptimizationCompiler Technology	2014	62

Page 1