LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Publications
Publications by Year
-
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
47th International Conference on Software Engineering (ICSE) | April 2025
-
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
2024 Symposium on Operating Systems Principles | November 2024
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
Metron: Holistic Performance Evaluation Framework for LLM Inference Systems
Amey Agrawal, Anmol Agarwal, Nitin Kedia, Jayashree Mohan, Souvik Kundu, Nipun Kwatra, Ramachandran Ramjee, Alexey Tumanov
July 2024
vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention
Ramya Prabhu, Ajay Nayak, Jayashree Mohan, Ramachandran Ramjee, Ashish Panwar
May 2024
VIDUR: A Large-Scale Simulation Framework for LLM Inference
Amey Agrawal, Nitin Kedia, Jayashree Mohan, Ashish Panwar, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee, Alexey Tumanov
The Seventh Annual Conference on Machine Learning and Systems | May 2024
Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures
Tanmaey Gupta, Sanjeev Krishnan, Rituraj Kumar, Abhishek Vijeev, Bhargav Gulavani, Nipun Kwatra, Ramachandran Ramjee, Muthian Sivathanu
2024 European Conference on Computer Systems | April 2024
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Published by arxiv
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve
Amey Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav Gulavani, Alexey Tumanov, Ramachandran Ramjee
OSDI ’24 | March 2024
Welding Natural Language Queries to Analytics IRs with LLMs
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
(To appear in) International Conference on Innovative Data Systems | January 2024
-
Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception
Anurag Ghosh, Akshay Nambi, Vaibhav Balloli, Aditya Singh, Tanuja Ganu
NeurIPS 2023 | December 2023
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
Published by arxiv
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors
Tanmaey Gupta, Shubhankar Handa, Akshay Nambi
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation | October 2023
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 Automated Software Engineering | September 2023
SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills
Amey Agrawal, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee
September 2023
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
-
Treebeard: An Optimizing Compiler for Decision Tree Based ML Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2022
DeepAnalyze: Learning to Localize Crashes at Scale
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari
ICSE 2022 | May 2022
Optimizing Network Provisioning through Cooperation
Harsha Sharma, Parth Thakkar, Ranjita Bhagwan, Sagar Bharadwaj, Venkat Padmanabhan, Yogesh Bansal, Vijay Kumar, Kathleen Voelbel
NSDI | April 2022
-
PIRMedic: A Physics-based Fault Diagnosis for Passive Infra-Red (PIR) Sensors
Ashish Kashinath, Sibin Mohan, Akshay Nambi, Sumukh Marathe
8th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2021) | November 2021
Best Paper Award
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
Learning Patterns in Configuration
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 Automated Software Engineering | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
FMCAD | October 2021
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Data-driven test selection at scale
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan (bhagwan), Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, Anirudh Santhiar
August 2021
DICE*: A Formally Verified Implementation of DICE Measured Boot
Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
30th Usenix Security Symposium | August 2021
Discovering Related Data At Scale
Sagar Bharadwaj, Praveen Gupta, Ranjita Bhagwan, Saikat Guha
VLDB Endowment | August 2021, Vol 14(8)
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
Adaptive Streaming Perception using Deep Reinforcement Learning
Anurag Ghosh, Akshay Nambi, Aditya Singh, Harish YVS, Tanuja Ganu
June 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 2021
CurrentSense: A novel approach for fault and drift detection in environmental IoT sensors
Sumukh Marathe, Akshay Nambi, Swami Manohar, Ronak Sutaria
ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) | May 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
-
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
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
Fault diagnosis system for low-cost air pollution sensors
Sumukh Marathe, Akshay Nambi, Nishant Shrivastava , Swami Manohar, Ronak Sutaria
ACM SenSys demo | November 2020
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
InSight: Monitoring the State of the Driver in Low-Light Using Smartphones
Ishani Janveja, Akshay Nambi, Shruthi Bannur, Sanchit Gupta, Venkat Padmanabhan
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, (UBICOMP 2020) | September 2020, Vol 4(3)
Incorporating Super-Operators in Big-Data Query Optimizers
Kaushik Rajan, Jyoti Leeka
International Conference on Very Large Databases (VLDB) | September 2020
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
DeCaf: Diagnosing and Triaging Performance Issues in Large-Scale Cloud Services
Chetan Bansal, Sundararajan Renganathan, Ashima Asudani, Olivier Midy, Mathru Janakiraman
ICSE 2020 | May 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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
IoT-ID: A novel device-specific identifier based on unique hardware fingerprints
Girish Vaidya, Akshay Nambi, T V Prabhakar, Vasanth Kumar , Suhas Sudhakara
International Conference on Internet of Things Design and Implementation (IoTDI) | April 2020
Rex: Preventing Bugs and Misconfiguration in Large Services using Correlated Change Analysis
Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, B. Ashok, Chetan Bansal, Chandra Maddila, Christian Bird, Sumit Asthana, Aditya Kumar
Networked System Design and Implementation (NSDI) | February 2020
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
Driving Lane Detection on Smartphones using Deep Neural Networks
Ravi Bhandari, Akshay Nambi, Venkat Padmanabhan, Bhaskaran Raman
ACM Transactions on Sensor Networks | January 2020, Vol 16(1)
-
WhoDo: Automating Reviewer Suggestions at Scale
Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Chetan Bansal, Christian Bird, Chandra Maddila, Sonu Mehta, B. Ashok
ESEC/FSE 2019 | August 2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick P. McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nameti, Anmol Panda, Pratik Bhatu
EuroSys 2019 | March 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
-
Privado: Practical and Secure DNN Inference with Enclaves
Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
September 2018
-
Skip-Correlation for Multi-Power Wireless Carrier Sensing
Romil Bhardwaj, Krishna Chintalapudi, Ramachandran Ramjee
USENIX NSDI | March 2017
-
Big Data Analytics over Encrypted Datasets with Seabed
Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh , Abhishek Modi, Saikrishna Badrinarayanan
2016 USENIX OSDI | November 2016
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
A Critique of FCC’S TV White Space Regulations
Krishna Chintalapudi, Ramachandran Ramjee
GetMobile | January 2016, Vol 20: pp. 20-25
-
DiversiFi: Robust Multi-Link Interactive Streaming
Rajat Kateja, Nimantha Baranasuriya, Vishnu Navda, Venkat Padmanabhan
CoNEXT 2015 | December 2015
QProbe: Locating the Bottleneck in Cellular Communication
Nimantha Baranasuriya, Vishnu Navda, Seth Gilbert, Venkat Padmanabhan
CoNEXT 2015 | December 2015
Best Short Paper
-
Probabilistic Programming
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
-
Act for Affordable Data Care
Saikat Guha, Srikanth Kandula
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
Publications by Research Area
-
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
2024 Symposium on Operating Systems Principles | November 2024
Metron: Holistic Performance Evaluation Framework for LLM Inference Systems
Amey Agrawal, Anmol Agarwal, Nitin Kedia, Jayashree Mohan, Souvik Kundu, Nipun Kwatra, Ramachandran Ramjee, Alexey Tumanov
July 2024
vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention
Ramya Prabhu, Ajay Nayak, Jayashree Mohan, Ramachandran Ramjee, Ashish Panwar
May 2024
VIDUR: A Large-Scale Simulation Framework for LLM Inference
Amey Agrawal, Nitin Kedia, Jayashree Mohan, Ashish Panwar, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee, Alexey Tumanov
The Seventh Annual Conference on Machine Learning and Systems | May 2024
Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures
Tanmaey Gupta, Sanjeev Krishnan, Rituraj Kumar, Abhishek Vijeev, Bhargav Gulavani, Nipun Kwatra, Ramachandran Ramjee, Muthian Sivathanu
2024 European Conference on Computer Systems | April 2024
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve
Amey Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav Gulavani, Alexey Tumanov, Ramachandran Ramjee
OSDI ’24 | March 2024
Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception
Anurag Ghosh, Akshay Nambi, Vaibhav Balloli, Aditya Singh, Tanuja Ganu
NeurIPS 2023 | December 2023
Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors
Tanmaey Gupta, Shubhankar Handa, Akshay Nambi
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation | October 2023
SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills
Amey Agrawal, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee
September 2023
DeepAnalyze: Learning to Localize Crashes at Scale
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari
ICSE 2022 | May 2022
Optimizing Network Provisioning through Cooperation
Harsha Sharma, Parth Thakkar, Ranjita Bhagwan, Sagar Bharadwaj, Venkat Padmanabhan, Yogesh Bansal, Vijay Kumar, Kathleen Voelbel
NSDI | April 2022
PIRMedic: A Physics-based Fault Diagnosis for Passive Infra-Red (PIR) Sensors
Ashish Kashinath, Sibin Mohan, Akshay Nambi, Sumukh Marathe
8th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2021) | November 2021
Best Paper Award
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Discovering Related Data At Scale
Sagar Bharadwaj, Praveen Gupta, Ranjita Bhagwan, Saikat Guha
VLDB Endowment | August 2021, Vol 14(8)
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
Adaptive Streaming Perception using Deep Reinforcement Learning
Anurag Ghosh, Akshay Nambi, Aditya Singh, Harish YVS, Tanuja Ganu
June 2021
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Incorporating Super-Operators in Big-Data Query Optimizers
Kaushik Rajan, Jyoti Leeka
International Conference on Very Large Databases (VLDB) | September 2020
DeCaf: Diagnosing and Triaging Performance Issues in Large-Scale Cloud Services
Chetan Bansal, Sundararajan Renganathan, Ashima Asudani, Olivier Midy, Mathru Janakiraman
ICSE 2020 | May 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Rex: Preventing Bugs and Misconfiguration in Large Services using Correlated Change Analysis
Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, B. Ashok, Chetan Bansal, Chandra Maddila, Christian Bird, Sumit Asthana, Aditya Kumar
Networked System Design and Implementation (NSDI) | February 2020
Driving Lane Detection on Smartphones using Deep Neural Networks
Ravi Bhandari, Akshay Nambi, Venkat Padmanabhan, Bhaskaran Raman
ACM Transactions on Sensor Networks | January 2020, Vol 16(1)
Privado: Practical and Secure DNN Inference with Enclaves
Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
September 2018
Skip-Correlation for Multi-Power Wireless Carrier Sensing
Romil Bhardwaj, Krishna Chintalapudi, Ramachandran Ramjee
USENIX NSDI | March 2017
Big Data Analytics over Encrypted Datasets with Seabed
Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh , Abhishek Modi, Saikrishna Badrinarayanan
2016 USENIX OSDI | November 2016
A Critique of FCC’S TV White Space Regulations
Krishna Chintalapudi, Ramachandran Ramjee
GetMobile | January 2016, Vol 20: pp. 20-25
DiversiFi: Robust Multi-Link Interactive Streaming
Rajat Kateja, Nimantha Baranasuriya, Vishnu Navda, Venkat Padmanabhan
CoNEXT 2015 | December 2015
QProbe: Locating the Bottleneck in Cellular Communication
Nimantha Baranasuriya, Vishnu Navda, Seth Gilbert, Venkat Padmanabhan
CoNEXT 2015 | December 2015
Best Short Paper
Act for Affordable Data Care
Saikat Guha, Srikanth Kandula
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
2024 Symposium on Operating Systems Principles | November 2024
Welding Natural Language Queries to Analytics IRs with LLMs
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
(To appear in) International Conference on Innovative Data Systems | January 2024
Treebeard: An Optimizing Compiler for Decision Tree Based ML Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2022
Discovering Related Data At Scale
Sagar Bharadwaj, Praveen Gupta, Ranjita Bhagwan, Saikat Guha
VLDB Endowment | August 2021, Vol 14(8)
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
CurrentSense: A novel approach for fault and drift detection in environmental IoT sensors
Sumukh Marathe, Akshay Nambi, Swami Manohar, Ronak Sutaria
ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) | May 2021
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Incorporating Super-Operators in Big-Data Query Optimizers
Kaushik Rajan, Jyoti Leeka
International Conference on Very Large Databases (VLDB) | September 2020
-
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
47th International Conference on Software Engineering (ICSE) | April 2025
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
2024 Symposium on Operating Systems Principles | November 2024
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
Published by arxiv
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
Published by arxiv
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 Automated Software Engineering | September 2023
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
DeepAnalyze: Learning to Localize Crashes at Scale
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari
ICSE 2022 | May 2022
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
Learning Patterns in Configuration
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 Automated Software Engineering | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
FMCAD | October 2021
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Data-driven test selection at scale
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan (bhagwan), Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, Anirudh Santhiar
August 2021
DICE*: A Formally Verified Implementation of DICE Measured Boot
Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
30th Usenix Security Symposium | August 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 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
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
DeCaf: Diagnosing and Triaging Performance Issues in Large-Scale Cloud Services
Chetan Bansal, Sundararajan Renganathan, Ashima Asudani, Olivier Midy, Mathru Janakiraman
ICSE 2020 | May 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Rex: Preventing Bugs and Misconfiguration in Large Services using Correlated Change Analysis
Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, B. Ashok, Chetan Bansal, Chandra Maddila, Christian Bird, Sumit Asthana, Aditya Kumar
Networked System Design and Implementation (NSDI) | February 2020
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
WhoDo: Automating Reviewer Suggestions at Scale
Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Chetan Bansal, Christian Bird, Chandra Maddila, Sonu Mehta, B. Ashok
ESEC/FSE 2019 | August 2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick P. McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nameti, Anmol Panda, Pratik Bhatu
EuroSys 2019 | March 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
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
Probabilistic Programming
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
-
Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception
Anurag Ghosh, Akshay Nambi, Vaibhav Balloli, Aditya Singh, Tanuja Ganu
NeurIPS 2023 | December 2023
Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors
Tanmaey Gupta, Shubhankar Handa, Akshay Nambi
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation | October 2023
PIRMedic: A Physics-based Fault Diagnosis for Passive Infra-Red (PIR) Sensors
Ashish Kashinath, Sibin Mohan, Akshay Nambi, Sumukh Marathe
8th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2021) | November 2021
Best Paper Award
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
-
Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors
Tanmaey Gupta, Shubhankar Handa, Akshay Nambi
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation | October 2023
PIRMedic: A Physics-based Fault Diagnosis for Passive Infra-Red (PIR) Sensors
Ashish Kashinath, Sibin Mohan, Akshay Nambi, Sumukh Marathe
8th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2021) | November 2021
Best Paper Award
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
CurrentSense: A novel approach for fault and drift detection in environmental IoT sensors
Sumukh Marathe, Akshay Nambi, Swami Manohar, Ronak Sutaria
ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) | May 2021
Fault diagnosis system for low-cost air pollution sensors
Sumukh Marathe, Akshay Nambi, Nishant Shrivastava , Swami Manohar, Ronak Sutaria
ACM SenSys demo | November 2020
InSight: Monitoring the State of the Driver in Low-Light Using Smartphones
Ishani Janveja, Akshay Nambi, Shruthi Bannur, Sanchit Gupta, Venkat Padmanabhan
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, (UBICOMP 2020) | September 2020, Vol 4(3)
IoT-ID: A novel device-specific identifier based on unique hardware fingerprints
Girish Vaidya, Akshay Nambi, T V Prabhakar, Vasanth Kumar , Suhas Sudhakara
International Conference on Internet of Things Design and Implementation (IoTDI) | April 2020
-
Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors
Tanmaey Gupta, Shubhankar Handa, Akshay Nambi
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation | October 2023
PIRMedic: A Physics-based Fault Diagnosis for Passive Infra-Red (PIR) Sensors
Ashish Kashinath, Sibin Mohan, Akshay Nambi, Sumukh Marathe
8th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2021) | November 2021
Best Paper Award
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
InSight: Monitoring the State of the Driver in Low-Light Using Smartphones
Ishani Janveja, Akshay Nambi, Shruthi Bannur, Sanchit Gupta, Venkat Padmanabhan
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, (UBICOMP 2020) | September 2020, Vol 4(3)
Driving Lane Detection on Smartphones using Deep Neural Networks
Ravi Bhandari, Akshay Nambi, Venkat Padmanabhan, Bhaskaran Raman
ACM Transactions on Sensor Networks | January 2020, Vol 16(1)
-
Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception
Anurag Ghosh, Akshay Nambi, Vaibhav Balloli, Aditya Singh, Tanuja Ganu
NeurIPS 2023 | December 2023
DeepAnalyze: Learning to Localize Crashes at Scale
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari
ICSE 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
Adaptive Streaming Perception using Deep Reinforcement Learning
Anurag Ghosh, Akshay Nambi, Aditya Singh, Harish YVS, Tanuja Ganu
June 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
InSight: Monitoring the State of the Driver in Low-Light Using Smartphones
Ishani Janveja, Akshay Nambi, Shruthi Bannur, Sanchit Gupta, Venkat Padmanabhan
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, (UBICOMP 2020) | September 2020, Vol 4(3)
Driving Lane Detection on Smartphones using Deep Neural Networks
Ravi Bhandari, Akshay Nambi, Venkat Padmanabhan, Bhaskaran Raman
ACM Transactions on Sensor Networks | January 2020, Vol 16(1)
Probabilistic Programming
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
-
Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception
Anurag Ghosh, Akshay Nambi, Vaibhav Balloli, Aditya Singh, Tanuja Ganu
NeurIPS 2023 | December 2023
-
DICE*: A Formally Verified Implementation of DICE Measured Boot
Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
30th Usenix Security Symposium | 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
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
CrypTFlow: Secure TensorFlow Inference
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
IEEE Symposium on Security and Privacy | May 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
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
Privado: Practical and Secure DNN Inference with Enclaves
Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
September 2018
Big Data Analytics over Encrypted Datasets with Seabed
Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh , Abhishek Modi, Saikrishna Badrinarayanan
2016 USENIX OSDI | November 2016
Act for Affordable Data Care
Saikat Guha, Srikanth Kandula
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
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
-
Act for Affordable Data Care
Saikat Guha, Srikanth Kandula
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
Publications by Type
-
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
47th International Conference on Software Engineering (ICSE) | April 2025
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
2024 Symposium on Operating Systems Principles | November 2024
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
Metron: Holistic Performance Evaluation Framework for LLM Inference Systems
Amey Agrawal, Anmol Agarwal, Nitin Kedia, Jayashree Mohan, Souvik Kundu, Nipun Kwatra, Ramachandran Ramjee, Alexey Tumanov
July 2024
VIDUR: A Large-Scale Simulation Framework for LLM Inference
Amey Agrawal, Nitin Kedia, Jayashree Mohan, Ashish Panwar, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee, Alexey Tumanov
The Seventh Annual Conference on Machine Learning and Systems | May 2024
Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures
Tanmaey Gupta, Sanjeev Krishnan, Rituraj Kumar, Abhishek Vijeev, Bhargav Gulavani, Nipun Kwatra, Ramachandran Ramjee, Muthian Sivathanu
2024 European Conference on Computer Systems | April 2024
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve
Amey Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav Gulavani, Alexey Tumanov, Ramachandran Ramjee
OSDI ’24 | March 2024
Welding Natural Language Queries to Analytics IRs with LLMs
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
(To appear in) International Conference on Innovative Data Systems | January 2024
Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception
Anurag Ghosh, Akshay Nambi, Vaibhav Balloli, Aditya Singh, Tanuja Ganu
NeurIPS 2023 | December 2023
Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors
Tanmaey Gupta, Shubhankar Handa, Akshay Nambi
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation | October 2023
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 Automated Software Engineering | September 2023
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Treebeard: An Optimizing Compiler for Decision Tree Based ML Inference
Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2022
DeepAnalyze: Learning to Localize Crashes at Scale
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari
ICSE 2022 | May 2022
Optimizing Network Provisioning through Cooperation
Harsha Sharma, Parth Thakkar, Ranjita Bhagwan, Sagar Bharadwaj, Venkat Padmanabhan, Yogesh Bansal, Vijay Kumar, Kathleen Voelbel
NSDI | April 2022
PIRMedic: A Physics-based Fault Diagnosis for Passive Infra-Red (PIR) Sensors
Ashish Kashinath, Sibin Mohan, Akshay Nambi, Sumukh Marathe
8th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2021) | November 2021
Best Paper Award
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
Learning Patterns in Configuration
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 Automated Software Engineering | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
FMCAD | October 2021
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
FPL | September 2021
Data-driven test selection at scale
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan (bhagwan), Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, Anirudh Santhiar
August 2021
DICE*: A Formally Verified Implementation of DICE Measured Boot
Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
30th Usenix Security Symposium | August 2021
Is your smoke detector working properly? Robust fault tolerance approaches for smoke detectors
Arjun Tambe, Akshay Nambi, Sumukh Marathe
19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) | June 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 2021
CurrentSense: A novel approach for fault and drift detection in environmental IoT sensors
Sumukh Marathe, Akshay Nambi, Swami Manohar, Ronak Sutaria
ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) | May 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
Fault diagnosis system for low-cost air pollution sensors
Sumukh Marathe, Akshay Nambi, Nishant Shrivastava , Swami Manohar, Ronak Sutaria
ACM SenSys demo | November 2020
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
Incorporating Super-Operators in Big-Data Query Optimizers
Kaushik Rajan, Jyoti Leeka
International Conference on Very Large Databases (VLDB) | September 2020
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
DeCaf: Diagnosing and Triaging Performance Issues in Large-Scale Cloud Services
Chetan Bansal, Sundararajan Renganathan, Ashima Asudani, Olivier Midy, Mathru Janakiraman
ICSE 2020 | May 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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
IoT-ID: A novel device-specific identifier based on unique hardware fingerprints
Girish Vaidya, Akshay Nambi, T V Prabhakar, Vasanth Kumar , Suhas Sudhakara
International Conference on Internet of Things Design and Implementation (IoTDI) | April 2020
Rex: Preventing Bugs and Misconfiguration in Large Services using Correlated Change Analysis
Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, B. Ashok, Chetan Bansal, Chandra Maddila, Christian Bird, Sumit Asthana, Aditya Kumar
Networked System Design and Implementation (NSDI) | February 2020
WhoDo: Automating Reviewer Suggestions at Scale
Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Chetan Bansal, Christian Bird, Chandra Maddila, Sonu Mehta, B. Ashok
ESEC/FSE 2019 | August 2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick P. McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nameti, Anmol Panda, Pratik Bhatu
EuroSys 2019 | March 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
Skip-Correlation for Multi-Power Wireless Carrier Sensing
Romil Bhardwaj, Krishna Chintalapudi, Ramachandran Ramjee
USENIX NSDI | March 2017
Big Data Analytics over Encrypted Datasets with Seabed
Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh , Abhishek Modi, Saikrishna Badrinarayanan
2016 USENIX OSDI | November 2016
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
DiversiFi: Robust Multi-Link Interactive Streaming
Rajat Kateja, Nimantha Baranasuriya, Vishnu Navda, Venkat Padmanabhan
CoNEXT 2015 | December 2015
QProbe: Locating the Bottleneck in Cellular Communication
Nimantha Baranasuriya, Vishnu Navda, Seth Gilbert, Venkat Padmanabhan
CoNEXT 2015 | December 2015
Best Short Paper
Probabilistic Programming
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Act for Affordable Data Care
Saikat Guha, Srikanth Kandula
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention
Ramya Prabhu, Ajay Nayak, Jayashree Mohan, Ramachandran Ramjee, Ashish Panwar
May 2024
SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills
Amey Agrawal, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee
September 2023
Adaptive Streaming Perception using Deep Reinforcement Learning
Anurag Ghosh, Akshay Nambi, Aditya Singh, Harish YVS, Tanuja Ganu
June 2021
Privado: Practical and Secure DNN Inference with Enclaves
Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
September 2018
-
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Published by arxiv
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
Published by arxiv
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
-
Discovering Related Data At Scale
Sagar Bharadwaj, Praveen Gupta, Ranjita Bhagwan, Saikat Guha
VLDB Endowment | August 2021, Vol 14(8)
InSight: Monitoring the State of the Driver in Low-Light Using Smartphones
Ishani Janveja, Akshay Nambi, Shruthi Bannur, Sanchit Gupta, Venkat Padmanabhan
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, (UBICOMP 2020) | September 2020, Vol 4(3)
Driving Lane Detection on Smartphones using Deep Neural Networks
Ravi Bhandari, Akshay Nambi, Venkat Padmanabhan, Bhaskaran Raman
ACM Transactions on Sensor Networks | January 2020, Vol 16(1)
A Critique of FCC’S TV White Space Regulations
Krishna Chintalapudi, Ramachandran Ramjee
GetMobile | January 2016, Vol 20: pp. 20-25