| 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 | 210 | 2013 |
| 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 | 141 | 2018 |
| Combining model checking and runtime verification for safe robotics A Desai, T Dreossi, SA Seshia International Conference on Runtime Verification, 172-189, 2017 | 110 | 2017 |
| 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 | 100* | 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 | 97 | 2017 |
| Systematic Testing of Asynchronous Reactive Systems A Desai, S Qadeer, S Seshia Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 40 | 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 | 38 | 2018 |
| 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 |
| Depth bounded explicit-state model checking A Udupa, A Desai, S Rajamani International SPIN Workshop on Model Checking of Software, 57-74, 2011 | 28 | 2011 |
| 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 | 22 | 2018 |
| 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 | 20 | 2020 |
| 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 | 13 | 2017 |
| Critical path based performance models for distributed queries A Desai, K Rajan, K Vaswani | 9 | 2012 |
| 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 | 6 | 2014 |
| 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 | 5 | 2023 |
| 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 | 4 | 2021 |
| P: modular and safe asynchronous programming A Desai, S Qadeer Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017 | 4 | 2017 |
| 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 | 3 | 2023 |
| 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 | 3 | 2015 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
