Sharma, Rahul

CrypTFlow: Secure TensorFlow Inference

Kumar, N., Rathee, M., Chandran, N., Gupta, D., Rastogi, A., & Sharma, R. (2020) · 2020 IEEE Symposium on Security and Privacy (SP)

Cryptography and Data SecuritySecurity and Verification in Computing

Cited by 245

Semantic program alignment for equivalence checking

Churchill, B., Padon, O., Sharma, R., & Aiken, A. (2019) · Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 97

Compiling KB-sized machine learning models to tiny IoT devices

Gopinath, S., Ghanathe, N., Seshadri, V., & Sharma, R. (2019) · Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Numerical Methods and AlgorithmsIoT and Edge/Fog Computing

Cited by 92

Stochastic superoptimization

Schkufza, E., Sharma, R., & Aiken, A. (2013) · ACM SIGARCH Computer Architecture News

Parallel Computing and Optimization TechniquesLogic, programming, and type systems

Cited by 57

Ranking LLM-Generated Loop Invariants for Program Verification

Chakraborty, S., Lahiri, S., Fakhoury, S., Lal, A., Musuvathi, M., Rastogi, A., Senthilnathan, A., Sharma, R., & Swamy, N. (2023) · Findings of the Association for Computational Linguistics: EMNLP 2023

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 37

Finding Inductive Loop Invariants using Large Language Models

Kamath, A., Senthilnathan, A., Chakraborty, S., Deligiannis, P., Lahiri, S. K., Lal, A., Rastogi, A., Roy, S., & Sharma, R. (2023) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 17