| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Armand Navabi, Xiangyu Zhang, Suresh Jagannathan |
Dependence analysis for safe futures.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Mike Dodds, Suresh Jagannathan |
Resource-sensitive synchronization inference by abduction.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Jeevan Eranti |
High Quality of Service on Video Streaming in P2P Networks using FST-MDC  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Composable asynchronous events.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
Isolating Determinism in Multi-threaded Programs.  |
RV  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
Relaxed-memory concurrency and verified compilation.  |
POPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
Modular reasoning for deterministic parallelism.  |
POPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan |
Accentuating the positive: atomicity inference and enforcement using correct executions.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Suresh Jagannathan |
Lightweight checkpointing for concurrent ML.  |
J. Funct. Program.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan |
Analyzing concurrency bugs using dual slicing.  |
ISSTA  |
2010 |
DBLP DOI BibTeX RDF |
dual slicing, concurrency bugs, execution indexing |
| 1 | Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan |
Analyzing multicore dumps to facilitate concurrency bug reproduction.  |
ASPLOS  |
2010 |
DBLP DOI BibTeX RDF |
reproduction, multi-core, concurrency bugs, execution indexing |
| 1 | K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan |
Lightweight asynchrony using parasitic threads.  |
DAMP  |
2010 |
DBLP DOI BibTeX RDF |
lightweight threading, mlton, message passing, asynchronous communication |
| 1 | Nicholas Kidd, Suresh Jagannathan, Jan Vitek |
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.  |
SPIN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama |
Asynchronous Algorithms in MapReduce.  |
CLUSTER  |
2010 |
DBLP DOI BibTeX RDF |
Distributed Computing, MapReduce, Asynchronous Algorithms |
| 1 | Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama |
Efficient tag detection in RFID systems.  |
J. Parallel Distrib. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
Semantics-aware trace analysis.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids |
| 1 | Xiangyu Zhang, Armand Navabi, Suresh Jagannathan |
Alchemist: A Transparent Dependence Distance Profiling Infrastructure.  |
CGO  |
2009 |
DBLP DOI BibTeX RDF |
parallelization, profiling, program dependence, execution indexing |
| 1 | Armand Navabi, Suresh Jagannathan |
Exceptionally Safe Futures.  |
COORDINATION  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
Speculative N-Way barriers.  |
DAMP  |
2009 |
DBLP DOI BibTeX RDF |
fork/join execution, n-way barriers, speculation, multi-threaded programs |
| 1 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Partial memoization of concurrency and communication.  |
ICFP  |
2009 |
DBLP DOI BibTeX RDF |
partial memoization, software transactions, concurrent programming, multicore systems, concurrent ml |
| 1 | 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  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronaldo A. Ferreira, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama |
Semantic indexing in structured peer-to-peer networks.  |
J. Parallel Distrib. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan |
Flattening tuples in an SSA intermediate representation.  |
Higher-Order and Symbolic Computation  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Asad Awan, Suresh Jagannathan, Ananth Grama |
Scalable Data Collection in Sensor Networks.  |
HiPC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan |
PHALANX: a graph-theoretic framework for test case prioritization.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
program analysis, regression testing, test prioritization |
| 1 | Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan |
Protocol Inference Using Static Path Profiles.  |
SAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan |
A Uniform Transactional Execution Environment for Java.  |
ECOOP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Armand Navabi, Xiangyu Zhang, Suresh Jagannathan |
Quasi-static scheduling for safe futures.  |
PPOPP  |
2008 |
DBLP DOI BibTeX RDF |
concurrency control, future, static program analysis |
| 1 | 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.  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
Modular Checkpointing for Atomicity.  |
Electr. Notes Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski |
Randomized leader election.  |
Distributed Computing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Static specification inference using predicate mining.  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
predicate mining, program analysis, preconditions, specification inference |
| 1 | Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama |
Building Verifiable Sensing Applications Through Temporal Logic Specification.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Weaving Atomicity Through Dynamic Dependence Tracking.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Asad Awan, Suresh Jagannathan, Ananth Grama |
Macroprogramming heterogeneous sensor networks using cosmos.  |
EuroSys  |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, heterogeneous networks, dataflow, macroprogramming |
| 1 | Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan |
Aspect-Based Introspection and Change Analysis for Evolving Programs.  |
RAM-SE  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Path-Sensitive Inference of Function Precedence Protocols.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
Revocation techniques for Java concurrency.  |
Concurrency and Computation: Practice and Experience  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama |
Unstructured peer-to-peer networks for sharing processor cycles.  |
Parallel Computing  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama |
Locality in structured peer-to-peer networks.  |
J. Parallel Distrib. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki |
Improving duplicate elimination in storage systems.  |
TOS  |
2006 |
DBLP DOI BibTeX RDF |
Rabin's fingerprints, content-based addressing, Storage management, duplicate elimination |
| 1 | V. Krishna Nandivada, Suresh Jagannathan |
Dynamic state restoration using versioning exceptions.  |
Higher-Order and Symbolic Computation  |
2006 |
DBLP DOI BibTeX RDF |
Program analysis, Transactions, Versioning, Exceptions, Points to analysis, Rollback |
| 1 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Sieve: A Tool for Automatically Detecting Variations Across Program Versions.  |
ASE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan |
Query Protocols for Highly Resilient Peer-to-Peer Networks.  |
ISCA PDCS  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Manson, Jan Vitek, Suresh Jagannathan |
Dynamic aspects for runtime fault determination and recovery.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama |
Trace-Based Memory Aliasing Across Program Versions.  |
FASE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama |
Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks.  |
HICSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
Stabilizers: a modular checkpointing abstraction for concurrent functional programs.  |
ICFP  |
2006 |
DBLP DOI BibTeX RDF |
transactions, checkpointing, concurrent programming, exception handling, error recovery, concurrent ML |
| 1 | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
Transparently Reconciling Transactions with Locking for Java Synchronization.  |
ECOOP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking |
A transactional object calculus.  |
Sci. Comput. Program.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li |
VI-Attached Database Storage.  |
IEEE Trans. Parallel Distrib. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
Database storage, performance evaluation, user-level communication, server cluster, Virtual Interface, storage server |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek |
Preemptible Atomic Regions for Real-Time Java.  |
RTSS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
Safe futures for Java.  |
OOPSLA  |
2005 |
DBLP DOI BibTeX RDF |
Java, concurrency, safety, futures |
| 1 | Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan |
Plethora: An EfficientWide-Area Storage System.  |
HiPC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Jan Vitek |
Optimistic Concurrency Semantics for Transactions in Coordination Languages.  |
COORDINATION  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama |
Enhancing Locality in Structured Peer-to-Peer Networks.  |
ICPADS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
Preemption-Based Avoidance of Priority Inversion for Java.  |
ICPP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
Transactional Monitors for Concurrent Objects.  |
ECOOP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking |
A Semantic Framework for Designer Transactions.  |
ESOP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin |
Experiences with VI Communication for Database Storage. (PDF / PS)  |
ISCA  |
2002 |
DBLP DOI BibTeX RDF |
cluster-based storage, Database storage, Virtual Interface Architecture, processor overhead, Storage system, User-level Communication, storage area network |
| 1 | Suresh Jagannathan |
Continuation-based transformations for coordination languages.  |
Theor. Comput. Sci.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Ungureanu, Suresh Jagannathan |
Concurrency Analysis for Java.  |
SAS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Cejtin, Suresh Jagannathan, Stephen Weeks |
Flow-Directed Closure Conversion for Typed Languages.  |
ESOP  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin |
Mobile and Distributed Agents in Mobidget.  |
ASA/MA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu |
Transparent Communication for Distributed Objects in Java.  |
Java Grande  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew K. Wright, Suresh Jagannathan |
Polymorphic Splitting: An Effective Polyvariant Flow Analysis.  |
ACM Trans. Program. Lang. Syst.  |
1998 |
DBLP DOI BibTeX RDF |
polyvariance, flow analysis, inlining, run-time checks |
| 1 | Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright |
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.  |
POPL  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann |
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.  |
Types in Compilation  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Richard Kelsey |
On the Interaction between Mobile Processes and Objects. (PDF / PS)  |
Heterogeneous Computing Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Communication-Passing Style for Coordination Languages.  |
COORDINATION  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Stephen Weeks, Andrew K. Wright |
Type-Directed Flow Analysis for Typed Intermediate Languages.  |
SAS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Andrew K. Wright |
Compiling Functional Languages with Flow Analysis.  |
ACM Comput. Surv.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Andrew K. Wright |
Flow-directed Inlining.  |
PLDI  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Freeman, David Gelernter, Suresh Jagannathan |
Uniformity of Environment and Computation in MAP.  |
VL  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henry Cejtin, Suresh Jagannathan, Richard Kelsey |
Higher-Order Distributed Objects.  |
ACM Trans. Program. Lang. Syst.  |
1995 |
DBLP DOI BibTeX RDF |
concurrency, message-passing, SCHEME, continuations, higher-order languages |
| 1 | Elisabeth Freeman, David Gelernter, Suresh Jagannathan |
In Search of a Simple Visual Vocabulary. (PDF / PS)  |
VL  |
1995 |
DBLP DOI BibTeX RDF |
reverse engineering, programming environments, visual programming, visual languages, visual languages, program understanding, expressiveness, computer aided software engineering, visual representation, vocabulary, program executions, program structure, visual programming environment, visual vocabulary |
| 1 | Suresh Jagannathan, Stephen Weeks |
A Unified Treatment of Flow Analysis in Higher-Order Languages.  |
POPL  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Andrew K. Wright |
Effective Flow Analysis for Avoiding Run-Time Checks  |
SAS  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | James Philbin, Suresh Jagannathan, Rajiv Mirani |
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages.  |
LCPC  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Metalevel Building Blocks for Modular Systems.  |
ACM Trans. Program. Lang. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
modularity, reflection, higher-order programming |
| 1 | Suresh Jagannathan |
TS/Scheme: Distributed Data Structures in Lisp.  |
Lisp and Symbolic Computation  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Stephen Weeks, Suresh Jagannathan, James Philbin |
A Concurrent Abstract Interpreter.  |
Lisp and Symbolic Computation  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Locality Abstractions for Parallel and Distributed Computing.  |
Theory and Practice of Parallel Programming  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, Stephen Weeks |
Analyzing Stores and References in a Parallel Symbolic Language.  |
LISP and Functional Programming  |
1994 |
DBLP DOI BibTeX RDF |
T |
| 1 | Suresh Jagannathan |
Dynamic Modules in Higher-Order Languages.  |
ICCL  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Suresh Jagannathan, James Philbin |
High-Level Abstractions for Efficient Concurrent Systems.  |
Programming Languages and System Architectures  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan, James Philbin |
A Customizable Substrate for Concurrent Languages.  |
PLDI  |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Suresh Jagannathan, James Philbin |
A Foundation for an Efficient Multi-Threaded Scheme System.  |
LISP and Functional Programming  |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Suresh Jagannathan, Gul Agha |
A Reflective Model of Inheritance.  |
ECOOP  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
TS/Scheme: Distributed Data Structures in Lisp.  |
Parallel Symbolic Computing  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Customization of First Class Tuple-Spaces in a Higher-Order Language.  |
PARLE  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Expressing Fine-Grained Parallelism Using Concurrent Data Structures.  |
Research Directions in High-Level Parallel Programming Languages  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gelernter, Suresh Jagannathan |
Programming linguistics.  |
|
1990 |
RDF |
|
| 1 | Suresh Jagannathan |
Coercion as a Metaphor for Computatiion.  |
ICCL  |
1990 |
DBLP BibTeX RDF |
|
| 1 | David Gelernter, Suresh Jagannathan, Thomas London |
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter.  |
PLDI  |
1987 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | David Gelernter, Suresh Jagannathan, Thomas London |
Environments as First Class Objects.  |
POPL  |
1987 |
DBLP DOI BibTeX RDF |
LISP |