Ankush Desai
Ankush Desai
Senior Applied Scientist, Amazon Web Services
Verified email at - Homepage
Cited by
Cited by
P: safe asynchronous event-driven programming
A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey
ACM SIGPLAN Notices 48 (6), 321-332, 2013
Drona: A framework for safe distributed mobile robotics
A Desai, I Saha, J Yang, S Qadeer, SA Seshia
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017
Combining model checking and runtime verification for safe robotics
A Desai, T Dreossi, SA Seshia
International Conference on Runtime Verification, 172-189, 2017
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
Systematic Testing of Asynchronous Reactive Systems
A Desai, S Qadeer, S Seshia
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
Natural proofs for Asynchronous Programs using Almost-synchronous Invariants
A Desai, P Garg, P Madhusudan
28th Intl. Conf. on Object-oriented Programming, Systems, Languages, and …, 2014
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
Compositional programming and testing of dynamic distributed systems
A Desai, A Phanishayee, S Qadeer, SA Seshia
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems
A Desai, S Seshia, S Qadeer, D Broman, J Eidson
Computer Aided Verification - 27th International Conference, CAV 2015, San …, 2015
Programming Safe Robotics Systems: Challenges and Advances
A Desai, S Qadeer, S Seshia
ISoLa 11245 (Lecture Notes in Computer Science), 2018
Lasso detection using partial-state caching
R Mudduluru, P Deligiannis, A Desai, A Lal, S Qadeer
2017 Formal Methods in Computer Aided Design (FMCAD), 84-91, 2017
Critical path based performance models for distributed queries
A Desai, K Rajan, K Vaswani
SOTER on ROS: a run-time assurance framework on the robot operating system
S Shivakumar, H Torfah, A Desai, SA Seshia
International Conference on Runtime Verification, 184-194, 2020
Endlessly Circulating Messages in IEEE 1588-2008 Systems
D Broman, P Derler, A Desai, J Eidson, SA Seshia
International IEEE Symposium on Precision Clock Synchronization for …, 2014
Iterative Cycle Detection via Delaying Explorers
A Desai, S Qadeer, S Rajamani, S Seshia, 2015
P: modular and safe asynchronous programming
A Desai, S Qadeer
International Conference on Runtime Verification, 3-7, 2017
Building reliable distributed systems with P
A Desai, E Jackson, A Phanishayee, S Qadeer, SA Seshia
Tech. Rep. UCB/EECS-2015-198, EECS Department, University of California …, 2015
Design of On Board Computers for a Nanosatellite
A Desai, 2010
PSec: Programming Secure Distributed Systems using Enclaves
S Kushwah, A Desai, P Subramanyan, SA Seshia
Proceedings of the 2021 ACM Asia Conference on Computer and Communications …, 2021
The system can't perform the operation now. Try again later.
Articles 1–20