2009 |
75 | EE | 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 |
74 | EE | 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 |
73 | EE | Asad Awan,
Suresh Jagannathan,
Ananth Grama:
Scalable Data Collection in Sensor Networks.
HiPC 2008: 415-426 |
72 | EE | Armand Navabi,
Xiangyu Zhang,
Suresh Jagannathan:
Quasi-static scheduling for safe futures.
PPOPP 2008: 23-32 |
71 | EE | Murali Krishna Ramanathan,
Mehmet Koyutürk,
Ananth Grama,
Suresh Jagannathan:
PHALANX: a graph-theoretic framework for test case prioritization.
SAC 2008: 667-673 |
70 | EE | Murali Krishna Ramanathan,
Koushik Sen,
Ananth Grama,
Suresh Jagannathan:
Protocol Inference Using Static Path Profiles.
SAS 2008: 78-92 |
69 | EE | 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 | EE | Asad Awan,
Suresh Jagannathan,
Ananth Grama:
Macroprogramming heterogeneous sensor networks using cosmos.
EuroSys 2007: 159-172 |
67 | EE | Murali Krishna Ramanathan,
Ananth Grama,
Suresh Jagannathan:
Path-Sensitive Inference of Function Precedence Protocols.
ICSE 2007: 240-250 |
66 | EE | 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 | EE | Murali Krishna Ramanathan,
Ananth Grama,
Suresh Jagannathan:
Static specification inference using predicate mining.
PLDI 2007: 123-134 |
64 | | Kevin Hoffman,
Murali Krishna Ramanathan,
Patrick Eugster,
Suresh Jagannathan:
Aspect-Based Introspection and Change Analysis for Evolving Programs.
RAM-SE 2007: 59-70 |
63 | EE | Murali Krishna Ramanathan,
Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama,
Wojciech Szpankowski:
Randomized leader election.
Distributed Computing 19(5-6): 403-418 (2007) |
62 | EE | 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 | EE | Murali Krishna Ramanathan,
Ananth Grama,
Suresh Jagannathan:
Sieve: A Tool for Automatically Detecting Variations Across Program Versions.
ASE 2006: 241-252 |
59 | EE | Adam Welc,
Antony L. Hosking,
Suresh Jagannathan:
Transparently Reconciling Transactions with Locking for Java Synchronization.
ECOOP 2006: 148-173 |
58 | EE | Murali Krishna Ramanathan,
Suresh Jagannathan,
Ananth Grama:
Trace-Based Memory Aliasing Across Program Versions.
FASE 2006: 381-395 |
57 | EE | Asad Awan,
Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama:
Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks.
HICSS 2006 |
56 | EE | Lukasz Ziarek,
Philip Schatz,
Suresh Jagannathan:
Stabilizers: a modular checkpointing abstraction for concurrent functional programs.
ICFP 2006: 136-147 |
55 | EE | 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 | EE | Adam Welc,
Suresh Jagannathan,
Antony L. Hosking:
Revocation techniques for Java concurrency.
Concurrency and Computation: Practice and Experience 18(12): 1613-1656 (2006) |
52 | EE | V. Krishna Nandivada,
Suresh Jagannathan:
Dynamic state restoration using versioning exceptions.
Higher-Order and Symbolic Computation 19(1): 101-124 (2006) |
51 | EE | Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama:
Locality in structured peer-to-peer networks.
J. Parallel Distrib. Comput. 66(2): 257-273 (2006) |
50 | EE | 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 | EE | Deepak R. Bobbarjung,
Suresh Jagannathan,
Cezary Dubnicki:
Improving duplicate elimination in storage systems.
TOS 2(4): 424-448 (2006) |
2005 |
48 | EE | Adam Welc,
Suresh Jagannathan,
Antony L. Hosking:
Safe futures for Java.
OOPSLA 2005: 439-453 |
47 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Suresh Jagannathan,
Jan Vitek,
Adam Welc,
Antony L. Hosking:
A transactional object calculus.
Sci. Comput. Program. 57(2): 164-186 (2005) |
2004 |
42 | EE | Suresh Jagannathan,
Jan Vitek:
Optimistic Concurrency Semantics for Transactions in Coordination Languages.
COORDINATION 2004: 183-198 |
41 | EE | Adam Welc,
Suresh Jagannathan,
Antony L. Hosking:
Transactional Monitors for Concurrent Objects.
ECOOP 2004: 519-542 |
40 | EE | Jan Vitek,
Suresh Jagannathan,
Adam Welc,
Antony L. Hosking:
A Semantic Framework for Designer Transactions.
ESOP 2004: 249-263 |
39 | EE | Ronaldo A. Ferreira,
Ananth Grama,
Suresh Jagannathan:
Plethora: An EfficientWide-Area Storage System.
HiPC 2004: 252-261 |
38 | EE | Ronaldo A. Ferreira,
Suresh Jagannathan,
Ananth Grama:
Enhancing Locality in Structured Peer-to-Peer Networks.
ICPADS 2004: 25- |
37 | EE | Adam Welc,
Antony L. Hosking,
Suresh Jagannathan:
Preemption-Based Avoidance of Priority Inversion for Java.
ICPP 2004: 529-538 |
2002 |
36 | EE | Yuanyuan Zhou,
Kai Li,
Angelos Bilas,
Suresh Jagannathan,
Cezary Dubnicki,
James Philbin:
Experiences with VI Communication for Database Storage.
ISCA 2002: 257- |
2000 |
35 | EE | 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 | EE | Suresh Jagannathan:
Continuation-based transformations for coordination languages.
Theor. Comput. Sci. 240(1): 117-146 (2000) |
1999 |
32 | EE | Satoru Fujita,
Kazuya Koyama,
Toru Yamanouchi,
Suresh Jagannathan,
Richard Kelsey,
James Philbin:
Mobile and Distributed Agents in Mobidget.
ASA/MA 1999: 276-292 |
31 | EE | 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 | EE | Suresh Jagannathan,
Richard Kelsey:
On the Interaction between Mobile Processes and Objects.
Heterogeneous Computing Workshop 1998: 163-170 |
29 | EE | 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 | EE | 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 | EE | 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 | EE | Elisabeth Freeman,
David Gelernter,
Suresh Jagannathan:
In Search of a Simple Visual Vocabulary.
VL 1995: 302-309 |
17 | EE | 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 | EE | 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 | EE | 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 | EE | Suresh Jagannathan,
Gul Agha:
A Reflective Model of Inheritance.
ECOOP 1992: 350-371 |
8 | EE | 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 | EE | 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 |