| Stochastic superoptimization E Schkufza, R Sharma, A Aiken ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013 | 378 | 2013 |
| 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 | 210 | 2020 |
| Synthesizing program input grammars O Bastani, R Sharma, A Aiken, P Liang Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 200 | 2017 |
| Stochastic optimization of floating-point programs with tunable precision E Schkufza, R Sharma, A Aiken ACM SIGPLAN Notices 49 (6), 53-64, 2014 | 194 | 2014 |
| 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 | 193 | 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 | 193 | 2018 |
| 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 | 171 | 2013 |
| Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 143 | 2013 |
| Data-driven precondition inference with learned features S Padhi, R Sharma, T Millstein ACM SIGPLAN Notices 51 (6), 42-56, 2016 | 139 | 2016 |
| From invariant checking to invariant inference using randomized search R Sharma, A Aiken Formal Methods in System Design 48 (3), 235-256, 2016 | 139 | 2016 |
| Interpolants as classifiers R Sharma, AV Nori, A Aiken International Conference on Computer Aided Verification, 71-87, 2012 | 117 | 2012 |
| Data-driven equivalence checking R Sharma, E Schkufza, B Churchill, A Aiken Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 106 | 2013 |
| Verification as learning geometric concepts R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori International Static Analysis Symposium, 388-411, 2013 | 102 | 2013 |
| Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken International Conference on Computer Aided Verification, 703-719, 2011 | 102 | 2011 |
| 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 | 95 | 2016 |
| 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 | 86 | 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 | 84 | 2019 |
| 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 | 78 | 2019 |
| 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 | 61* | 2020 |
| 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 | 50 | 2012 |
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
