Skip to content

Papers

Publications

P Language and Backend Analysis

  1. Compositional Programming and Testing of Dynamic Distributed Systems Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit Seshia OOPSLA, 2018.

  2. Lasso detection using Partial State Caching Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal and Shaz Qadeer. FMCAD, 2017.

  3. Systematic Testing of Asynchronous Reactive Systems Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia. ESEC/FSE, 2015.

  4. Natural proofs for Asynchronous Programs using Almost-synchronous Invariants Ankush Desai, Pranav Garg, and P. Madhusudan. OOPSLA, 2014.

  5. P: Safe asynchronous event-driven programming Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. PLDI, 2013.

  6. Depth bounded explicit-state model checking Abhishek Udupa, Ankush Desai and Sriram Rajamani. SPIN, 2011.

P at AWS

  1. Systems Correctness Practices at Amazon Web Services Marc Brooker and Ankush Desai. Communications of the ACM (Practice), 2025.

P Case Studies

  1. PSec: Programming Secure Distributed Systems using Enclaves Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia. AsiaCCS, 2021.

  2. Programming Safe Robotics Systems: Challenges and Advances Ankush Desai, Shaz Qadeer and Sanjit Seshia. ISoLA, 2018.

  3. DRONA: A Framework for Safe Distributed Mobile Robotics Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, and Sanjit A. Seshia. ICCPS, 2017.

  4. Combining Model Checking and Runtime Verification for Safe Robotics Ankush Desai, Tommaso Dreossi and Sanjit Seshia. RV, 2017.

  5. Approximate Synchrony: An Abstraction for Distributed Almost-synchronous Systems Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, and John Eidson. CAV, 2015.

  6. Endlessly Circulating Messages in IEEE 1588-2008 Systems David Broman, P Derler, Ankush Desai, John Eidson, and Sanjit Seshia. ISPCS, 2014.

PhD Thesis