LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Rahul Sharma
Principal Researcher
Papiers de Collaboration
Publications par année
-
DEDUCE: Deductive Consistency as a Frame Work to Evaluate LLM Reasoning
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
Re-Imagine: Symbolic Benchmark Synthesis for Reasoning Evaluation
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
Communication Efficient Secure and Private Multi-Party Deep Learning
Sankha Das, Sayak Ray Chowdhuri, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2025 | January 2025
-
Leveraging LLMs for Program Verification
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
SIGMA: Secure GPT Inference with Function Secret Sharing
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2024 | June 2024
Orca: FSS-based Secure Training and Inference with GPUs
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 IEEE Symposium on Security and Privacy | May 2024
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Publié par arxiv
TRUCE: Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Swami Manohar
February 2024
-
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Secure Floating-Point Training
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Usenix Security Symposium 2023 | August 2023
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
Privacy Enhancing technologies Symposium (PETS) 2023 | July 2023
-
Jigsaw: Large Language Models meet Program Synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022
-
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Multi-institution encrypted medical imaging AI validation without data sharing
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P Lungren
August 2021
SIRNN: A Math Library for Secure RNN Inference
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
42nd IEEE Symposium on Security and Privacy (IEEE S&P 2021) | February 2021
-
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Shiftry: RNN Inference in 2KB of RAM
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
CrypTFlow2: Practical 2-Party Secure Inference
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
27th Annual Conference on Computer and Communications Security (ACM CCS 2020) | August 2020
CrypTFlow: Secure TensorFlow Inference
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
-
Low-Cost Aerial Imaging for Small Holder Farmers
Vasuki Narasimha Swamy, Akshit Kumar, Rohit Patil, Aditya Jain, Zerina Kapetanovic, Rahul Sharma, Deepak Vasisht, Ranveer Chandra, Swami Manohar, Anirudh Badam, Gireeja Ranade, Sudipta Sinha, Akshay Nambi
ACM Compass 2019 | July 2019
ACM COMPASS 2019 Best Paper Award
Overfitting in Synthesis: Theory and Practice
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Semantic program alignment for equivalence checking
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken
PLDI | June 2019
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation for Machine Learning
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
-
Fall-curve: A novel primitive for IoT Fault Detection and Isolation
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Sensor Identification and Fault Detection in IoT Systems
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
Active learning of points-to specifications
Osbert Bastani, Rahul Sharma (rahsha), Alex Aiken, Percy Liang
PLDI | June 2018
On Automatically Proving the Correctness of math.h Implementations
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
-
Seam: provably safe local edits on graphs
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
OOPSLA | October 2017
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Sound Loop Superoptimization for Google Native Client
Berkeley Churchill, Rahul Sharma, JF Bastein, Alex Aiken
ASPLOS 17 | April 2017
ISBN: 978-1-4503-4465-4
Filtre par zone de recherche
-
Re-Imagine: Symbolic Benchmark Synthesis for Reasoning Evaluation
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
DEDUCE: Deductive Consistency as a Frame Work to Evaluate LLM Reasoning
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Jigsaw: Large Language Models meet Program Synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Shiftry: RNN Inference in 2KB of RAM
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
Overfitting in Synthesis: Theory and Practice
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
-
Communication Efficient Secure and Private Multi-Party Deep Learning
Sankha Das, Sayak Ray Chowdhuri, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2025 | January 2025
SIGMA: Secure GPT Inference with Function Secret Sharing
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2024 | June 2024
Orca: FSS-based Secure Training and Inference with GPUs
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 IEEE Symposium on Security and Privacy | May 2024
TRUCE: Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Swami Manohar
February 2024
Secure Floating-Point Training
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Usenix Security Symposium 2023 | August 2023
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
Privacy Enhancing technologies Symposium (PETS) 2023 | July 2023
SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022
Multi-institution encrypted medical imaging AI validation without data sharing
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P Lungren
August 2021
SIRNN: A Math Library for Secure RNN Inference
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
42nd IEEE Symposium on Security and Privacy (IEEE S&P 2021) | February 2021
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
CrypTFlow2: Practical 2-Party Secure Inference
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
27th Annual Conference on Computer and Communications Security (ACM CCS 2020) | August 2020
CrypTFlow: Secure TensorFlow Inference
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation for Machine Learning
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
-
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Leveraging LLMs for Program Verification
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Publié par arxiv
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Jigsaw: Large Language Models meet Program Synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Shiftry: RNN Inference in 2KB of RAM
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
Overfitting in Synthesis: Theory and Practice
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Semantic program alignment for equivalence checking
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken
PLDI | June 2019
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation for Machine Learning
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
Active learning of points-to specifications
Osbert Bastani, Rahul Sharma (rahsha), Alex Aiken, Percy Liang
PLDI | June 2018
On Automatically Proving the Correctness of math.h Implementations
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Seam: provably safe local edits on graphs
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
OOPSLA | October 2017
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Sound Loop Superoptimization for Google Native Client
Berkeley Churchill, Rahul Sharma, JF Bastein, Alex Aiken
ASPLOS 17 | April 2017
ISBN: 978-1-4503-4465-4
-
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Fall-curve: A novel primitive for IoT Fault Detection and Isolation
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Sensor Identification and Fault Detection in IoT Systems
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
-
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Low-Cost Aerial Imaging for Small Holder Farmers
Vasuki Narasimha Swamy, Akshit Kumar, Rohit Patil, Aditya Jain, Zerina Kapetanovic, Rahul Sharma, Deepak Vasisht, Ranveer Chandra, Swami Manohar, Anirudh Badam, Gireeja Ranade, Sudipta Sinha, Akshay Nambi
ACM Compass 2019 | July 2019
ACM COMPASS 2019 Best Paper Award
Fall-curve: A novel primitive for IoT Fault Detection and Isolation
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Sensor Identification and Fault Detection in IoT Systems
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
-
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
-
Low-Cost Aerial Imaging for Small Holder Farmers
Vasuki Narasimha Swamy, Akshit Kumar, Rohit Patil, Aditya Jain, Zerina Kapetanovic, Rahul Sharma, Deepak Vasisht, Ranveer Chandra, Swami Manohar, Anirudh Badam, Gireeja Ranade, Sudipta Sinha, Akshay Nambi
ACM Compass 2019 | July 2019
ACM COMPASS 2019 Best Paper Award
-
On Automatically Proving the Correctness of math.h Implementations
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Publication Type
-
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Re-Imagine: Symbolic Benchmark Synthesis for Reasoning Evaluation
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
DEDUCE: Deductive Consistency as a Frame Work to Evaluate LLM Reasoning
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
Communication Efficient Secure and Private Multi-Party Deep Learning
Sankha Das, Sayak Ray Chowdhuri, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2025 | January 2025
Leveraging LLMs for Program Verification
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
SIGMA: Secure GPT Inference with Function Secret Sharing
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2024 | June 2024
Orca: FSS-based Secure Training and Inference with GPUs
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 IEEE Symposium on Security and Privacy | May 2024
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Secure Floating-Point Training
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Usenix Security Symposium 2023 | August 2023
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
Privacy Enhancing technologies Symposium (PETS) 2023 | July 2023
SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022
Jigsaw: Large Language Models meet Program Synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
SIRNN: A Math Library for Secure RNN Inference
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
42nd IEEE Symposium on Security and Privacy (IEEE S&P 2021) | February 2021
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Shiftry: RNN Inference in 2KB of RAM
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
CrypTFlow2: Practical 2-Party Secure Inference
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
27th Annual Conference on Computer and Communications Security (ACM CCS 2020) | August 2020
CrypTFlow: Secure TensorFlow Inference
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
Overfitting in Synthesis: Theory and Practice
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Low-Cost Aerial Imaging for Small Holder Farmers
Vasuki Narasimha Swamy, Akshit Kumar, Rohit Patil, Aditya Jain, Zerina Kapetanovic, Rahul Sharma, Deepak Vasisht, Ranveer Chandra, Swami Manohar, Anirudh Badam, Gireeja Ranade, Sudipta Sinha, Akshay Nambi
ACM Compass 2019 | July 2019
ACM COMPASS 2019 Best Paper Award
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Semantic program alignment for equivalence checking
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken
PLDI | June 2019
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation for Machine Learning
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
Fall-curve: A novel primitive for IoT Fault Detection and Isolation
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Sensor Identification and Fault Detection in IoT Systems
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
Active learning of points-to specifications
Osbert Bastani, Rahul Sharma (rahsha), Alex Aiken, Percy Liang
PLDI | June 2018
On Automatically Proving the Correctness of math.h Implementations
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Seam: provably safe local edits on graphs
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
OOPSLA | October 2017
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Sound Loop Superoptimization for Google Native Client
Berkeley Churchill, Rahul Sharma, JF Bastein, Alex Aiken
ASPLOS 17 | April 2017
ISBN: 978-1-4503-4465-4
-
TRUCE: Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Swami Manohar
February 2024
Multi-institution encrypted medical imaging AI validation without data sharing
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P Lungren
August 2021
-
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Publié par arxiv