Rahul Sharma

Cited by

	All	Since 2020
Citations	4115	2751
h-index	29	24
i10-index	37	35

640

320

160

480

2012201320142015201620172018201920202021202220232024202521 50 76 135 191 246 243 356 412 474 529 631 594 111

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Divya GuptaPrincipal Researcher, Microsoft Research IndiaVerified email at microsoft.com
Nishanth ChandranSenior Principal Researcher, Microsoft Research, IndiaVerified email at microsoft.com
eric schkufzaAmazonVerified email at cs.stanford.edu
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Saswat PadhiSoftware Engineer, Google LLCVerified email at google.com
Percy LiangAssociate Professor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
bharath hariharanCornell UniversityVerified email at cs.cornell.edu
Saurabh GuptaUniversity of Illinois Urbana-ChampaignVerified email at illinois.edu
Jure LeskovecProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Wonyeol LeeAssistant Professor, POSTECHVerified email at postech.ac.kr
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Kenneth McMillanMicrosoft ResearchVerified email at microsoft.com
Oded PadonWeizmann Institute of ScienceVerified email at weizmann.ac.il
Stefan HeuleVerified email at cs.stanford.edu

Rahul Sharma

Principal Researcher, Microsoft Research

Verified email at microsoft.com - Homepage

Security Compilers Machine Learning Healthcare


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013	438	2013
CrypTFlow2: Practical 2-Party Secure Inference D Rathee, M Rathee, N Kumar, N Chandran, D Gupta, A Rastogi, ... Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020	356	2020
Cryptflow: Secure tensorflow inference N Kumar, M Rathee, N Chandran, D Gupta, A Rastogi, R Sharma 2020 IEEE Symposium on Security and Privacy (SP), 336-353, 2020	309	2020
Pixie: A system for recommending 3+ billion items to 200+ million users in real-time C Eksombatchai, P Jindal, JZ Liu, Y Liu, R Sharma, C Sugnet, M Ulrich, ... Proceedings of the 2018 world wide web conference, 1775-1784, 2018	248	2018
Synthesizing program input grammars O Bastani, R Sharma, A Aiken, P Liang Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017	244	2017
Stochastic optimization of floating-point programs with tunable precision E Schkufza, R Sharma, A Aiken ACM SIGPLAN Notices 49 (6), 53-64, 2014	214	2014
Ezpc: Programmable and efficient secure two-party computation for machine learning N Chandran, D Gupta, A Rastogi, R Sharma, S Tripathi 2019 IEEE European Symposium on Security and Privacy (EuroS&P), 496-511, 2019	186	2019
A data driven approach for algebraic loop invariants R Sharma, S Gupta, B Hariharan, A Aiken, P Liang, AV Nori European Symposium on Programming, 574-592, 2013	182	2013
Data-driven precondition inference with learned features S Padhi, R Sharma, T Millstein ACM SIGPLAN Notices 51 (6), 42-56, 2016	170	2016
Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	150	2013
From invariant checking to invariant inference using randomized search R Sharma, A Aiken Formal Methods in System Design 48 (3), 235-256, 2016	147	2016
SIRNN: A math library for secure inference of RNNs D Rathee, M Rathee, RKK Goli, D Gupta, R Sharma, N Chandran, ... IEEE S&P 2020, 2020	130*	2020
Interpolants as classifiers R Sharma, AV Nori, A Aiken International Conference on Computer Aided Verification, 71-87, 2012	126	2012
Semantic program alignment for equivalence checking B Churchill, O Padon, R Sharma, A Aiken Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	119	2019
Data-driven equivalence checking R Sharma, E Schkufza, B Churchill, A Aiken Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013	119	2013
Verification as learning geometric concepts R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori International Static Analysis Symposium, 388-411, 2013	111	2013
Stratified synthesis: automatically learning the x86-64 instruction set S Heule, E Schkufza, R Sharma, A Aiken Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016	108	2016
Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken International Conference on Computer Aided Verification, 703-719, 2011	104	2011
Compiling KB-sized machine learning models to tiny IoT devices S Gopinath, N Ghanathe, V Seshadri, R Sharma Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	97	2019
Information-flow control for programming on encrypted data JC Mitchell, R Sharma, D Stefan, J Zimmerman 2012 IEEE 25th Computer Security Foundations Symposium, 45-60, 2012	53	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors