Principal Researcher
Shashank Shreedhar Bhatt, Tanmay Rajore, Khushboo Aggarwal, Ganesh Ananthanarayanan, Ranveer Chandra, Nishanth Chandran, Suyash Choudhury, Divya Gupta, Emre Kiciman, Shrey Pandey, Srinath Setty, Rahul Sharma, Teijia Zhao
arXiv:2509.14608 | September 2025
作者：arXiv
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
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
Sankha Das, Sayak Ray Chowdhuri, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2025 | January 2025
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
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2024 | June 2024
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 IEEE Symposium on Security and Privacy | May 2024
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
作者：arxiv
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Swami Manohar
February 2024
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
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Usenix Security Symposium 2023 | August 2023
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
Privacy Enhancing technologies Symposium (PETS) 2023 | July 2023
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
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
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P Lungren
August 2021
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
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
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
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
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
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken
PLDI | June 2019
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
Osbert Bastani, Rahul Sharma (rahsha), Alex Aiken, Percy Liang
PLDI | June 2018
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
OOPSLA | October 2017
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Berkeley Churchill, Rahul Sharma, JF Bastein, Alex Aiken
ASPLOS 17 | April 2017
ISBN: 978-1-4503-4465-4
Shashank Shreedhar Bhatt, Tanmay Rajore, Khushboo Aggarwal, Ganesh Ananthanarayanan, Ranveer Chandra, Nishanth Chandran, Suyash Choudhury, Divya Gupta, Emre Kiciman, Shrey Pandey, Srinath Setty, Rahul Sharma, Teijia Zhao
arXiv:2509.14608 | September 2025
作者：arXiv
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
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
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
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Sankha Das, Sayak Ray Chowdhuri, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2025 | January 2025
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2024 | June 2024
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 IEEE Symposium on Security and Privacy | May 2024
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Swami Manohar
February 2024
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Usenix Security Symposium 2023 | August 2023
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
Privacy Enhancing technologies Symposium (PETS) 2023 | July 2023
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
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P Lungren
August 2021
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
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
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
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
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
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
作者：arxiv
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
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken
PLDI | June 2019
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
Osbert Bastani, Rahul Sharma (rahsha), Alex Aiken, Percy Liang
PLDI | June 2018
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
OOPSLA | October 2017
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Berkeley Churchill, Rahul Sharma, JF Bastein, Alex Aiken
ASPLOS 17 | April 2017
ISBN: 978-1-4503-4465-4
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
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
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
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
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Shashank Shreedhar Bhatt, Tanmay Rajore, Khushboo Aggarwal, Ganesh Ananthanarayanan, Ranveer Chandra, Nishanth Chandran, Suyash Choudhury, Divya Gupta, Emre Kiciman, Shrey Pandey, Srinath Setty, Rahul Sharma, Teijia Zhao
arXiv:2509.14608 | September 2025
作者：arXiv
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
作者：arxiv
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
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
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
Sankha Das, Sayak Ray Chowdhuri, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2025 | January 2025
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
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
Privacy Enhancing technologies Symposium (PETS) 2024 | June 2024
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 IEEE Symposium on Security and Privacy | May 2024
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
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Usenix Security Symposium 2023 | August 2023
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
Privacy Enhancing technologies Symposium (PETS) 2023 | July 2023
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
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
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
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Aayan Kumar, Vivek Seshadri, Rahul Sharma
OOPSLA | November 2020
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
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
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
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
PLDI | June 2019
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken
PLDI | June 2019
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
IEEE European Symposium on Security and Privacy | February 2019
Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo
ACM SenSys | November 2018
Tusher Chakraborty, Akshay Nambi, Rahul Sharma, Ranveer Chandra, Swami Manohar, Zerina Kapetanovic
ACM SenSys (Demo) | November 2018
Osbert Bastani, Rahul Sharma (rahsha), Alex Aiken, Percy Liang
PLDI | June 2018
Wonyeol Lee, Rahul Sharma, Alex Aiken
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
OOPSLA | October 2017
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
PLDI 17 | June 2017
Berkeley Churchill, Rahul Sharma, JF Bastein, Alex Aiken
ASPLOS 17 | April 2017
ISBN: 978-1-4503-4465-4
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Swami Manohar
February 2024
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P Lungren
August 2021
