| Neural network control of robot manipulators and non-linear systems FW Lewis, S Jagannathan, A Yesildirak CRC press, 1998 | 2282 | 1998 |
| Software architecture for control of highly parallel computer systems S Jagannathan, JF Philbin US Patent 5,692,193, 1997 | 316 | 1997 |
| Improving duplicate elimination in storage systems DR Bobbarjung, S Jagannathan, C Dubnicki ACM Transactions on Storage (TOS) 2 (4), 424-448, 2006 | 249 | 2006 |
| Safe futures for Java A Welc, S Jagannathan, A Hosking Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 217 | 2005 |
| Distributed agent software system and method having enhanced process mobility and communication in a computer network S Jagannathan, RA Kelsey, JF Philbin, S Fujita, K Koyama, T Yamanouchi US Patent 6,496,871, 2002 | 172 | 2002 |
| CompCertTSO: A verified compiler for relaxed-memory concurrency J Ševčík, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell Journal of the ACM (JACM) 60 (3), 1-50, 2013 | 170 | 2013 |
| Transmission of higher-order objects across a network of heterogeneous machines H Cejtin, S Jagannathan, RA Kelsey US Patent 5,745,703, 1998 | 169 | 1998 |
| Static specification inference using predicate mining MK Ramanathan, A Grama, S Jagannathan ACM SIGPLAN Notices 42 (6), 123-134, 2007 | 159 | 2007 |
| A unified treatment of flow analysis in higher-order languages S Jagannathan, S Weeks Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 156 | 1995 |
| Path-sensitive inference of function precedence protocols MK Ramanathan, A Grama, S Jagannathan 29th International Conference on Software Engineering (ICSE'07), 240-250, 2007 | 149 | 2007 |
| Declarative programming over eventually consistent data stores KC Sivaramakrishnan, G Kaki, S Jagannathan ACM SIGPLAN Notices 50 (6), 413-424, 2015 | 127 | 2015 |
| Transactional monitors for concurrent objects A Welc, S Jagannathan, AL Hosking ECOOP 2004–Object-Oriented Programming: 18th European Conference, Oslo …, 2004 | 127 | 2004 |
| Relaxed-memory concurrency and verified compilation J Ŝevčik, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 122 | 2011 |
| Search with probabilistic guarantees in unstructured peer-to-peer networks RA Ferreira, MK Ramanathan, A Awan, A Grama, S Jagannathan Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05), 165-172, 2005 | 115 | 2005 |
| Alchemist: A transparent dependence distance profiling infrastructure X Zhang, A Navabi, S Jagannathan 2009 International Symposium on Code Generation and Optimization, 47-58, 2009 | 111 | 2009 |
| An inductive synthesis framework for verifiable reinforcement learning H Zhu, Z Xiong, S Magill, S Jagannathan Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019 | 107 | 2019 |
| Higher-order distributed objects H Cejtin, S Jagannathan, R Kelsey ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (5), 704-739, 1995 | 107 | 1995 |
| A data-driven CHC solver H Zhu, S Magill, S Jagannathan ACM SIGPLAN Notices 53 (4), 707-721, 2018 | 93 | 2018 |
| Preemptible atomic regions for real-time Java J Manson, J Baker, A Cunei, S Jagannathan, M Prochazka, B Xin, J Vitek 26th IEEE International Real-Time Systems Symposium (RTSS'05), 10 pp.-71, 2005 | 93 | 2005 |
| Analyzing multicore dumps to facilitate concurrency bug reproduction D Weeratunge, X Zhang, S Jagannathan Proceedings of the fifteenth International Conference on Architectural …, 2010 | 89 | 2010 |
