Suresh Jagannathan

	2012
98		Matko Botincan, Mike Dodds, Suresh Jagannathan: Resource-sensitive synchronization inference by abduction. POPL 2012: 309-322
97		Armand Navabi, Xiangyu Zhang, Suresh Jagannathan: Dependence analysis for safe futures. Sci. Comput. Program. 77(6): 707-726 (2012)
	2011
96		Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan: Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA 2011: 19-34
95		Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan: Composable asynchronous events. PLDI 2011: 628-639
94		Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson: Modular reasoning for deterministic parallelism. POPL 2011: 259-270
93		Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell: Relaxed-memory concurrency and verified compilation. POPL 2011: 43-54
92		Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan: Isolating Determinism in Multi-threaded Programs. RV 2011: 63-77
91		Suresh Jagannathan, Jeevan Eranti: High Quality of Service on Video Streaming in P2P Networks using FST-MDC CoRR abs/1105.5641: (2011)
	2010
90		Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan: Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS 2010: 155-166
89		Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama: Asynchronous Algorithms in MapReduce. CLUSTER 2010: 245-254
88		K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan: Lightweight asynchrony using parasitic threads. DAMP 2010: 63-72
87		Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan: Analyzing concurrency bugs using dual slicing. ISSTA 2010: 253-264
86		Nicholas Kidd, Suresh Jagannathan, Jan Vitek: One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN 2010: 245-261
85		Lukasz Ziarek, Suresh Jagannathan: Lightweight checkpointing for concurrent ML. J. Funct. Program. 20(2): 137-173 (2010)
	2009
84		Xiangyu Zhang, Armand Navabi, Suresh Jagannathan: Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO 2009: 47-58
83		Armand Navabi, Suresh Jagannathan: Exceptionally Safe Futures. COORDINATION 2009: 47-65
82		Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar: Speculative N-Way barriers. DAMP 2009: 1-12
81		Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan: Partial memoization of concurrency and communication. ICFP 2009: 161-172
80		Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan: Semantics-aware trace analysis. PLDI 2009: 453-464
79		Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama: Efficient tag detection in RFID systems. J. Parallel Distrib. Comput. 69(2): 180-196 (2009)
	2008
78		Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan: A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154
77		Asad Awan, Suresh Jagannathan, Ananth Grama: Scalable Data Collection in Sensor Networks. HiPC 2008: 415-426
76		Armand Navabi, Xiangyu Zhang, Suresh Jagannathan: Quasi-static scheduling for safe futures. PPOPP 2008: 23-32
75		Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan: PHALANX: a graph-theoretic framework for test case prioritization. SAC 2008: 667-673
74		Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan: Protocol Inference Using Static Path Profiles. SAS 2008: 78-92
73		Shuo-Huan Hsu, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, Venkat Venkatasubramanian: A domain-specific compiler theory based framework for automated reaction network generation. Computers & Chemical Engineering 32(10): 2455-2470 (2008)
72		Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan: Flattening tuples in an SSA intermediate representation. Higher-Order and Symbolic Computation 21(3): 333-358 (2008)
71		Ronaldo A. Ferreira, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama: Semantic indexing in structured peer-to-peer networks. J. Parallel Distrib. Comput. 68(1): 64-77 (2008)
	2007
70		Asad Awan, Suresh Jagannathan, Ananth Grama: Macroprogramming heterogeneous sensor networks using cosmos. EuroSys 2007: 159-172
69		Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Path-Sensitive Inference of Function Precedence Protocols. ICSE 2007: 240-250
68		Suresh Jagannathan: Weaving Atomicity Through Dynamic Dependence Tracking. IPDPS 2007: 1-7
67		Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama: Building Verifiable Sensing Applications Through Temporal Logic Specification. International Conference on Computational Science (1) 2007: 1205-1212
66		Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Static specification inference using predicate mining. PLDI 2007: 123-134
65		Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan: Aspect-Based Introspection and Change Analysis for Evolving Programs. RAM-SE 2007: 59-70
64		Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski: Randomized leader election. Distributed Computing 19(5-6): 403-418 (2007)
63		Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Modular Checkpointing for Atomicity. Electr. Notes Theor. Comput. Sci. 174(9): 85-115 (2007)
62		Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. IEEE Trans. Parallel Distrib. Syst. 18(5): 686-696 (2007)
	2006
61		Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Sieve: A Tool for Automatically Detecting Variations Across Program Versions. ASE 2006: 241-252
60		Adam Welc, Antony L. Hosking, Suresh Jagannathan: Transparently Reconciling Transactions with Locking for Java Synchronization. ECOOP 2006: 148-173
59		Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama: Trace-Based Memory Aliasing Across Program Versions. FASE 2006: 381-395
58		Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks. HICSS 2006
57		Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147
56		Jeremy Manson, Jan Vitek, Suresh Jagannathan: Dynamic aspects for runtime fault determination and recovery. IPDPS 2006
55		Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan: Query Protocols for Highly Resilient Peer-to-Peer Networks. ISCA PDCS 2006: 247-252
54		Adam Welc, Suresh Jagannathan, Antony L. Hosking: Revocation techniques for Java concurrency. Concurrency and Computation: Practice and Experience 18(12): 1613-1656 (2006)
53		V. Krishna Nandivada, Suresh Jagannathan: Dynamic state restoration using versioning exceptions. Higher-Order and Symbolic Computation 19(1): 101-124 (2006)
52		Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Locality in structured peer-to-peer networks. J. Parallel Distrib. Comput. 66(2): 257-273 (2006)
51		Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Unstructured peer-to-peer networks for sharing processor cycles. Parallel Computing 32(2): 115-135 (2006)
50		Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki: Improving duplicate elimination in storage systems. TOS 2(4): 424-448 (2006)
	2005
49		Adam Welc, Suresh Jagannathan, Antony L. Hosking: Safe futures for Java. OOPSLA 2005: 439-453
48		Ronaldo A. Ferreira, Murali Krishna Ramanathan, Asad Awan, Ananth Grama, Suresh Jagannathan: Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks. Peer-to-Peer Computing 2005: 165-172
47		Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. Peer-to-Peer Computing 2005: 201-208
46		Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek: Preemptible Atomic Regions for Real-Time Java. RTSS 2005: 62-71
45		Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li: VI-Attached Database Storage. IEEE Trans. Parallel Distrib. Syst. 16(1): 35-50 (2005)
44		Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking: A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005)
	2004
43		Suresh Jagannathan, Jan Vitek: Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198
42		Adam Welc, Suresh Jagannathan, Antony L. Hosking: Transactional Monitors for Concurrent Objects. ECOOP 2004: 519-542
41		Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking: A Semantic Framework for Designer Transactions. ESOP 2004: 249-263
40		Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan: Plethora: An EfficientWide-Area Storage System. HiPC 2004: 252-261
39		Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Enhancing Locality in Structured Peer-to-Peer Networks. ICPADS 2004: 25-
38		Adam Welc, Antony L. Hosking, Suresh Jagannathan: Preemption-Based Avoidance of Priority Inversion for Java. ICPP 2004: 529-538
	2002
37		Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin: Experiences with VI Communication for Database Storage. ISCA 2002: 257-
	2000
36		Henry Cejtin, Suresh Jagannathan, Stephen Weeks: Flow-Directed Closure Conversion for Typed Languages. ESOP 2000: 56-71
35		Cristian Ungureanu, Suresh Jagannathan: Concurrency Analysis for Java. SAS 2000: 413-432
34		Suresh Jagannathan: Continuation-based transformations for coordination languages. Theor. Comput. Sci. 240(1): 117-146 (2000)
	1999
33		Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin: Mobile and Distributed Agents in Mobidget. ASA/MA 1999: 276-292
32		Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu: Transparent Communication for Distributed Objects in Java. Java Grande 1999: 160-170
	1998
31		Suresh Jagannathan, Richard Kelsey: On the Interaction between Mobile Processes and Objects. Heterogeneous Computing Workshop 1998: 163-170
30		Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341
29		Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann: Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. Types in Compilation 1998: 9-27
28		Andrew K. Wright, Suresh Jagannathan: Polymorphic Splitting: An Effective Polyvariant Flow Analysis. ACM Trans. Program. Lang. Syst. 20(1): 166-207 (1998)
	1997
27		Suresh Jagannathan: Communication-Passing Style for Coordination Languages. COORDINATION 1997: 131-149
26		Suresh Jagannathan, Stephen Weeks, Andrew K. Wright: Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249
	1996
25		Suresh Jagannathan, Andrew K. Wright: Flow-directed Inlining. PLDI 1996: 193-205
24		Elisabeth Freeman, David Gelernter, Suresh Jagannathan: Uniformity of Environment and Computation in MAP. VL 1996: 130-137
23		Suresh Jagannathan, Andrew K. Wright: Compiling Functional Languages with Flow Analysis. ACM Comput. Surv. 28(2): 337-339 (1996)
	1995
22		James Philbin, Suresh Jagannathan, Rajiv Mirani: Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages. LCPC 1995: 450-464
21		Suresh Jagannathan, Stephen Weeks: A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL 1995: 393-407
20		Suresh Jagannathan, Andrew K. Wright: Effective Flow Analysis for Avoiding Run-Time Checks SAS 1995: 207-224
19		Elisabeth Freeman, David Gelernter, Suresh Jagannathan: In Search of a Simple Visual Vocabulary. VL 1995: 302-309
18		Henry Cejtin, Suresh Jagannathan, Richard Kelsey: Higher-Order Distributed Objects. ACM Trans. Program. Lang. Syst. 17(5): 704-739 (1995)
	1994
17		Suresh Jagannathan: Dynamic Modules in Higher-Order Languages. ICCL 1994: 74-87
16		Suresh Jagannathan, Stephen Weeks: Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming 1994: 294-305
15		Suresh Jagannathan, James Philbin: High-Level Abstractions for Efficient Concurrent Systems. Programming Languages and System Architectures 1994: 171-190
14		Suresh Jagannathan: Locality Abstractions for Parallel and Distributed Computing. Theory and Practice of Parallel Programming 1994: 320-345
13		Suresh Jagannathan: Metalevel Building Blocks for Modular Systems. ACM Trans. Program. Lang. Syst. 16(3): 456-492 (1994)
12		Stephen Weeks, Suresh Jagannathan, James Philbin: A Concurrent Abstract Interpreter. Lisp and Symbolic Computation 7(2-3): 173-193 (1994)
11		Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. Lisp and Symbolic Computation 7(4): 291-314 (1994)
	1992
10		Suresh Jagannathan, Gul Agha: A Reflective Model of Inheritance. ECOOP 1992: 350-371
9		Suresh Jagannathan, James Philbin: A Foundation for an Efficient Multi-Threaded Scheme System. LISP and Functional Programming 1992: 345-357
8		Suresh Jagannathan, James Philbin: A Customizable Substrate for Concurrent Languages. PLDI 1992: 55-67
7		Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. Parallel Symbolic Computing 1992: 260-267
	1991
6		Suresh Jagannathan: Customization of First Class Tuple-Spaces in a Higher-Order Language. PARLE (2) 1991: 254-276
5		Suresh Jagannathan: Expressing Fine-Grained Parallelism Using Concurrent Data Structures. Research Directions in High-Level Parallel Programming Languages 1991: 77-92
	1990
4		David Gelernter, Suresh Jagannathan: Programming linguistics. MIT Press 1990: I-XX, 1-411
3		Suresh Jagannathan: Coercion as a Metaphor for Computatiion. ICCL 1990: 116-127
	1987
2		David Gelernter, Suresh Jagannathan, Thomas London: Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. PLDI 1987: 274-282
1		David Gelernter, Suresh Jagannathan, Thomas London: Environments as First Class Objects. POPL 1987: 98-110

Coauthor Index

1	Umut A. Acar	[82]
2	Ali-Reza Adl-Tabatabai	[78]
3	Gul A. Agha (Gul Agha)	[10]
4	Asad Awan	[48] [51] [58] [67] [70] [77]
5	Jason Baker	[46]
6	Angelos Bilas	[37] [45]
7	Deepak R. Bobbarjung	[50]
8	Matko Botincan	[98]
9	Bogdan Carbunar	[79]
10	Henry Cejtin	[18] [36]
11	Antonio Cunei	[46]
12	Mike Dodds	[94] [98]
13	Cezary Dubnicki	[37] [45] [50]
14	Jeevan Eranti	[91]
15	Patrick Th. Eugster (Patrick Eugster)	[65] [80]
16	Ronaldo A. Ferreira	[39] [40] [47] [48] [51] [52] [58] [62] [64] [71]
17	Matthew Fluet	[82]
18	Elisabeth Freeman (Elisabeth Robson)	[19] [24]
19	Satoru Fujita	[33]
20	David Gelernter	[1] [2] [4] [19] [24]
21	Ananth Grama	[39] [40] [47] [48] [51] [52] [58] [59] [61] [62] [64] [66] [67] [69] [70] [71] [74] [75] [77] [79] [89]
22	Aaron Hertzmann	[29]
23	Michael W. Hicks (Michael Hicks)	[32]
24	Kevin J. Hoffman	[65] [80]
25	Antony L. Hosking	[38] [41] [42] [44] [49] [54] [60]
26	Shuo-Huan Hsu	[73]
27	Karthik Kambatla	[89]
28	Richard Kelsey	[18] [31] [32] [33]
29	Nicholas Kidd	[86]
30	Kazuya Koyama	[33]
31	Mehmet Koyutürk	[71] [75] [79]
32	Balachandra Krishnamurthy	[73]
33	Kai Li	[37] [45]
34	Thomas London	[1] [2]
35	Jeremy Manson	[46] [56]
36	Vijay Menon	[78]
37	Rajiv Mirani	[22]
38	Jonathan T. Moore	[32]
39	V. Krishna Nandivada	[53]
40	Francesco Zappa Nardelli	[93]
41	Armand Navabi	[76] [83] [84] [97]
42	Gopal Pandurangan	[55]
43	Matthew J. Parkinson	[94]
44	James Philbin	[8] [9] [12] [15] [22] [33] [37]
45	Raghavendra Prasad	[88]
46	Marek Prochazka	[46]
47	Murali Krishna Ramanathan	[47] [48] [59] [61] [62] [64] [65] [66] [69] [74] [75] [79]
48	Prathima Rao	[73]
49	Naresh Rapolu	[89]
50	Ahmed H. Sameh	[67]
51	Philip Schatz	[57] [63]
52	Koushik Sen	[74]
53	Jaroslav Sevcík	[93]
54	Peter Sewell	[93]
55	Tatiana Shpeisman	[78]
56	K. C. Sivaramakrishnan	[81] [88] [95]
57	Siriam Srinivasan	[55]
58	William N. Sumner	[87]
59	Wojciech Szpankowski	[64]
60	Peter Thiemann	[30]
61	Siddharth Tiwary	[92]
62	Cristian Ungureanu	[29] [32] [35]
63	Viktor Vafeiadis	[93]
64	Venkat Venkatasubramanian	[73]
65	Jan Vitek	[41] [43] [44] [46] [56] [86]
66	Stephen Weeks	[12] [16] [21] [26] [30] [36] [72]
67	Dasarath Weeratunge	[87] [90] [96]
68	Adam Welc	[38] [41] [42] [44] [49] [54] [60] [78]
69	Andrew K. Wright	[20] [23] [25] [26] [28] [29] [30]
70	Bin Xin	[46]
71	Dimitrios Xinidis	[45]
72	Toru Yamanouchi	[33]
73	Xiangyu Zhang	[76] [84] [87] [90] [96] [97]
74	Chunhua Zhao	[73]
75	Yuanyuan Zhou	[37] [45]
76	Lukasz Ziarek	[57] [63] [72] [78] [81] [82] [85] [88] [92] [95]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page