Ankush Desai

24 papers A* 1A 3B 6Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Checking Observational Correctness of Database Systems.
Proc. ACM Program. Lang.
Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi
2025 B conf
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods.
FMCAD
Ankush Desai
2025 J jnl
Systems Correctness Practices at Amazon Web Services.
Commun. ACM
Marc Brooker, Ankush Desai
2024 J jnl
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods.
ACM Queue
Marc Brooker, Ankush Desai
2023 J jnl
Message Chains for Distributed System Verification.
Proc. ACM Program. Lang.
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
2023 J jnl
Psym: Efficient Symbolic Exploration of Distributed Systems.
Proc. ACM Program. Lang.
Lauren Pick, Ankush Desai, Aarti Gupta
2023 J jnl
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2021 A conf
PSec: Programming Secure Distributed Systems using Enclaves.
AsiaCCS
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia
2020 B conf
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.
RV
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2020 J jnl
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.
CoRR
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2019 A conf
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.
DSN
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
2018 J jnl
Compositional programming and testing of dynamic distributed systems.
Proc. ACM Program. Lang.
Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia
2018 B conf
Formal Specification for Deep Neural Networks.
ATVA
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
2018 — conf
Programming Safe Robotics Systems: Challenges and Advances.
ISoLA (2)
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
2018 J jnl
SOTER: Programming Safe Robotics System using Runtime Assurance.
CoRR
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
2017 B conf
Combining Model Checking and Runtime Verification for Safe Robotics.
RV
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
2017 — conf
DRONA: a framework for safe distributed mobile robotics.
ICCPS
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia
2017 B conf
Lasso detection using partial-state caching.
FMCAD
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
2017 B conf
P: Modular and Safe Asynchronous Programming.
RV
Ankush Desai, Shaz Qadeer
2015 — conf
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.
CAV (2)
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson
2015 — conf
Systematic testing of asynchronous reactive systems.
ESEC/SIGSOFT FSE
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
2014 A conf
Natural proofs for asynchronous programs using almost-synchronous reductions.
OOPSLA
Ankush Desai, Pranav Garg, P. Madhusudan
2013 A* conf
P: safe asynchronous event-driven programming.
PLDI
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
2011 — conf
Depth Bounded Explicit-State Model Checking.
SPIN
Abhishek Udupa, Ankush Desai, Sriram K. Rajamani