Suresh Jagannathan

According to our database1, Suresh Jagannathan authored at least 134 papers between 1987 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Geo-Replication Models.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Building Resource Adaptive Software Systems.
IEEE Software, 2019

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.
J. Autom. Reasoning, 2019

Version Control Is for Your Data Too.
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

An inductive synthesis framework for verifiable reinforcement learning.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Automated Parameterized Verification of CRDTs.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Alone together: compositional reasoning and inference for weak isolation.
PACMPL, 2018

Safe replication through bounded concurrency verification.
PACMPL, 2018

A data-driven CHC solver.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Fine-grained distributed consistency guarantees with effect orchestration.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Automated Detection of Serializability Violations Under Weak Consistency.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic.
ACM Trans. Program. Lang. Syst., 2016

Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation.
ACM SIGSOFT Software Engineering Notes, 2016

Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores.
IEEE Data Eng. Bull., 2016

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131).
Dagstuhl Reports, 2016

Automatically learning shape specifications.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Dependent Array Type Inference from Tests.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Declarative programming over eventually consistent data stores.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Synthesizing racy tests.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Learning refinement types.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk).
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Cooking the Books: Formalizing JMM Implementation Recipes.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Poling: SMT Aided Linearizability Proofs.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Atomicity Refinement for Verified Compilation.
ACM Trans. Program. Lang. Syst., 2014

MultiMLton: A multicore-aware runtime for standard ML.
J. Funct. Program., 2014

Atomicity refinement for verified compilation.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

RCML: A Prescription for Safely Relaxing Synchrony.
Proceedings of the Practical Aspects of Declarative Languages, 2014

A relational framework for higher-order shape analysis.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013
Proof-Directed Parallelization Synthesis by Separation Logic.
ACM Trans. Program. Lang. Syst., 2013

Principles of POPL.
SIGPLAN Notices, 2013

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.
J. ACM, 2013

Compositional and Lightweight Dependent Type Inference for ML.
Proceedings of the Verification, 2013

Plan B: a buffered memory model for Java.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Flexible access control for javascript.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012
Dependence analysis for safe futures.
Sci. Comput. Program., 2012

Resource-sensitive synchronization inference by abduction.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A Coherent and Managed Runtime for ML on the SCC.
Proceedings of the Many-core Applications Research Community (MARC) Symposium at RWTH Aachen University, 2012

Eliminating read barriers through procrastination and cleanliness.
Proceedings of the International Symposium on Memory Management, 2012

2011
Isolating Determinism in Multi-threaded Programs.
Proceedings of the Runtime Verification - Second International Conference, 2011

Relaxed-memory concurrency and verified compilation.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Modular reasoning for deterministic parallelism.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Composable asynchronous events.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Accentuating the positive: atomicity inference and enforcement using correct executions.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

TransMR: Data-Centric Programming Beyond Data Parallelism.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

2010
Lightweight checkpointing for concurrent ML.
J. Funct. Program., 2010

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.
Proceedings of the Model Checking Software, 2010

Lightweight asynchrony using parasitic threads.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Analyzing concurrency bugs using dual slicing.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Asynchronous Algorithms in MapReduce.
Proceedings of the 2010 IEEE International Conference on Cluster Computing, 2010

Analyzing multicore dumps to facilitate concurrency bug reproduction.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009
Efficient tag detection in RFID systems.
J. Parallel Distrib. Comput., 2009

Speculative N-Way barriers.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Semantics-aware trace analysis.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Partial memoization of concurrency and communication.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Exceptionally Safe Futures.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Alchemist: A Transparent Dependence Distance Profiling Infrastructure.
Proceedings of the CGO 2009, 2009

2008
Flattening tuples in an SSA intermediate representation.
Higher-Order and Symbolic Computation, 2008

Semantic indexing in structured peer-to-peer networks.
J. Parallel Distrib. Comput., 2008

A domain-specific compiler theory based framework for automated reaction network generation.
Computers & Chemical Engineering, 2008

Protocol Inference Using Static Path Profiles.
Proceedings of the Static Analysis, 15th International Symposium, 2008

PHALANX: a graph-theoretic framework for test case prioritization.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Quasi-static scheduling for safe futures.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Scalable Data Collection in Sensor Networks.
Proceedings of the High Performance Computing, 2008

A Uniform Transactional Execution Environment for Java.
Proceedings of the ECOOP 2008, 2008

2007
Modular Checkpointing for Atomicity.
Electr. Notes Theor. Comput. Sci., 2007

Randomized leader election.
Distributed Computing, 2007

Static specification inference using predicate mining.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Weaving Atomicity Through Dynamic Dependence Tracking.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Path-Sensitive Inference of Function Precedence Protocols.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Building Verifiable Sensing Applications Through Temporal Logic Specification.
Proceedings of the Computational Science, 2007

Macroprogramming heterogeneous sensor networks using cosmos.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Aspect-Based Introspection and Change Analysis for Evolving Programs.
Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

2006
Improving duplicate elimination in storage systems.
TOS, 2006

Unstructured peer-to-peer networks for sharing processor cycles.
Parallel Computing, 2006

Dynamic state restoration using versioning exceptions.
Higher-Order and Symbolic Computation, 2006

Locality in structured peer-to-peer networks.
J. Parallel Distrib. Comput., 2006

Revocation techniques for Java concurrency.
Concurrency and Computation: Practice and Experience, 2006

Sieve: A Tool for Automatically Detecting Variations Across Program Versions.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Dynamic aspects for runtime fault determination and recovery.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Stabilizers: a modular checkpointing abstraction for concurrent functional programs.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks.
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

Trace-Based Memory Aliasing Across Program Versions.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

Transparently Reconciling Transactions with Locking for Java Synchronization.
Proceedings of the ECOOP 2006, 2006

Query Protocols for Highly Resilient Peer-to-Peer Networks.
Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

2005
VI-Attached Database Storage.
IEEE Trans. Parallel Distrib. Syst., 2005

A transactional object calculus.
Sci. Comput. Program., 2005

Preemptible Atomic Regions for Real-Time Java.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems.
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks.
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Safe futures for Java.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004
Preemption-Based Avoidance of Priority Inversion for Java.
Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

Enhancing Locality in Structured Peer-to-Peer Networks.
Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

Plethora: An EfficientWide-Area Storage System.
Proceedings of the High Performance Computing, 2004

A Semantic Framework for Designer Transactions.
Proceedings of the Programming Languages and Systems, 2004

Transactional Monitors for Concurrent Objects.
Proceedings of the ECOOP 2004, 2004

Optimistic Concurrency Semantics for Transactions in Coordination Languages.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
An IP address based caching scheme for peer-to-peer networks.
Proceedings of the Global Telecommunications Conference, 2003

2002
Experiences with VI Communication for Database Storage.
Proceedings of the 29th International Symposium on Computer Architecture (ISCA 2002), 2002

2000
Continuation-based transformations for coordination languages.
Theor. Comput. Sci., 2000

Concurrency Analysis for Java.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Flow-Directed Closure Conversion for Typed Languages.
Proceedings of the Programming Languages and Systems, 2000

1999
Mobile and Distributed Agents in Mobidget.
Proceedings of the 1st International Symposium on Agent Systems and Applications / 3rd International Symposium on Mobile Agents (ASA/MA '99), 1999

Transparent Communication for Distributed Objects in Java.
Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998
Polymorphic Splitting: An Effective Polyvariant Flow Analysis.
ACM Trans. Program. Lang. Syst., 1998

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.
Proceedings of the Types in Compilation, Second International Workshop, 1998

Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
Proceedings of the POPL '98, 1998

On the Interaction between Mobile Processes and Objects.
Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

1997
Type-Directed Flow Analysis for Typed Intermediate Languages.
Proceedings of the Static Analysis, 4th International Symposium, 1997

Communication-Passing Style for Coordination Languages.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Compiling Functional Languages with Flow Analysis.
ACM Comput. Surv., 1996

Uniformity of Environment and Computation in MAP.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Flow-directed Inlining.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995
Higher-Order Distributed Objects.
ACM Trans. Program. Lang. Syst., 1995

In Search of a Simple Visual Vocabulary.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Effective Flow Analysis for Avoiding Run-Time Checks
Proceedings of the Static Analysis, 1995

A Unified Treatment of Flow Analysis in Higher-Order Languages.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages.
Proceedings of the Languages and Compilers for Parallel Computing, 1995

1994
Metalevel Building Blocks for Modular Systems.
ACM Trans. Program. Lang. Syst., 1994

A Concurrent Abstract Interpreter.
Lisp and Symbolic Computation, 1994

Locality Abstractions for Parallel and Distributed Computing.
Proceedings of the Theory and Practice of Parallel Programming, 1994

High-Level Abstractions for Efficient Concurrent Systems.
Proceedings of the Programming Languages and System Architectures, 1994

Analyzing Stores and References in a Parallel Symbolic Language.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Dynamic Modules in Higher-Order Languages.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1992
TS/Scheme: Distributed Data Structures in Lisp.
Proceedings of the Parallel Symbolic Computing: Languages, 1992

A Customizable Substrate for Concurrent Languages.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

A Foundation for an Efficient Multi-Threaded Scheme System.
Proceedings of the Conference on Lisp and Functional Programming, 1992

A Reflective Model of Inheritance.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991
Customization of First Class Tuple-Spaces in a Higher-Order Language.
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Expressing Fine-Grained Parallelism Using Concurrent Data Structures.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990
Coercion as a Metaphor for Computatiion.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Programming linguistics.
MIT Press, ISBN: 978-0-262-07127-7, 1990

1987
Environments as First Class Objects.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter.
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987


  Loading...