Neural network control of robot manipulators and non-linear systems FW Lewis, S Jagannathan, A Yesildirak CRC press, 1998 | 2344 | 1998 |
Software architecture for control of highly parallel computer systems S Jagannathan, JF Philbin US Patent 5,692,193, 1997 | 317 | 1997 |
Improving duplicate elimination in storage systems DR Bobbarjung, S Jagannathan, C Dubnicki ACM Transactions on Storage (TOS) 2 (4), 424-448, 2006 | 251 | 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 |
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 | 183 | 2013 |
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 |
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 | 160 | 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 | 159 | 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 | 148 | 2007 |
Declarative programming over eventually consistent data stores KC Sivaramakrishnan, G Kaki, S Jagannathan ACM SIGPLAN Notices 50 (6), 413-424, 2015 | 131 | 2015 |
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 | 125 | 2011 |
Transactional monitors for concurrent objects A Welc, S Jagannathan, AL Hosking ECOOP 2004–Object-Oriented Programming: 18th European Conference, Oslo …, 2004 | 125 | 2004 |
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 | 121 | 2019 |
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 | 113 | 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 | 112 | 2009 |
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 | 103 | 2018 |
Analyzing multicore dumps to facilitate concurrency bug reproduction D Weeratunge, X Zhang, S Jagannathan Proceedings of the fifteenth International Conference on Architectural …, 2010 | 93 | 2010 |
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 |