- VI-Attached Database Storage Yuanyuan Zhou1
- HigherOrder Distributed Objects HENRY CEJTIN, SURESH JAGANNATHAN, and RICHARD KELSEY
- CommunicationPassing Style for Coordination Languages
- Locality in Structured Peer-to-Peer Networks Ronaldo A. Ferreira Suresh Jagannathan Ananth Grama
- Modular Reasoning for Deterministic Parallelism University of Cambridge, UK
- Effective Flow Analysis for Avoiding RunTime Checks ?
- Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
- Safe Futures for Java welc@cs.purdue.edu
- Analyzing Stores and References in a Parallel Symbolic Language
- Continuationbased Transformations for Coordination Languages ?
- Single and loving it: Mustalias analysis for higherorder languages
- LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??--??, 1994 fl 1994 Kluwer Academic Publishers --Manufactured in The Netherlands
- Sieve: A Tool for Automatically Detecting Variations Across Program Versions Murali Krishna Ramanathan Ananth Grama Suresh Jagannathan
- Flattening Tuples in an SSA Intermediate Representation Lukasz Ziarek
- TypeDirected Flow Analysis for Typed Intermediate Languages
- Concurrency Analysis for Java Cristian Ungureanu and Suresh Jagannathan
- Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems Ronaldo A. Ferreira Murali Krishna Ramanathan Ananth Grama Suresh Jagannathan
- A Uniform Transactional Execution Environment for Java
- Analyzing Concurrency Bugs using Dual Slicing Dasarath Weeratunge Xiangyu Zhang William N. Sumner and Suresh Jagannathan
- Exceptionally Safe Futures Armand Navabi and Suresh Jagannathan
- Protocol Inference using Static Path Profiles Murali Krishna Ramanathan1
- Static Specification Inference Using Predicate Mining Murali Krishna Ramanathan Ananth Grama Suresh Jagannathan
- Path-Sensitive Inference of Function Precedence Protocols Murali Krishna Ramanathan Ananth Grama Suresh Jagannathan
- Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems
- Distributed Computing manuscript No. (will be inserted by the editor)
- Macroprogramming Heterogeneous Sensor Networks Using Asad Awan Suresh Jagannathan Ananth Grama
- Transparently Reconciling Transactions with Locking for Java Synchronization
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2005; 00:141 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02]
- Dynamic State Restoration Using Versioning Exceptions
- Preemptible Atomic Regions for Real-time Java Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan,
- Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks Ronaldo A. Ferreira Murali Krishna Ramanathan Asad Awan Ananth Grama Suresh Jagannathan
- A Transactional Object Calculus Suresh Jagannathan Jan Vitek Adam Welc Antony Hosking
- Plethora: A Locality Enhancing Peer-to-Peer Network Ronaldo A. Ferreira, Suresh Jagannathan and Ananth Grama
- Optimistic Concurrency Semantics for Transactions in Coordination Languages
- CS 565: Programming Languages Handout 1 August 20, 2010
- Transactional Support in MapReduce for Speculative Parallelism Naresh Rapolu
- Quasi-Static Scheduling for Safe Futures Armand Navabi Xiangyu Zhang Suresh Jagannathan
- Trace-Based Memory Aliasing Across Program Murali Krishna Ramanathan, Suresh Jagannathan, and Ananth Grama
- A Semantic Framework for Designer Transactions Jan Vitek Suresh Jagannathan Adam Welc Antony L. Hosking
- Unstructured Peer-to-Peer Networks for Sharing Processor Cycles 1
- Polymorphic Splitting: An Effective Polyvariant Flow Analysis
- Plethora: An Efficient Wide-Area Storage System Suresh Jagannathan, Ananth Grama, and Ronaldo Ferreira
- Semantics-Aware Trace Analysis Kevin Hoffman Patrick Eugster Suresh Jagannathan
- Relaxed Synchronization and Eager Scheduling in MapReduce
- Partial Memoization of Concurrency and Communication Lukasz Ziarek KC Sivaramakrishnan Suresh Jagannathan
- Compiling Java to a Typed LambdaCalculus: A Preliminary Report
- Composable Asynchronous Events Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
- Improving Duplicate Elimination in Storage Deepak R. Bobbarjung and Suresh Jagannathan
- Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction
- Speculative N-Way Barriers Lukasz Ziarek Suresh Jagannathan
- A Unified Treatment of Flow Analysis in HigherOrder Languages
- FlowDirected Closure Conversion for Typed Languages (Extended Summary)
- ZU064-05-FPR journal 27 January 2010 15:29 Under consideration for publication in J. Functional Programming 1
- Alchemist: A Transparent Dependence Distance Profiling Infrastructure Xiangyu Zhang, Armand Navabi and Suresh Jagannathan
- Transactional Monitors for Concurrent Objects Adam Welc, Suresh Jagannathan, and Antony L. Hosking
- Submitted to the 2002 ACM International Symposium on Computer Architecture (ISCA'02) Experiences with VI Communication for Database
- CS 565: Programming Languages Handout 1 August 10, 2011
- Asynchronous Algorithms in MapReduce Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama
- Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions
- Isolating Determinism in Multi-threaded Lukasz Ziarek, Siddharth Tiwary, and Suresh Jagannathan
- Resource-Sensitive Synchronization Inference by Abduction Matko Botincan
- 3 Parallel Paradigms There are 3 main type of paradigms to consider when designing parallel programs.
- Lecture 4 -Message Passing and CSP Alex Bartol
- George Beuhler Lecture 2: Coroutines
- Quinn Damerell CS390C Concurrently and Parallelism
- Lecture Notes # 2 17 January 2012
- Lecture 5 cont'd -Erlang Author: Sergei Uversky
- CS390 Principles of Concurrency and Parallelism Lecture Notes for Lecture #5
- On Unix flavors (a la BSD, AT&T Unix), the concept of a process mapped to "a running instance of a program". We use the following definition for
