Follow
Ankush Desai
Ankush Desai
Senior Applied Scientist, Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
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
1692013
Combining model checking and runtime verification for safe robotics
A Desai, T Dreossi, SA Seshia
International Conference on Runtime Verification, 172-189, 2017
912017
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
892018
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
862017
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
63*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
342015
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
32*2014
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA …, 2011
252011
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
23*2015
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
222018
Programming Safe Robotics Systems: Challenges and Advances
A Desai, S Qadeer, S Seshia
ISoLa 11245 (Lecture Notes in Computer Science), 2018
172018
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
112020
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
112017
Critical path based performance models for distributed queries
A Desai, K Rajan, K Vaswani
92012
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
62014
P: modular and safe asynchronous programming
A Desai, S Qadeer
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
32017
Iterative Cycle Detection via Delaying Explorers
A Desai, S Qadeer, S Rajamani, S Seshia
http://research.microsoft.com/apps/pubs/default.aspx?id=241769, 2015
32015
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
22021
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
22015
Design of On Board Computers for a Nanosatellite
A Desai
https://ankushdesai.github.io/assets/papers/mthesis.pdf, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20