Ankush Desai
Ankush Desai
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
1302013
Combining model checking and runtime verification for safe robotics
A Desai, T Dreossi, SA Seshia
International Conference on Runtime Verification, 172-189, 2017
472017
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
472017
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
292018
Systematic Testing of Asynchronous Reactive Systems
A Desai, S Qadeer, S Seshia
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
282015
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
26*2014
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
192011
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
16*2015
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
15*2019
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
142018
Critical path based performance models for distributed queries
A Desai, K Rajan, K Vaswani
92012
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
82017
Programming Safe Robotics Systems: Challenges and Advances
A Desai, S Qadeer, S Seshia
ISoLa 11245 (Lecture Notes in Computer Science), 2018
72018
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
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
32015
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
P: modular and safe asynchronous programming
A Desai, S Qadeer
International Conference on Runtime Verification, 3-7, 2017
22017
Modular and Safe Event-Driven Programming
AP Desai
UC Berkeley, 2019
12019
Building Reliable and Performant Software Defined Networks
A Desai, W Zheng
Course Project CS262A, 2015
1*2015
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
S Shivakumar, H Torfah, A Desai, SA Seshia
arXiv preprint arXiv:2008.09707, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20