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
Publications
Publications
Publications by Year
-
-
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, Manohar Swaminathan, 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 , Manohar Swaminathan, 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
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
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
Publications by Research Area
-
Act for Affordable Data Care
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
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
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
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
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
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
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
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
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
-
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
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
Learning Patterns in Configuration
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 Automated Software Engineering | November 2021
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
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
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
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 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
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
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 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
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
-
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, Manohar Swaminathan, 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 , Manohar Swaminathan, 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
-
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)
-
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, Manohar Swaminathan, 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
International Conference on Very Large Databases (VLDB) | September 2020
-
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
-
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
Publications by Type
-
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
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
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
Learning Patterns in Configuration
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 Automated Software Engineering | November 2021
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
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
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
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, Manohar Swaminathan, 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 , Manohar Swaminathan, 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
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
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 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
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
Proceedings of the 11th Workshop on Hot Topics in Networks (HotNets) | October 2012
-
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
-
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
-
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