Get started
Author

Ankush Desai

Observed names: Desai, A, Desai, Ankush, Desai, Ankush, Author
Observed institutions: Microsoft (United States), Amazon (United States), University of California System, Microsoft Research (India), Snowflake Inc. (United States), University of California, Berkeley
ORCID: 0000-0001-9006-0100
Observed ORCID: 0000-0001-9006-0100
OpenAlex ID: A5042181450
P: safe asynchronous event-driven programming
2013 · Ankush Desai, Vivek Gupta, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 142
Formal Specification for Deep Neural Networks
2018 · Sanjit A. Seshia, Ankush Desai, et al. · Lecture notes in computer science · 103
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
2019 · Ankush Desai, Shromona Ghosh, et al. · International Conference on Dependable Systems & Networks/Proceedings · 102
PDF
Combining Model Checking and Runtime Verification for Safe Robotics
2017 · Ankush Desai, Tommaso Dreossi, et al. · Lecture notes in computer science · 91
DRONA: a framework for safe distributed mobile robotics
2017 · Ankush Desai, Indranil Saha, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 78
P: safe asynchronous event-driven programming
2013 · Ankush Desai, Vivek Gupta, et al. · ACM SIGPLAN Notices · 50
Systematic testing of asynchronous reactive systems
2015 · Ankush Desai, Shaz Qadeer, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 35
PDF
Compositional programming and testing of dynamic distributed systems
2018 · Ankush Desai, Amar Phanishayee, et al. · Proceedings of the ACM on Programming Languages · 33
PDF
Natural proofs for asynchronous programs using almost-synchronous reductions
2014 · Ankush Desai, Pranav Garg, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 32
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
2020 · Sumukh Shivakumar, Hazem Torfah, et al. · Lecture notes in computer science · 23
PDF
Programming Safe Robotics Systems: Challenges and Advances
2018 · Ankush Desai, Shaz Qadeer, et al. · Lecture notes in computer science · 16
Depth Bounded Explicit-State Model Checking
2011 · Abhishek Udupa, Ankush Desai, et al. · Lecture notes in computer science · 14
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems
2015 · Ankush Desai, Sanjit A. Seshia, et al. · Lecture notes in computer science · 12
PDF
Systems Correctness Practices at Amazon Web Services
2025 · Marc Brooker, Ankush Desai · Communications of the ACM · 11
PDF
Lasso detection using partial-state caching
2017 · Rashmi Mudduluru, Pantazis Deligiannis, et al. · Formal Methods in Computer-Aided Design · 10
Message Chains for Distributed System Verification
2023 · Federico Mora, Ankush Desai, et al. · Proceedings of the ACM on Programming Languages · 9
PDF
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems
2023 · Beyazit Yalcinkaya, Hazem Torfah, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 9
PDF
SOTER: Programming Safe Robotics System using Runtime Assurance.
2018 · Ankush Desai, Shromona Ghosh, et al. · 9
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods
2024 · Marc Brooker, Ankush Desai · Queue · 8
Natural proofs for asynchronous programs using almost-synchronous reductions
2014 · Ankush Desai, Pranav Garg, et al. · ACM SIGPLAN Notices · 6
PSec: Programming Secure Distributed Systems using Enclaves
2021 · Shivendra Kushwah, Ankush Desai, et al. · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 5
PDF
P: Modular and Safe Asynchronous Programming
2017 · Ankush Desai, Shaz Qadeer · Lecture notes in computer science · 5
Critical Path based Performance Models for Distributed Queries
2012 · Ankush Desai, Kaushik Sunder Rajan, et al. · 4
Endlessly circulating messages in IEEE 1588-2008 systems
2014 · David Broman, Patricia Derler, et al. · IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication · 3
Trace-Guided Synthesis of Effectful Test Generators
2026 · Zhe Zhou, Ankush Desai, et al. · Proceedings of the ACM on Programming Languages · 2
Works count: 36
Citation count: 829
H-index: 12
I10-index: 15
Year
Topic
Type