Suresh Jagannathan

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek: Plan B: a buffered memory model for Java. POPL 2013: 329-342

He Zhu, Suresh Jagannathan: Compositional and Lightweight Dependent Type Inference for ML. VMCAI 2013: 295-314

Armand Navabi, Xiangyu Zhang, Suresh Jagannathan: Dependence analysis for safe futures. Sci. Comput. Program. 77(6): 707-726 (2012)

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan: Eliminating read barriers through procrastination and cleanliness. ISMM 2012: 49-60

Matko Botincan, Mike Dodds, Suresh Jagannathan: Resource-sensitive synchronization inference by abduction. POPL 2012: 309-322

Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan: Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA 2011: 19-34

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan: Composable asynchronous events. PLDI 2011: 628-639

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell: Relaxed-memory concurrency and verified compilation. POPL 2011: 43-54

Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson: Modular reasoning for deterministic parallelism. POPL 2011: 259-270

Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan: Isolating Determinism in Multi-threaded Programs. RV 2011: 63-77

Suresh Jagannathan, Jeevan Eranti: High Quality of Service on Video Streaming in P2P Networks using FST-MDC. CoRR abs/1105.5641 (2011)

Lukasz Ziarek, Suresh Jagannathan: Lightweight checkpointing for concurrent ML. J. Funct. Program. 20(2): 137-173 (2010)

Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan: Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS 2010: 155-166

Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama: Asynchronous Algorithms in MapReduce. CLUSTER 2010: 245-254

Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan: Analyzing concurrency bugs using dual slicing. ISSTA 2010: 253-264

K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan: Lightweight asynchrony using parasitic threads. DAMP 2010: 63-72

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

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)

Xiangyu Zhang, Armand Navabi, Suresh Jagannathan: Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO 2009: 47-58

Armand Navabi, Suresh Jagannathan: Exceptionally Safe Futures. COORDINATION 2009: 47-65

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan: Partial memoization of concurrency and communication. ICFP 2009: 161-172

Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan: Semantics-aware trace analysis. PLDI 2009: 453-464

Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar: Speculative N-Way barriers. DAMP 2009: 1-12

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)

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)

Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan: Flattening tuples in an SSA intermediate representation. Higher-Order and Symbolic Computation 21(3): 333-358 (2008)

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

Asad Awan, Suresh Jagannathan, Ananth Grama: Scalable Data Collection in Sensor Networks. HiPC 2008: 415-426

Armand Navabi, Xiangyu Zhang, Suresh Jagannathan: Quasi-static scheduling for safe futures. PPOPP 2008: 23-32

Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan: PHALANX: a graph-theoretic framework for test case prioritization. SAC 2008: 667-673

Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan: Protocol Inference Using Static Path Profiles. SAS 2008: 78-92

Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski: Randomized leader election. Distributed Computing 19(5-6): 403-418 (2007)

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Modular Checkpointing for Atomicity. Electr. Notes Theor. Comput. Sci. 174(9): 85-115 (2007)

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)

Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan: Aspect-Based Introspection and Change Analysis for Evolving Programs. RAM-SE 2007: 59-70

Asad Awan, Suresh Jagannathan, Ananth Grama: Macroprogramming heterogeneous sensor networks using cosmos. EuroSys 2007: 159-172

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

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Path-Sensitive Inference of Function Precedence Protocols. ICSE 2007: 240-250

Suresh Jagannathan: Weaving Atomicity Through Dynamic Dependence Tracking. IPDPS 2007: 1-7

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Static specification inference using predicate mining. PLDI 2007: 123-134

Adam Welc, Suresh Jagannathan, Antony L. Hosking: Revocation techniques for Java concurrency. Concurrency and Computation: Practice and Experience 18(12): 1613-1656 (2006)

Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Locality in structured peer-to-peer networks. J. Parallel Distrib. Comput. 66(2): 257-273 (2006)

V. Krishna Nandivada, Suresh Jagannathan: Dynamic state restoration using versioning exceptions. Higher-Order and Symbolic Computation 19(1): 101-124 (2006)

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)

Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki: Improving duplicate elimination in storage systems. TOS 2(4): 424-448 (2006)

Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan: Query Protocols for Highly Resilient Peer-to-Peer Networks. ISCA PDCS 2006: 247-252

Adam Welc, Antony L. Hosking, Suresh Jagannathan: Transparently Reconciling Transactions with Locking for Java Synchronization. ECOOP 2006: 148-173

Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama: Trace-Based Memory Aliasing Across Program Versions. FASE 2006: 381-395

Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks. HICSS 2006

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147

Jeremy Manson, Jan Vitek, Suresh Jagannathan: Dynamic aspects for runtime fault determination and recovery. IPDPS 2006

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Sieve: A Tool for Automatically Detecting Variations Across Program Versions. ASE 2006: 241-252

Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking: A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005)

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)

Adam Welc, Suresh Jagannathan, Antony L. Hosking: Safe futures for Java. OOPSLA 2005: 439-453

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

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

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

Suresh Jagannathan, Jan Vitek: Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198

Adam Welc, Suresh Jagannathan, Antony L. Hosking: Transactional Monitors for Concurrent Objects. ECOOP 2004: 519-542

Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking: A Semantic Framework for Designer Transactions. ESOP 2004: 249-263

Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan: Plethora: An EfficientWide-Area Storage System. HiPC 2004: 252-261

Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama: Enhancing Locality in Structured Peer-to-Peer Networks. ICPADS 2004: 25-

Adam Welc, Antony L. Hosking, Suresh Jagannathan: Preemption-Based Avoidance of Priority Inversion for Java. ICPP 2004: 529-538

Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan: An IP address based caching scheme for peer-to-peer networks. GLOBECOM 2003: 3845-3850

Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin: Experiences with VI Communication for Database Storage. ISCA 2002: 257-

Suresh Jagannathan: Continuation-based transformations for coordination languages. Theor. Comput. Sci. 240(1): 117-146 (2000)

Henry Cejtin, Suresh Jagannathan, Stephen Weeks: Flow-Directed Closure Conversion for Typed Languages. ESOP 2000: 56-71

Cristian Ungureanu, Suresh Jagannathan: Concurrency Analysis for Java. SAS 2000: 413-432

Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu: Transparent Communication for Distributed Objects in Java. Java Grande 1999: 160-170

Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin: Mobile and Distributed Agents in Mobidget. ASA/MA 1999: 276-292

Andrew K. Wright, Suresh Jagannathan: Polymorphic Splitting: An Effective Polyvariant Flow Analysis. ACM Trans. Program. Lang. Syst. 20(1): 166-207 (1998)

Suresh Jagannathan, Richard Kelsey: On the Interaction between Mobile Processes and Objects. Heterogeneous Computing Workshop 1998: 163-170

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341

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

Suresh Jagannathan: Communication-Passing Style for Coordination Languages. COORDINATION 1997: 131-149

Suresh Jagannathan, Stephen Weeks, Andrew K. Wright: Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249

Suresh Jagannathan, Andrew K. Wright: Compiling Functional Languages with Flow Analysis. ACM Comput. Surv. 28(2): 337-339 (1996)

Suresh Jagannathan, Andrew K. Wright: Flow-directed Inlining. PLDI 1996: 193-205

Elisabeth Freeman, David Gelernter, Suresh Jagannathan: Uniformity of Environment and Computation in MAP. VL 1996: 130-137

Henry Cejtin, Suresh Jagannathan, Richard Kelsey: Higher-Order Distributed Objects. ACM Trans. Program. Lang. Syst. 17(5): 704-739 (1995)

James Philbin, Suresh Jagannathan, Rajiv Mirani: Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages. LCPC 1995: 450-464

Suresh Jagannathan, Stephen Weeks: A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL 1995: 393-407

Suresh Jagannathan, Andrew K. Wright: Effective Flow Analysis for Avoiding Run-Time Checks. SAS 1995: 207-224

Elisabeth Freeman, David Gelernter, Suresh Jagannathan: In Search of a Simple Visual Vocabulary. VL 1995: 302-309

Stephen Weeks, Suresh Jagannathan, James Philbin: A Concurrent Abstract Interpreter. Lisp and Symbolic Computation 7(2-3): 173-193 (1994)

Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. Lisp and Symbolic Computation 7(4): 291-314 (1994)

Suresh Jagannathan: Metalevel Building Blocks for Modular Systems. ACM Trans. Program. Lang. Syst. 16(3): 456-492 (1994)

Suresh Jagannathan: Dynamic Modules in Higher-Order Languages. ICCL 1994: 74-87

Suresh Jagannathan, Stephen Weeks: Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming 1994: 294-305

Suresh Jagannathan, James Philbin: High-Level Abstractions for Efficient Concurrent Systems. Programming Languages and System Architectures 1994: 171-190

Suresh Jagannathan: Locality Abstractions for Parallel and Distributed Computing. Theory and Practice of Parallel Programming 1994: 320-345

Suresh Jagannathan, Gul Agha: A Reflective Model of Inheritance. ECOOP 1992: 350-371

Suresh Jagannathan, James Philbin: A Foundation for an Efficient Multi-Threaded Scheme System. LISP and Functional Programming 1992: 345-357

Suresh Jagannathan, James Philbin: A Customizable Substrate for Concurrent Languages. PLDI 1992: 55-67

Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. Parallel Symbolic Computing 1992: 260-267

Suresh Jagannathan: Expressing Fine-Grained Parallelism Using Concurrent Data Structures. Research Directions in High-Level Parallel Programming Languages 1991: 77-92

Suresh Jagannathan: Customization of First Class Tuple-Spaces in a Higher-Order Language. PARLE (2) 1991: 254-276

David Gelernter, Suresh Jagannathan: Programming linguistics. MIT Press 1990, isbn 978-0-262-07127-7, pp. I-XX, 1-411

Suresh Jagannathan: Coercion as a Metaphor for Computatiion. ICCL 1990: 116-127

David Gelernter, Suresh Jagannathan, Thomas London: Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. PLDI 1987: 274-282

David Gelernter, Suresh Jagannathan, Thomas London: Environments as First Class Objects. POPL 1987: 98-110