Suresh Jagannathan
Suresh Jagannathan
Professor of Computer Science, Purdue University
Verified email at cs.purdue.edu - Homepage
Title
Cited by
Cited by
Year
Software architecture for control of highly parallel computer systems
S Jagannathan, JF Philbin
US Patent 5,692,193, 1997
3111997
Safe futures for Java
A Welc, S Jagannathan, A Hosking
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
2112005
Improving duplicate elimination in storage systems
DR Bobbarjung, S Jagannathan, C Dubnicki
ACM Transactions on Storage (TOS) 2 (4), 424-448, 2006
2092006
Transmission of higher-order objects across a network of heterogeneous machines
H Cejtin, S Jagannathan, RA Kelsey
US Patent 5,745,703, 1998
1691998
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
1682002
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
1451995
Static specification inference using predicate mining
MK Ramanathan, A Grama, S Jagannathan
ACM SIGPLAN Notices 42 (6), 123-134, 2007
1242007
Path-sensitive inference of function precedence protocols
MK Ramanathan, A Grama, S Jagannathan
29th International Conference on Software Engineering (ICSE'07), 240-250, 2007
1212007
Transactional monitors for concurrent objects
A Welc, S Jagannathan, AL Hosking
European Conference on Object-Oriented Programming, 518-541, 2004
1182004
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
1172013
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
1042005
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
992011
Higher-order distributed objects
H Cejtin, S Jagannathan, R Kelsey
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (5), 704-739, 1995
971995
Alchemist: A transparent dependence distance profiling infrastructure
X Zhang, A Navabi, S Jagannathan
2009 International Symposium on Code Generation and Optimization, 47-58, 2009
892009
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
882005
Declarative programming over eventually consistent data stores
KC Sivaramakrishnan, G Kaki, S Jagannathan
ACM SIGPLAN Notices 50 (6), 413-424, 2015
812015
Polymorphic splitting: An effective polyvariant flow analysis
AK Wright, S Jagannathan
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 166-207, 1998
801998
Flow-directed inlining
S Jagannathan, A Wright
ACM SIGPLAN Notices 31 (5), 193-205, 1996
791996
Effective flow analysis for avoiding run-time checks
S Jagannathan, A Wright
International Static Analysis Symposium, 207-224, 1995
781995
Analyzing multicore dumps to facilitate concurrency bug reproduction
D Weeratunge, X Zhang, S Jagannathan
Proceedings of the fifteenth International Conference on Architectural …, 2010
732010
The system can't perform the operation now. Try again later.
Articles 1–20