P Language and Backend Analysis
Compositional Programming and Testing of Dynamic Distributed Systems.
Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit Seshia
International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2018.
Lasso detection using Partial State Caching.
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal and Shaz Qadeer.
Formal Methods in Computer-Aided Design (FMCAD) - 2017
Systematic Testing of Asynchronous Reactive Systems.
Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015).
Natural proofs for Asynchronous Programs using Almost-synchronous Invariants.
Ankush Desai, Pranav Garg, and P. Madhusudan.
International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) - 2014
P: Safe asynchronous event-driven programming.
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey.
Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2013.
Depth bounded explicit-state model checking.
Abhishek Udupa, Ankush Desai and Sriram Rajamani.
International SPIN Symposium on Model Checking of Software (SPIN) - 2011
P Case Studies
PSec: Programming Secure Distributed Systems using Enclaves.
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia.
Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security (AsiaCCS) - 2021
Programming Safe Robotics Systems: Challenges and Advances.
Ankush Desai, Shaz Qadeer and Sanjit Seshia.
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) - 2018
DRONA: A Framework for Safe Distributed Mobile Robotics.
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, and Sanjit A. Seshia.
Proceedings of the 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2017.
Combining Model Checking and Runtime Verification for Safe Robotics.
Ankush Desai, Tommaso Dreossi and Sanjit Seshia.
The 17th International Conference on Runtime Verification (RV) - 2017
Approximate Synchrony: An Abstraction for Distributed Almost-synchronous Systems.
Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, and John Eidson.
International Conference on Computer Aided Verification (CAV) - 2015
Endlessly Circulating Messages in IEEE 1588-2008 Systems.
David Broman, P Derler, Ankush Desai, John Eidson, and Sanjit Seshia.
International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS) - 2014
- Modular and Safe Event-Driven Programming.
University of California, Berkeley - 2019.