Ankush Desai

According to our database, Ankush Desai authored at least 19 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.

Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Message Chains for Distributed System Verification.

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia

Proc. ACM Program. Lang., October, 2023

Psym: Efficient Symbolic Exploration of Distributed Systems.

Lauren Pick, Ankush Desai, Aarti Gupta

Proc. ACM Program. Lang., 2023

2021

PSec: Programming Secure Distributed Systems using Enclaves.

Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.

Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.

Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

Compositional programming and testing of dynamic distributed systems.

Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia

Proc. ACM Program. Lang., 2018

SOTER: Programming Safe Robotics System using Runtime Assurance.

Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari

CoRR, 2018

Programming Safe Robotics Systems: Challenges and Advances.

Ankush Desai, Shaz Qadeer, Sanjit A. Seshia

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Formal Specification for Deep Neural Networks.

Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

P: Modular and Safe Asynchronous Programming.

Ankush Desai, Shaz Qadeer

Proceedings of the Runtime Verification - 17th International Conference, 2017

Combining Model Checking and Runtime Verification for Safe Robotics.

Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia

Proceedings of the Runtime Verification - 17th International Conference, 2017

DRONA: a framework for safe distributed mobile robotics.

Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Lasso detection using partial-state caching.

Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015

Systematic testing of asynchronous reactive systems.

Ankush Desai, Shaz Qadeer, Sanjit A. Seshia

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.

Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Natural proofs for asynchronous programs using almost-synchronous reductions.

Ankush Desai, Pranav Garg, P. Madhusudan

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

P: safe asynchronous event-driven programming.

Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2011

Depth Bounded Explicit-State Model Checking.

Abhishek Udupa, Ankush Desai, Sriram K. Rajamani

Proceedings of the Model Checking Software, 2011