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
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
Automated Technology for Verification and Analysis: 16th International …, 2018
Combining model checking and runtime verification for safe robotics
A Desai, T Dreossi, SA Seshia
International Conference on Runtime Verification, 172-189, 2017
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
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
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
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
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
SOTER on ROS: A run-time assurance framework on the robot operating system
S Shivakumar, H Torfah, A Desai, SA Seshia
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
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
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
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
P: modular and safe asynchronous programming
A Desai, S Qadeer
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
Iterative Cycle Detection via Delaying Explorers
A Desai, S Qadeer, S Rajamani, S Seshia, 2015
Design of On Board Computers for a Nanosatellite
A Desai, 2010
ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems
B Yalcinkaya, H Torfah, A Desai, SA Seshia
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
The system can't perform the operation now. Try again later.
Articles 1–20