Ankush Desai

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 15

Top Topics

Distributed Systems

Mobile Robotics

Asynchronous Communication

Operating System

Top Venues

Proc. ACM Program. Lang.

Publications

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
Message Chains for Distributed System Verification. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Lauren Pick, Ankush Desai, Aarti Gupta
Psym: Efficient Symbolic Exploration of Distributed Systems. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS (2021)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV (2020)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR (2020)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN (2019)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR (2018)
Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia
Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
Formal Specification for Deep Neural Networks. ATVA (2018)
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
Programming Safe Robotics Systems: Challenges and Advances. ISoLA (2) (2018)
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Lasso detection using partial-state caching. FMCAD (2017)
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
Combining Model Checking and Runtime Verification for Safe Robotics. RV (2017)
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia
DRONA: a framework for safe distributed mobile robotics. ICCPS (2017)
Ankush Desai, Shaz Qadeer
P: Modular and Safe Asynchronous Programming. RV (2017)
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
Systematic testing of asynchronous reactive systems. ESEC/SIGSOFT FSE (2015)
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) (2015)
Ankush Desai, Pranav Garg, P. Madhusudan
Natural proofs for asynchronous programs using almost-synchronous reductions. OOPSLA (2014)
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
P: safe asynchronous event-driven programming. PLDI (2013)
Abhishek Udupa, Ankush Desai, Sriram K. Rajamani
Depth Bounded Explicit-State Model Checking. SPIN (2011)