 | 2009 |
|---|
| 79 |       | Armand Navabi,
Suresh Jagannathan:
Exceptionally Safe Futures.
COORDINATION 2009: 47-65 |
| 78 | | Lukasz Ziarek,
K. C. Sivaramakrishnan,
Suresh Jagannathan:
Partial memoization of concurrency and communication.
ICFP 2009: 161-172 |
| 77 | | Kevin J. Hoffman,
Patrick Eugster,
Suresh Jagannathan:
Semantics-aware trace analysis.
PLDI 2009: 453-464 |
| 76 | | 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 |
|---|
| 75 | | 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 |
| 74 | | Asad Awan,
Suresh Jagannathan,
Ananth Grama:
Scalable Data Collection in Sensor Networks.
HiPC 2008: 415-426 |
| 73 | | Armand Navabi,
Xiangyu Zhang,
Suresh Jagannathan:
Quasi-static scheduling for safe futures.
PPOPP 2008: 23-32 |
| 72 | | Murali Krishna Ramanathan,
Mehmet Koyutürk,
Ananth Grama,
Suresh Jagannathan:
PHALANX: a graph-theoretic framework for test case prioritization.
SAC 2008: 667-673 |
| 71 | | Murali Krishna Ramanathan,
Koushik Sen,
Ananth Grama,
Suresh Jagannathan:
Protocol Inference Using Static Path Profiles.
SAS 2008: 78-92 |
| 70 | | 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) |
| 69 | | 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 |
|---|
| 68 | | Asad Awan,
Suresh Jagannathan,
Ananth Grama:
Macroprogramming heterogeneous sensor networks using cosmos.
EuroSys 2007: 159-172 |
| 67 | | Murali Krishna Ramanathan,
Ananth Grama,
Suresh Jagannathan:
Path-Sensitive Inference of Function Precedence Protocols.
ICSE 2007: 240-250 |
| 66 | | 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 |
| 65 | | Murali Krishna Ramanathan,
Ananth Grama,
Suresh Jagannathan:
Static specification inference using predicate mining.
PLDI 2007: 123-134 |
| 64 |  | Kevin J. Hoffman,
Murali Krishna Ramanathan,
Patrick Eugster,
Suresh Jagannathan:
Aspect-Based Introspection and Change Analysis for Evolving Programs.
RAM-SE 2007: 59-70 |
| 63 | | Murali Krishna Ramanathan,
Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama,
Wojciech Szpankowski:
Randomized leader election.
Distributed Computing 19(5-6): 403-418 (2007) |
| 62 | | Lukasz Ziarek,
Philip Schatz,
Suresh Jagannathan:
Modular Checkpointing for Atomicity.
Electr. Notes Theor. Comput. Sci. 174(9): 85-115 (2007) |
| 61 | | 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 |
|---|
| 60 | | Murali Krishna Ramanathan,
Ananth Grama,
Suresh Jagannathan:
Sieve: A Tool for Automatically Detecting Variations Across Program Versions.
ASE 2006: 241-252 |
| 59 | | Adam Welc,
Antony L. Hosking,
Suresh Jagannathan:
Transparently Reconciling Transactions with Locking for Java Synchronization.
ECOOP 2006: 148-173 |
| 58 | | Murali Krishna Ramanathan,
Suresh Jagannathan,
Ananth Grama:
Trace-Based Memory Aliasing Across Program Versions.
FASE 2006: 381-395 |
| 57 | | Asad Awan,
Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama:
Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks.
HICSS 2006 |
| 56 | | Lukasz Ziarek,
Philip Schatz,
Suresh Jagannathan:
Stabilizers: a modular checkpointing abstraction for concurrent functional programs.
ICFP 2006: 136-147 |
| 55 | | Jeremy Manson,
Jan Vitek,
Suresh Jagannathan:
Dynamic aspects for runtime fault determination and recovery.
IPDPS 2006 |
| 54 | | Suresh Jagannathan,
Gopal Pandurangan,
Siriam Srinivasan:
Query Protocols for Highly Resilient Peer-to-Peer Networks.
ISCA PDCS 2006: 247-252 |
| 53 | | Adam Welc,
Suresh Jagannathan,
Antony L. Hosking:
Revocation techniques for Java concurrency.
Concurrency and Computation: Practice and Experience 18(12): 1613-1656 (2006) |
| 52 | | V. Krishna Nandivada,
Suresh Jagannathan:
Dynamic state restoration using versioning exceptions.
Higher-Order and Symbolic Computation 19(1): 101-124 (2006) |
| 51 | | Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama:
Locality in structured peer-to-peer networks.
J. Parallel Distrib. Comput. 66(2): 257-273 (2006) |
| 50 | | 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) |
| 49 | | Deepak R. Bobbarjung,
Suresh Jagannathan,
Cezary Dubnicki:
Improving duplicate elimination in storage systems.
TOS 2(4): 424-448 (2006) |
| 2005 |
|---|
| 48 | | Adam Welc,
Suresh Jagannathan,
Antony L. Hosking:
Safe futures for Java.
OOPSLA 2005: 439-453 |
| 47 | | 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 |
| 46 | | 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 |
| 45 | | 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 |
| 44 | | 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) |
| 43 | | Suresh Jagannathan,
Jan Vitek,
Adam Welc,
Antony L. Hosking:
A transactional object calculus.
Sci. Comput. Program. 57(2): 164-186 (2005) |
| 2004 |
|---|
| 42 | | Suresh Jagannathan,
Jan Vitek:
Optimistic Concurrency Semantics for Transactions in Coordination Languages.
COORDINATION 2004: 183-198 |
| 41 | | Adam Welc,
Suresh Jagannathan,
Antony L. Hosking:
Transactional Monitors for Concurrent Objects.
ECOOP 2004: 519-542 |
| 40 | | Jan Vitek,
Suresh Jagannathan,
Adam Welc,
Antony L. Hosking:
A Semantic Framework for Designer Transactions.
ESOP 2004: 249-263 |
| 39 | | Ronaldo A. Ferreira,
Ananth Grama,
Suresh Jagannathan:
Plethora: An EfficientWide-Area Storage System.
HiPC 2004: 252-261 |
| 38 | | Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama:
Enhancing Locality in Structured Peer-to-Peer Networks.
ICPADS 2004: 25- |
| 37 | | Adam Welc,
Antony L. Hosking,
Suresh Jagannathan:
Preemption-Based Avoidance of Priority Inversion for Java.
ICPP 2004: 529-538 |
| 2002 |
|---|
| 36 | | Yuanyuan Zhou,
Kai Li,
Angelos Bilas,
Suresh Jagannathan,
Cezary Dubnicki,
James Philbin:
Experiences with VI Communication for Database Storage.
ISCA 2002: 257- |
| 2000 |
|---|
| 35 | | Henry Cejtin,
Suresh Jagannathan,
Stephen Weeks:
Flow-Directed Closure Conversion for Typed Languages.
ESOP 2000: 56-71 |
| 34 | | Cristian Ungureanu,
Suresh Jagannathan:
Concurrency Analysis for Java.
SAS 2000: 413-432 |
| 33 | | Suresh Jagannathan:
Continuation-based transformations for coordination languages.
Theor. Comput. Sci. 240(1): 117-146 (2000) |
| 1999 |
|---|
| 32 | | Satoru Fujita,
Kazuya Koyama,
Toru Yamanouchi,
Suresh Jagannathan,
Richard Kelsey,
James Philbin:
Mobile and Distributed Agents in Mobidget.
ASA/MA 1999: 276-292 |
| 31 | | 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 |
|---|
| 30 | | Suresh Jagannathan,
Richard Kelsey:
On the Interaction between Mobile Processes and Objects.
Heterogeneous Computing Workshop 1998: 163-170 |
| 29 | | Suresh Jagannathan,
Peter Thiemann,
Stephen Weeks,
Andrew K. Wright:
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
POPL 1998: 329-341 |
| 28 | | 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 |
| 27 | | Andrew K. Wright,
Suresh Jagannathan:
Polymorphic Splitting: An Effective Polyvariant Flow Analysis.
ACM Trans. Program. Lang. Syst. 20(1): 166-207 (1998) |
| 1997 |
|---|
| 26 | | Suresh Jagannathan:
Communication-Passing Style for Coordination Languages.
COORDINATION 1997: 131-149 |
| 25 | | Suresh Jagannathan,
Stephen Weeks,
Andrew K. Wright:
Type-Directed Flow Analysis for Typed Intermediate Languages.
SAS 1997: 232-249 |
| 1996 |
|---|
| 24 | | Suresh Jagannathan,
Andrew K. Wright:
Flow-directed Inlining.
PLDI 1996: 193-205 |
| 23 | | Elisabeth Freeman,
David Gelernter,
Suresh Jagannathan:
Uniformity of Environment and Computation in MAP.
VL 1996: 130-137 |
| 22 | | Suresh Jagannathan,
Andrew K. Wright:
Compiling Functional Languages with Flow Analysis.
ACM Comput. Surv. 28(2): 337-339 (1996) |
| 1995 |
|---|
| 21 | | James Philbin,
Suresh Jagannathan,
Rajiv Mirani:
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages.
LCPC 1995: 450-464 |
| 20 | | Suresh Jagannathan,
Stephen Weeks:
A Unified Treatment of Flow Analysis in Higher-Order Languages.
POPL 1995: 393-407 |
| 19 | | Suresh Jagannathan,
Andrew K. Wright:
Effective Flow Analysis for Avoiding Run-Time Checks
SAS 1995: 207-224 |
| 18 | | Elisabeth Freeman,
David Gelernter,
Suresh Jagannathan:
In Search of a Simple Visual Vocabulary.
VL 1995: 302-309 |
| 17 | | Henry Cejtin,
Suresh Jagannathan,
Richard Kelsey:
Higher-Order Distributed Objects.
ACM Trans. Program. Lang. Syst. 17(5): 704-739 (1995) |
| 1994 |
|---|
| 16 | | Suresh Jagannathan:
Dynamic Modules in Higher-Order Languages.
ICCL 1994: 74-87 |
| 15 | | Suresh Jagannathan,
Stephen Weeks:
Analyzing Stores and References in a Parallel Symbolic Language.
LISP and Functional Programming 1994: 294-305 |
| 14 | | Suresh Jagannathan,
James Philbin:
High-Level Abstractions for Efficient Concurrent Systems.
Programming Languages and System Architectures 1994: 171-190 |
| 13 | | Suresh Jagannathan:
Locality Abstractions for Parallel and Distributed Computing.
Theory and Practice of Parallel Programming 1994: 320-345 |
| 12 | | Suresh Jagannathan:
Metalevel Building Blocks for Modular Systems.
ACM Trans. Program. Lang. Syst. 16(3): 456-492 (1994) |
| 11 | | Stephen Weeks,
Suresh Jagannathan,
James Philbin:
A Concurrent Abstract Interpreter.
Lisp and Symbolic Computation 7(2-3): 173-193 (1994) |
| 10 | | Suresh Jagannathan:
TS/Scheme: Distributed Data Structures in Lisp.
Lisp and Symbolic Computation 7(4): 291-314 (1994) |
| 1992 |
|---|
| 9 | | Suresh Jagannathan,
Gul Agha:
A Reflective Model of Inheritance.
ECOOP 1992: 350-371 |
| 8 | | Suresh Jagannathan,
James Philbin:
A Foundation for an Efficient Multi-Threaded Scheme System.
LISP and Functional Programming 1992: 345-357 |
| 7 | | Suresh Jagannathan,
James Philbin:
A Customizable Substrate for Concurrent Languages.
PLDI 1992: 55-67 |
| 6 | | Suresh Jagannathan:
TS/Scheme: Distributed Data Structures in Lisp.
Parallel Symbolic Computing 1992: 260-267 |
| 1991 |
|---|
| 5 | | Suresh Jagannathan:
Customization of First Class Tuple-Spaces in a Higher-Order Language.
PARLE (2) 1991: 254-276 |
| 4 | | Suresh Jagannathan:
Expressing Fine-Grained Parallelism Using Concurrent Data Structures.
Research Directions in High-Level Parallel Programming Languages 1991: 77-92 |
| 1990 |
|---|
| 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 |
