Ankush Desai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NSDI | Feedback-guided Adaptive Testing of Distributed Systems Designs. | Ao Li, Ankush Desai, Rohan Padhye |
| 2025 | FMCAD | Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods. | Ankush Desai |
| 2021 | AsiaCCS | PSec: Programming Secure Distributed Systems using Enclaves. | Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia |
| 2020 | RV | SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. | Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
| 2019 | DSN | SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. | Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari |
| 2018 | ATVA | 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 |
| 2018 | ISoLA | Programming Safe Robotics Systems: Challenges and Advances. | Ankush Desai, Shaz Qadeer, Sanjit A. Seshia |
| 2017 | FMCAD | Lasso detection using partial-state caching. | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
| 2017 | RV | Combining Model Checking and Runtime Verification for Safe Robotics. | Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia |
| 2017 | RV | P: Modular and Safe Asynchronous Programming. | Ankush Desai, Shaz Qadeer |
| 2015 | CAV | Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. | Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson |
| 2014 | OOPSLA | Natural proofs for asynchronous programs using almost-synchronous reductions. | Ankush Desai, Pranav Garg, P. Madhusudan |
| 2013 | PLDI | P: safe asynchronous event-driven programming. | Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |