Suresh Jagannathan
Suresh Jagannathan
Samuel D. Conte Professor of Computer Science, Purdue University
Verified email at - Homepage
Cited by
Cited by
Neural network control of robot manipulators and non-linear systems
FW Lewis, S Jagannathan, A Yesildirak
CRC press, 1998
Software architecture for control of highly parallel computer systems
S Jagannathan, JF Philbin
US Patent 5,692,193, 1997
Improving duplicate elimination in storage systems
DR Bobbarjung, S Jagannathan, C Dubnicki
ACM Transactions on Storage (TOS) 2 (4), 424-448, 2006
Safe futures for Java
A Welc, S Jagannathan, A Hosking
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 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
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
Transmission of higher-order objects across a network of heterogeneous machines
H Cejtin, S Jagannathan, RA Kelsey
US Patent 5,745,703, 1998
Static specification inference using predicate mining
MK Ramanathan, A Grama, S Jagannathan
ACM SIGPLAN Notices 42 (6), 123-134, 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
Path-sensitive inference of function precedence protocols
MK Ramanathan, A Grama, S Jagannathan
29th International Conference on Software Engineering (ICSE'07), 240-250, 2007
Declarative programming over eventually consistent data stores
KC Sivaramakrishnan, G Kaki, S Jagannathan
ACM SIGPLAN Notices 50 (6), 413-424, 2015
Transactional monitors for concurrent objects
A Welc, S Jagannathan, AL Hosking
ECOOP 2004–Object-Oriented Programming: 18th European Conference, Oslo …, 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
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
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
Alchemist: A transparent dependence distance profiling infrastructure
X Zhang, A Navabi, S Jagannathan
2009 International Symposium on Code Generation and Optimization, 47-58, 2009
Higher-order distributed objects
H Cejtin, S Jagannathan, R Kelsey
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (5), 704-739, 1995
A data-driven CHC solver
H Zhu, S Magill, S Jagannathan
ACM SIGPLAN Notices 53 (4), 707-721, 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
Analyzing multicore dumps to facilitate concurrency bug reproduction
D Weeratunge, X Zhang, S Jagannathan
Proceedings of the fifteenth International Conference on Architectural …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20