Suresh Jagannathan

According to our database, Suresh Jagannathan authored at least 155 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Manipulating Neural Path Planners via Slight Perturbations.

Zikang Xiong, Suresh Jagannathan

IEEE Robotics Autom. Lett., June, 2024

A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata.

Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2024

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models.

Yi Wu, Zikang Xiong, Yiran Hu, Shreyash S. Iyengar, Nan Jiang, Aniket Bera, Lin Tan, Suresh Jagannathan

CoRR, 2024

Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications.

Zikang Xiong, Daniel Lawson, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Covering All the Bases: Type-Based Verification of Test Input Generators.

Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2023

Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints.

Zikang Xiong, Joe Eappen, Daniel Lawson, Ahmed H. Qureshi, Suresh Jagannathan

CoRR, 2023

Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs.

Ashish Mishra, Suresh Jagannathan

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Specification-guided component-based synthesis from effectful libraries.

Ashish Mishra, Suresh Jagannathan

Proc. ACM Program. Lang., 2022

Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising.

Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems.

Joe Eappen, Suresh Jagannathan

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Model-free Neural Lyapunov Control for Safe Robot Navigation.

Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning.

Zikang Xiong, Ishika Agarwal, Suresh Jagannathan

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Data-driven abductive inference of library specifications.

Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2021

Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning.

Zikang Xiong, Suresh Jagannathan

CoRR, 2021

Repairing serializability bugs in distributed database programs via automated schema refactoring.

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Robustness to Adversarial Attacks in Learning-Enabled Controllers.

Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan

CoRR, 2020

Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.

Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Geo-Replication Models.

Mahsa Najafzadeh, Suresh Jagannathan

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Building Resource Adaptive Software Systems.

Sandeep Neema, Rinku Parikh, Suresh Jagannathan

IEEE Softw., 2019

Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).

Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan

NII Shonan Meet. Rep., 2019

CLOTHO: directed test generation for weakly consistent database systems.

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2019

Mergeable replicated data types.

Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2019

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek

J. Autom. Reason., 2019

Version Control Is for Your Data Too.

Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

An inductive synthesis framework for verifiable reinforcement learning.

He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Automated Parameterized Verification of CRDTs.

Kartik Nagar, Suresh Jagannathan

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Alone together: compositional reasoning and inference for weak isolation.

Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

Safe replication through bounded concurrency verification.

Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

A data-driven CHC solver.

He Zhu, Stephen Magill, Suresh Jagannathan

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Fine-grained distributed consistency guarantees with effect orchestration.

Kia Rahmani, Gowtham Kaki, Suresh Jagannathan

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Automated Detection of Serializability Violations Under Weak Consistency.

Kartik Nagar, Suresh Jagannathan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic.

Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

ACM Trans. Program. Lang. Syst., 2016

Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation.

Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan

ACM SIGSOFT Softw. Eng. Notes, 2016

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

K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

IEEE Data Eng. Bull., 2016

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

Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich

Dagstuhl Reports, 2016

Automatically learning shape specifications.

He Zhu, Gustavo Petri, Suresh Jagannathan

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Dependent Array Type Inference from Tests.

He Zhu, Aditya V. Nori, Suresh Jagannathan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Declarative programming over eventually consistent data stores.

K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

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

Synthesizing racy tests.

Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan

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

Learning refinement types.

He Zhu, Aditya V. Nori, Suresh Jagannathan

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk).

Suresh Jagannathan

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Cooking the Books: Formalizing JMM Implementation Recipes.

Gustavo Petri, Jan Vitek, Suresh Jagannathan

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Poling: SMT Aided Linearizability Proofs.

He Zhu, Gustavo Petri, Suresh Jagannathan

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Atomicity Refinement for Verified Compilation.

Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek

ACM Trans. Program. Lang. Syst., 2014

MultiMLton: A multicore-aware runtime for standard ML.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

J. Funct. Program., 2014

R^CML: A Prescription for Safely Relaxing Synchrony.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the Practical Aspects of Declarative Languages, 2014

A relational framework for higher-order shape analysis.

Gowtham Kaki, Suresh Jagannathan

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Proof-Directed Parallelization Synthesis by Separation Logic.

Matko Botincan, Mike Dodds, Suresh Jagannathan

ACM Trans. Program. Lang. Syst., 2013

Principles of POPL.

Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler

ACM SIGPLAN Notices, 2013

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

J. ACM, 2013

Compositional and Lightweight Dependent Type Inference for ML.

He Zhu, Suresh Jagannathan

Proceedings of the Verification, 2013

Plan B: a buffered memory model for Java.

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Flexible access control for javascript.

Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Dependence analysis for safe futures.

Armand Navabi, Xiangyu Zhang, Suresh Jagannathan

Sci. Comput. Program., 2012

Resource-sensitive synchronization inference by abduction.

Matko Botincan, Mike Dodds, Suresh Jagannathan

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A Coherent and Managed Runtime for ML on the SCC.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the Many-core Applications Research Community (MARC) Symposium at RWTH Aachen University, 2012

Eliminating read barriers through procrastination and cleanliness.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the International Symposium on Memory Management, 2012

2011

High Quality of Service on Video Streaming in P2P Networks using FST-MDC

Suresh Jagannathan, Jeevan Eranti

CoRR, 2011

Isolating Determinism in Multi-threaded Programs.

Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan

Proceedings of the Runtime Verification - Second International Conference, 2011

Relaxed-memory concurrency and verified compilation.

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Modular reasoning for deterministic parallelism.

Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Composable asynchronous events.

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan

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

Accentuating the positive: atomicity inference and enforcement using correct executions.

Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

TransMR: Data-Centric Programming Beyond Data Parallelism.

Naresh Rapolu, Karthik Kambatla, Suresh Jagannathan, Ananth Grama

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

2010

Lightweight checkpointing for concurrent ML.

Lukasz Ziarek, Suresh Jagannathan

J. Funct. Program., 2010

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.

Nicholas Kidd, Suresh Jagannathan, Jan Vitek

Proceedings of the Model Checking Software, 2010

Lightweight asynchrony using parasitic threads.

K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Analyzing concurrency bugs using dual slicing.

Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Asynchronous Algorithms in MapReduce.

Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama

Proceedings of the 2010 IEEE International Conference on Cluster Computing, 2010

Analyzing multicore dumps to facilitate concurrency bug reproduction.

Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

Efficient tag detection in RFID systems.

Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama

J. Parallel Distributed Comput., 2009

Speculative N-Way barriers.

Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Semantics-aware trace analysis.

Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Partial memoization of concurrency and communication.

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Exceptionally Safe Futures.

Armand Navabi, Suresh Jagannathan

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Alchemist: A Transparent Dependence Distance Profiling Infrastructure.

Xiangyu Zhang, Armand Navabi, Suresh Jagannathan

Proceedings of the CGO 2009, 2009

2008

Flattening tuples in an SSA intermediate representation.

Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan

High. Order Symb. Comput., 2008

Semantic indexing in structured peer-to-peer networks.

Ronaldo A. Ferreira, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama

J. Parallel Distributed Comput., 2008

A domain-specific compiler theory based framework for automated reaction network generation.

Shuo-Huan Hsu, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, Venkat Venkatasubramanian

Comput. Chem. Eng., 2008

Protocol Inference Using Static Path Profiles.

Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan

Proceedings of the Static Analysis, 15th International Symposium, 2008

PHALANX: a graph-theoretic framework for test case prioritization.

Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Quasi-static scheduling for safe futures.

Armand Navabi, Xiangyu Zhang, Suresh Jagannathan

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Scalable Data Collection in Sensor Networks.

Asad Awan, Suresh Jagannathan, Ananth Grama

Proceedings of the High Performance Computing, 2008

A Uniform Transactional Execution Environment for Java.

Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan

Proceedings of the ECOOP 2008, 2008

2007

Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems.

Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan

IEEE Trans. Parallel Distributed Syst., 2007

Randomized leader election.

Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski

Distributed Comput., 2007

Static specification inference using predicate mining.

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Weaving Atomicity Through Dynamic Dependence Tracking.

Suresh Jagannathan

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Path-Sensitive Inference of Function Precedence Protocols.

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Building Verifiable Sensing Applications Through Temporal Logic Specification.

Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama

Proceedings of the Computational Science, 2007

Macroprogramming heterogeneous sensor networks using cosmos.

Asad Awan, Suresh Jagannathan, Ananth Grama

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Aspect-Based Introspection and Change Analysis for Evolving Programs.

Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan

Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

2006

Improving duplicate elimination in storage systems.

Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki

ACM Trans. Storage, 2006

Unstructured peer-to-peer networks for sharing processor cycles.

Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama

Parallel Comput., 2006

Dynamic state restoration using versioning exceptions.

V. Krishna Nandivada, Suresh Jagannathan

High. Order Symb. Comput., 2006

Locality in structured peer-to-peer networks.

Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama

J. Parallel Distributed Comput., 2006

Modular Checkpointing for Atomicity.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Proceedings of the Thread Verification Workshop, 2006

Revocation techniques for Java concurrency.

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Concurr. Comput. Pract. Exp., 2006

Sieve: A Tool for Automatically Detecting Variations Across Program Versions.

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Dynamic aspects for runtime fault determination and recovery.

Jeremy Manson, Jan Vitek, Suresh Jagannathan

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Stabilizers: a modular checkpointing abstraction for concurrent functional programs.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks.

Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

Trace-Based Memory Aliasing Across Program Versions.

Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Transparently Reconciling Transactions with Locking for Java Synchronization.

Adam Welc, Antony L. Hosking, Suresh Jagannathan

Proceedings of the ECOOP 2006, 2006

Query Protocols for Highly Resilient Peer-to-Peer Networks.

Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan

Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

2005

VI-Attached Database Storage.

Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li

IEEE Trans. Parallel Distributed Syst., 2005

A transactional object calculus.

Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking

Sci. Comput. Program., 2005

Preemptible Atomic Regions for Real-Time Java.

Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks.

Ronaldo A. Ferreira, Murali Krishna Ramanathan, Asad Awan, Ananth Grama, Suresh Jagannathan

Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Safe futures for Java.

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Preemption-Based Avoidance of Priority Inversion for Java.

Adam Welc, Antony L. Hosking, Suresh Jagannathan

Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

Enhancing Locality in Structured Peer-to-Peer Networks.

Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama

Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

Plethora: An EfficientWide-Area Storage System.

Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan

Proceedings of the High Performance Computing, 2004

A Semantic Framework for Designer Transactions.

Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking

Proceedings of the Programming Languages and Systems, 2004

Transactional Monitors for Concurrent Objects.

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Proceedings of the ECOOP 2004, 2004

Optimistic Concurrency Semantics for Transactions in Coordination Languages.

Suresh Jagannathan, Jan Vitek

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

An IP address based caching scheme for peer-to-peer networks.

Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan

Proceedings of the Global Telecommunications Conference, 2003

2002

Experiences with VI Communication for Database Storage.

Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin

Proceedings of the 29th International Symposium on Computer Architecture (ISCA 2002), 2002

2000

Continuation-based transformations for coordination languages.

Suresh Jagannathan

Theor. Comput. Sci., 2000

Concurrency Analysis for Java.

Cristian Ungureanu, Suresh Jagannathan

Proceedings of the Static Analysis, 7th International Symposium, 2000

Flow-Directed Closure Conversion for Typed Languages.

Henry Cejtin, Suresh Jagannathan, Stephen Weeks

Proceedings of the Programming Languages and Systems, 2000

1999

Mobile and Distributed Agents in Mobidget.

Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin

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.

Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu

Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998

Polymorphic Splitting: An Effective Polyvariant Flow Analysis.

Andrew K. Wright, Suresh Jagannathan

ACM Trans. Program. Lang. Syst., 1998

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.

Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann

Proceedings of the Types in Compilation, Second International Workshop, 1998

Single and Loving It: Must-Alias Analysis for Higher-Order Languages.

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright

Proceedings of the POPL '98, 1998

On the Interaction between Mobile Processes and Objects.

Suresh Jagannathan, Richard Kelsey

Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

1997

Type-Directed Flow Analysis for Typed Intermediate Languages.

Suresh Jagannathan, Stephen Weeks, Andrew K. Wright

Proceedings of the Static Analysis, 4th International Symposium, 1997

Communication-Passing Style for Coordination Languages.

Suresh Jagannathan

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Compiling Functional Languages with Flow Analysis.

Suresh Jagannathan, Andrew K. Wright

ACM Comput. Surv., 1996

Uniformity of Environment and Computation in MAP.

Elisabeth Freeman, David Gelernter, Suresh Jagannathan

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Flow-directed Inlining.

Suresh Jagannathan, Andrew K. Wright

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Higher-Order Distributed Objects.

Henry Cejtin, Suresh Jagannathan, Richard Kelsey

ACM Trans. Program. Lang. Syst., 1995

In Search of a Simple Visual Vocabulary.

Elisabeth Freeman, David Gelernter, Suresh Jagannathan

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Effective Flow Analysis for Avoiding Run-Time Checks

Suresh Jagannathan, Andrew K. Wright

Proceedings of the Static Analysis, 1995

A Unified Treatment of Flow Analysis in Higher-Order Languages.

Suresh Jagannathan, Stephen Weeks

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.

James Philbin, Suresh Jagannathan, Rajiv Mirani

Proceedings of the Languages and Compilers for Parallel Computing, 1995

1994

Metalevel Building Blocks for Modular Systems.

Suresh Jagannathan

ACM Trans. Program. Lang. Syst., 1994

A Concurrent Abstract Interpreter.

Stephen Weeks, Suresh Jagannathan, James Philbin

LISP Symb. Comput., 1994

TS/Scheme: Distributed Data Structures in Lisp.

Suresh Jagannathan

LISP Symb. Comput., 1994

Locality Abstractions for Parallel and Distributed Computing.

Suresh Jagannathan

Proceedings of the Theory and Practice of Parallel Programming, 1994

High-Level Abstractions for Efficient Concurrent Systems.

Suresh Jagannathan, James Philbin

Proceedings of the Programming Languages and System Architectures, 1994

Analyzing Stores and References in a Parallel Symbolic Language.

Suresh Jagannathan, Stephen Weeks

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Dynamic Modules in Higher-Order Languages.

Suresh Jagannathan

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1992

A Customizable Substrate for Concurrent Languages.

Suresh Jagannathan, James Philbin

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

A Foundation for an Efficient Multi-Threaded Scheme System.

Suresh Jagannathan, James Philbin

Proceedings of the Conference on Lisp and Functional Programming, 1992

A Reflective Model of Inheritance.

Suresh Jagannathan, Gul Agha

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.

Suresh Jagannathan

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Expressing Fine-Grained Parallelism Using Concurrent Data Structures.

Suresh Jagannathan

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990

Coercion as a Metaphor for Computatiion.

Suresh Jagannathan

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Programming linguistics.

David Gelernter, Suresh Jagannathan

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

1987

Environments as First Class Objects.

David Gelernter, Suresh Jagannathan, Thomas London

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.

David Gelernter, Suresh Jagannathan, Thomas London

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987