Rahul Sharma

Cited by

	All	Since 2019
Citations	3653	2658
h-index	28	25
i10-index	37	35

660

330

165

495

201220132014201520162017201820192020202120222023202422 49 73 137 188 249 240 351 408 466 534 652 247

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
eric schkufzaAmazonVerified email at cs.stanford.edu
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Nishanth ChandranPrincipal Researcher, Microsoft Research, IndiaVerified 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
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Wonyeol LeePostdoctoral Associate, Carnegie Mellon UniversityVerified email at cmu.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Kenneth McMillanMicrosoft ResearchVerified email at microsoft.com
Isil DilligUT AustinVerified email at cs.utexas.edu
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
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	174	2013
A domain-specific language for computing on encrypted data A Bain, J Mitchell, R Sharma, D Stefan, J Zimmerman 31st International Conference on Foundations of Software Technology and …, 2011	25	2011
Active learning of points-to specifications O Bastani, R Sharma, A Aiken, P Liang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018	32	2018
Bias-variance tradeoffs in program analysis R Sharma, AV Nori, A Aiken ACM SIGPLAN Notices 49 (1), 127-137, 2014	28	2014
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	82	2019
Conditionally correct superoptimization R Sharma, E Schkufza, B Churchill, A Aiken ACM SIGPLAN Notices 50 (10), 147-162, 2015	38	2015
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	251	2020
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	273	2020
Data-driven equivalence checking R Sharma, E Schkufza, B Churchill, A Aiken Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013	113	2013
Data-driven precondition inference with learned features S Padhi, R Sharma, T Millstein ACM SIGPLAN Notices 51 (6), 42-56, 2016	153	2016
Data-driven Verification R Sharma Stanford University, 2016	4	2016
Dependent partitioning S Treichler, M Bauer, R Sharma, E Slaughter, A Aiken Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016	28	2016
Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	144	2013
Eventually Sound Points-To Analysis with Specifications O Bastani, R Sharma, L Clapp, S Anand, A Aiken 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019	11	2019
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	155	2019
From invariant checking to invariant inference using randomized search R Sharma, A Aiken Formal Methods in System Design 48 (3), 235-256, 2016	143	2016
Inferring annotations for device drivers from verification histories Z Pavlinovic, A Lal, R Sharma Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	12	2016
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	49	2012
Interpolants as classifiers R Sharma, AV Nori, A Aiken International Conference on Computer Aided Verification, 71-87, 2012	121	2012
Loopinvgen: A loop invariant generator based on precondition inference S Padhi, R Sharma, T Millstein arXiv preprint arXiv:1707.02029, 2017	12	2017

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