Следене
Rahul Sharma
Rahul Sharma
Principal Researcher, Microsoft Research
Потвърден имейл адрес: microsoft.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
Stochastic superoptimization
E Schkufza, R Sharma, A Aiken
ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013
3782013
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
2102020
Synthesizing program input grammars
O Bastani, R Sharma, A Aiken, P Liang
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
2002017
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
1962018
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
1952020
Stochastic optimization of floating-point programs with tunable precision
E Schkufza, R Sharma, A Aiken
ACM SIGPLAN Notices 49 (6), 53-64, 2014
1952014
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
1722013
Differential assertion checking
SK Lahiri, KL McMillan, R Sharma, C Hawblitzel
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
1432013
From invariant checking to invariant inference using randomized search
R Sharma, A Aiken
Formal Methods in System Design 48 (3), 235-256, 2016
1402016
Data-driven precondition inference with learned features
S Padhi, R Sharma, T Millstein
ACM SIGPLAN Notices 51 (6), 42-56, 2016
1392016
Interpolants as classifiers
R Sharma, AV Nori, A Aiken
International Conference on Computer Aided Verification, 71-87, 2012
1172012
Data-driven equivalence checking
R Sharma, E Schkufza, B Churchill, A Aiken
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1062013
Verification as learning geometric concepts
R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori
International Static Analysis Symposium, 388-411, 2013
1032013
Simplifying loop invariant generation using splitter predicates
R Sharma, I Dillig, T Dillig, A Aiken
International Conference on Computer Aided Verification, 703-719, 2011
1022011
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
952016
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
882019
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
852019
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
782019
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
62*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
502012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20