Seguir
Suresh Jagannathan
Suresh Jagannathan
Samuel D. Conte Professor of Computer Science, Purdue University
Dirección de correo verificada de cs.purdue.edu - Página principal
Título
Citado por
Citado por
Año
Neural network control of robot manipulators and non-linear systems
FW Lewis, S Jagannathan, A Yesildirak
CRC press, 1998
23441998
Software architecture for control of highly parallel computer systems
S Jagannathan, JF Philbin
US Patent 5,692,193, 1997
3171997
Improving duplicate elimination in storage systems
DR Bobbarjung, S Jagannathan, C Dubnicki
ACM Transactions on Storage (TOS) 2 (4), 424-448, 2006
2512006
Safe futures for Java
A Welc, S Jagannathan, A Hosking
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
2172005
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
1832013
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
1722002
Transmission of higher-order objects across a network of heterogeneous machines
H Cejtin, S Jagannathan, RA Kelsey
US Patent 5,745,703, 1998
1691998
Static specification inference using predicate mining
MK Ramanathan, A Grama, S Jagannathan
ACM SIGPLAN Notices 42 (6), 123-134, 2007
1602007
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
1591995
Path-sensitive inference of function precedence protocols
MK Ramanathan, A Grama, S Jagannathan
29th International Conference on Software Engineering (ICSE'07), 240-250, 2007
1482007
Declarative programming over eventually consistent data stores
KC Sivaramakrishnan, G Kaki, S Jagannathan
ACM SIGPLAN Notices 50 (6), 413-424, 2015
1312015
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
1252011
Transactional monitors for concurrent objects
A Welc, S Jagannathan, AL Hosking
ECOOP 2004–Object-Oriented Programming: 18th European Conference, Oslo …, 2004
1252004
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
1212019
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
1132005
Alchemist: A transparent dependence distance profiling infrastructure
X Zhang, A Navabi, S Jagannathan
2009 International Symposium on Code Generation and Optimization, 47-58, 2009
1122009
Higher-order distributed objects
H Cejtin, S Jagannathan, R Kelsey
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (5), 704-739, 1995
1071995
A data-driven CHC solver
H Zhu, S Magill, S Jagannathan
ACM SIGPLAN Notices 53 (4), 707-721, 2018
1032018
Analyzing multicore dumps to facilitate concurrency bug reproduction
D Weeratunge, X Zhang, S Jagannathan
Proceedings of the fifteenth International Conference on Architectural …, 2010
932010
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
932005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20