Suivre
Ankush Desai
Ankush Desai
Senior Applied Scientist, Amazon Web Services
Adresse e-mail validée de amazon.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
2022013
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
1342018
Combining model checking and runtime verification for safe robotics
A Desai, T Dreossi, SA Seshia
International Conference on Runtime Verification, 172-189, 2017
1052017
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
99*2019
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
962017
Systematic Testing of Asynchronous Reactive Systems
A Desai, S Qadeer, S Seshia
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
392015
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
38*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
362018
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
272011
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
26*2015
Programming Safe Robotics Systems: Challenges and Advances
A Desai, S Qadeer, S Seshia
ISoLa 11245 (Lecture Notes in Computer Science), 2018
212018
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
202020
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
132017
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
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 …, 2023
42023
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
42021
P: modular and safe asynchronous programming
A Desai, S Qadeer
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
42017
Message chains for distributed system verification
F Mora, A Desai, E Polgreen, SA Seshia
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2224-2250, 2023
32023
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20