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
-
-
-
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
-
-
-
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
-
-
-
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
-