Suresh Jagannathan

196 papers A* 27A 22B 15C 6Misc 5Journal 81Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions. CoRR Anastasios Manganaris, Vittorio Giammarino, Ahmed H. Qureshi, Suresh Jagannathan
2026	J	`jnl`	Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions. Trans. Mach. Learn. Res. Anastasios Manganaris, Vittorio Giammarino, Ahmed H. Qureshi, Suresh Jagannathan
2026	J	`jnl`	Graph-of-Constraints Model Predictive Control for Reactive Multi-agent Task and Motion Planning. CoRR Anastasios Manganaris, Jeremy Lu, Ahmed H. Qureshi, Suresh Jagannathan
2026	J	`jnl`	Resilient Infrastructures via Digital Unification. Commun. ACM Ang Chen, Sylvia Ratnasamy, Mohammad Alizadeh, Mosharaf Chowdhury, Seth D. Guikema, Ryan Huang, Suresh Jagannathan, Branko Kerkez, Edward A. Lee, Steven Low, Morley Mao, Johanna Mathieu, Michael K. Reiter, Xinyu Wang, Vinton G. Cerf
2025	J	`jnl`	A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems. CoRR Zikang Xiong, Joe Eappen, Suresh Jagannathan
2025	J	`jnl`	Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity. CoRR Ashish Mishra, Suresh Jagannathan
2025	J	`jnl`	Derivative-Guided Symbolic Execution. Proc. ACM Program. Lang. Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan
2025	J	`jnl`	FLoRA: A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems. IEEE Robotics Autom. Lett. Zikang Xiong, Joe Eappen, Suresh Jagannathan
2025	J	`jnl`	From Traces to Program Incorrectness: A Type-Theoretic Approach. CoRR Yongwei Yuan, Zhe Zhou, Julia Belyakova, Benjamin Delaware, Suresh Jagannathan
2025	A*	`conf`	SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models. ICRA Yi Wu, Zikang Xiong, Yiran Hu, Shreyash S. Iyengar, Nan Jiang, Aniket Bera, Lin Tan, Suresh Jagannathan
2025	J	`jnl`	Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications. CoRR Joe Eappen, Zikang Xiong, Dipam Patel, Aniket Bera, Suresh Jagannathan
2025	J	`jnl`	Type-Based Incorrectness Reasoning. CoRR Zhe Zhou, Benjamin Delaware, Suresh Jagannathan
2025	J	`jnl`	We've Got You Covered: Type-Guided Repair of Incomplete Input Generators. CoRR Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware
2025	J	`jnl`	We've Got You Covered: Type-Guided Repair of Incomplete Input Generators. Proc. ACM Program. Lang. Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware
2024	J	`jnl`	A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. CoRR Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan
2024	J	`jnl`	A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata. Proc. ACM Program. Lang. Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan
2024	J	`jnl`	Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. Proc. ACM Program. Lang. Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan
2024	A*	`conf`	Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications. ICRA Zikang Xiong, Daniel Lawson, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan
2024	J	`jnl`	Derivative-Guided Symbolic Execution. CoRR Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan
2024	J	`jnl`	Manipulating Neural Path Planners via Slight Perturbations. CoRR Zikang Xiong, Suresh Jagannathan
2024	J	`jnl`	Manipulating Neural Path Planners via Slight Perturbations. IEEE Robotics Autom. Lett. Zikang Xiong, Suresh Jagannathan
2024	J	`jnl`	SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models. CoRR Yi Wu, Zikang Xiong, Yiran Hu, Shreyash S. Iyengar, Nan Jiang, Aniket Bera, Lin Tan, Suresh Jagannathan
2024	Misc	`conf`	Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications. CoRL Joe Eappen, Zikang Xiong, Dipam Patel, Aniket Bera, Suresh Jagannathan
2023	J	`jnl`	Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints. CoRR Zikang Xiong, Joe Eappen, Daniel Lawson, Ahmed H. Qureshi, Suresh Jagannathan
2023	J	`jnl`	Covering All the Bases: Type-Based Verification of Test Input Generators. CoRR Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
2023	J	`jnl`	Covering All the Bases: Type-Based Verification of Test Input Generators. Proc. ACM Program. Lang. Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
2023	A	`conf`	Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. ECOOP Ashish Mishra, Suresh Jagannathan
2023	J	`jnl`	Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs. CoRR Ashish Mishra, Suresh Jagannathan
2022	—	`conf`	Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. ECML/PKDD (3) Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
2022	J	`jnl`	Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. CoRR Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
2022	—	`conf`	DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. ECML/PKDD (4) Joe Eappen, Suresh Jagannathan
2022	J	`jnl`	DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. CoRR Joe Eappen, Suresh Jagannathan
2022	—	`conf`	HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning. SafeAI@AAAI Zikang Xiong, Ishika Agarwal, Suresh Jagannathan
2022	A	`conf`	Model-free Neural Lyapunov Control for Safe Robot Navigation. IROS Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan
2022	J	`jnl`	Model-free Neural Lyapunov Control for Safe Robot Navigation. CoRR Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan
2022	J	`jnl`	Specification-Guided Component-Based Synthesis from Effectful Libraries. CoRR Ashish Mishra, Suresh Jagannathan
2022	J	`jnl`	Specification-guided component-based synthesis from effectful libraries. Proc. ACM Program. Lang. Ashish Mishra, Suresh Jagannathan
2021	J	`jnl`	Data-Driven Abductive Inference of Library Specifications. CoRR Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
2021	J	`jnl`	Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
2021	J	`jnl`	Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2021	A*	`conf`	Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2021	J	`jnl`	Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning. CoRR Zikang Xiong, Suresh Jagannathan
2020	B	`conf`	Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. FMCAD Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
2020	J	`jnl`	Robustness to Adversarial Attacks in Learning-Enabled Controllers. CoRR Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
2020	—	`conf`	Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV (1) Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
2020	J	`jnl`	Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CoRR Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
2019	J	`jnl`	ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. CoRR Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
2019	J	`jnl`	An Inductive Synthesis Framework for Verifiable Reinforcement Learning. CoRR He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
2019	A*	`conf`	An inductive synthesis framework for verifiable reinforcement learning. PLDI He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
2019	—	`conf`	Automated Parameterized Verification of CRDTs. CAV (2) Kartik Nagar, Suresh Jagannathan
2019	J	`jnl`	Automated Parameterized Verification of CRDTs. CoRR Kartik Nagar, Suresh Jagannathan
2019	J	`jnl`	Building Resource Adaptive Software Systems. IEEE Softw. Sandeep Neema, Rinku Parikh, Suresh Jagannathan
2019	J	`jnl`	CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2019	J	`jnl`	CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2019	—	`ch.`	Geo-Replication Models. Encyclopedia of Big Data Technologies Mahsa Najafzadeh, Suresh Jagannathan
2019	J	`jnl`	Mergeable replicated data types. Proc. ACM Program. Lang. Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan
2019	J	`jnl`	Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
2019	J	`jnl`	Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
2019	—	`conf`	Version Control Is for Your Data Too. SNAPL Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
2018	A*	`conf`	A data-driven CHC solver. PLDI He Zhu, Stephen Magill, Suresh Jagannathan
2018	J	`jnl`	Alone together: compositional reasoning and inference for weak isolation. Proc. ACM Program. Lang. Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
2018	B	`conf`	Automated Detection of Serializability Violations Under Weak Consistency. CONCUR Kartik Nagar, Suresh Jagannathan
2018	J	`jnl`	Automated Detection of Serializability Violations under Weak Consistency. CoRR Kartik Nagar, Suresh Jagannathan
2018	—	`conf`	Fine-grained distributed consistency guarantees with effect orchestration. PaPoC@EuroSys Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
2018	J	`jnl`	Safe replication through bounded concurrency verification. Proc. ACM Program. Lang. Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan
2017	J	`jnl`	Alone Together: Compositional Reasoning and Inference for Weak Isolation. CoRR Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
2017	B	`conf`	Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
2016	A*	`conf`	Automatically learning shape specifications. PLDI He Zhu, Gustavo Petri, Suresh Jagannathan
2016	J	`jnl`	Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. ACM SIGSOFT Softw. Eng. Notes Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
2016	J	`jnl`	Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich
2016	J	`jnl`	Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. IEEE Data Eng. Bull. K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2016	J	`jnl`	Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. ACM Trans. Program. Lang. Syst. Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
2015	J	`jnl`	Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. CoRR Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
2015	A	`conf`	Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP Gustavo Petri, Jan Vitek, Suresh Jagannathan
2015	A*	`conf`	Declarative programming over eventually consistent data stores. PLDI K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2015	B	`conf`	Dependent Array Type Inference from Tests. VMCAI He Zhu, Aditya V. Nori, Suresh Jagannathan
2015	A	`conf`	Learning refinement types. ICFP He Zhu, Aditya V. Nori, Suresh Jagannathan
2015	—	`conf`	Poling: SMT Aided Linearizability Proofs. CAV (2) He Zhu, Gustavo Petri, Suresh Jagannathan
2015	—	`conf`	Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). FSTTCS Suresh Jagannathan
2015	A*	`conf`	Synthesizing racy tests. PLDI Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan
2014	A	`conf`	A relational framework for higher-order shape analysis. ICFP Gowtham Kaki, Suresh Jagannathan
2014	J	`jnl`	Atomicity Refinement for Verified Compilation. ACM Trans. Program. Lang. Syst. Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
2014	A*	`conf`	Atomicity refinement for verified compilation. PLDI Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte
2014	J	`jnl`	MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2014	—	`ed.`	Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA, USA PPREW@POPL Suresh Jagannathan, Peter Sewell
2014	C	`conf`	R PADL K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2014	A*	`ed.`	The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014 POPL Suresh Jagannathan, Peter Sewell
2013	J	`jnl`	CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. J. ACM Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
2013	B	`conf`	Compositional and Lightweight Dependent Type Inference for ML. VMCAI He Zhu, Suresh Jagannathan
2013	A	`conf`	Flexible access control for javascript. OOPSLA Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
2013	A*	`conf`	Plan B: a buffered memory model for Java. POPL Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
2013	J	`jnl`	Principles of POPL. ACM SIGPLAN Notices Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
2013	J	`jnl`	Proof-Directed Parallelization Synthesis by Separation Logic. ACM Trans. Program. Lang. Syst. Matko Botincan, Mike Dodds, Suresh Jagannathan
2012	—	`conf`	A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2012	J	`jnl`	Dependence analysis for safe futures. Sci. Comput. Program. Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
2012	C	`conf`	Eliminating read barriers through procrastination and cleanliness. ISMM K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2012	A*	`conf`	Resource-sensitive synchronization inference by abduction. POPL Matko Botincan, Mike Dodds, Suresh Jagannathan
2011	A	`conf`	Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
2011	A*	`conf`	Composable asynchronous events. PLDI Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
2011	J	`jnl`	High Quality of Service on Video Streaming in P2P Networks using FST-MDC CoRR Suresh Jagannathan, Jeevan Eranti
2011	B	`conf`	Isolating Determinism in Multi-threaded Programs. RV Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
2011	A*	`conf`	Modular reasoning for deterministic parallelism. POPL Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson
2011	A*	`conf`	Relaxed-memory concurrency and verified compilation. POPL Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
2011	—	`conf`	TransMR: Data-Centric Programming Beyond Data Parallelism. HotCloud Naresh Rapolu, Karthik Kambatla, Suresh Jagannathan, Ananth Grama
2010	A	`conf`	Analyzing concurrency bugs using dual slicing. ISSTA Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan
2010	A*	`conf`	Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
2010	C	`conf`	Asynchronous Algorithms in MapReduce. CLUSTER Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama
2010	—	`conf`	Lightweight asynchrony using parasitic threads. DAMP K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
2010	J	`jnl`	Lightweight checkpointing for concurrent ML. J. Funct. Program. Lukasz Ziarek, Suresh Jagannathan
2010	—	`conf`	One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN Nicholas Kidd, Suresh Jagannathan, Jan Vitek
2009	A	`conf`	Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO Xiangyu Zhang, Armand Navabi, Suresh Jagannathan
2009	J	`jnl`	Efficient tag detection in RFID systems. J. Parallel Distributed Comput. Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama
2009	C	`conf`	Exceptionally Safe Futures. COORDINATION Armand Navabi, Suresh Jagannathan
2009	A	`conf`	Partial memoization of concurrency and communication. ICFP Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
2009	A*	`conf`	Semantics-aware trace analysis. PLDI Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan
2009	—	`conf`	Speculative N-Way barriers. DAMP Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
2008	A	`conf`	A Uniform Transactional Execution Environment for Java. ECOOP Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan
2008	J	`jnl`	A domain-specific compiler theory based framework for automated reaction network generation. Comput. Chem. Eng. Shuo-Huan Hsu, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, Venkat Venkatasubramanian
2008	J	`jnl`	Flattening tuples in an SSA intermediate representation. High. Order Symb. Comput. Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
2008	Misc	`conf`	PHALANX: a graph-theoretic framework for test case prioritization. SAC Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan
2008	B	`conf`	Protocol Inference Using Static Path Profiles. SAS Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan
2008	B	`conf`	Quasi-static scheduling for safe futures. PPoPP Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
2008	Misc	`conf`	Scalable Data Collection in Sensor Networks. HiPC Asad Awan, Suresh Jagannathan, Ananth Grama
2008	J	`jnl`	Semantic indexing in structured peer-to-peer networks. J. Parallel Distributed Comput. Ronaldo A. Ferreira, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama
2007	—	`conf`	Aspect-Based Introspection and Change Analysis for Evolving Programs. RAM-SE Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan
2007	Misc	`conf`	Building Verifiable Sensing Applications Through Temporal Logic Specification. International Conference on Computational Science (1) Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama
2007	A	`conf`	Macroprogramming heterogeneous sensor networks using cosmos. EuroSys Asad Awan, Suresh Jagannathan, Ananth Grama
2007	A*	`conf`	Path-Sensitive Inference of Function Precedence Protocols. ICSE Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2007	J	`jnl`	Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. IEEE Trans. Parallel Distributed Syst. Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2007	J	`jnl`	Randomized leader election. Distributed Comput. Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski
2007	A*	`conf`	Static specification inference using predicate mining. PLDI Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2007	A	`conf`	Weaving Atomicity Through Dynamic Dependence Tracking. IPDPS Suresh Jagannathan
2006	—	`conf`	Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks. HICSS Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama
2006	A	`conf`	Dynamic aspects for runtime fault determination and recovery. IPDPS Jeremy Manson, Jan Vitek, Suresh Jagannathan
2006	J	`jnl`	Dynamic state restoration using versioning exceptions. High. Order Symb. Comput. V. Krishna Nandivada, Suresh Jagannathan
2006	J	`jnl`	Improving duplicate elimination in storage systems. ACM Trans. Storage Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki
2006	J	`jnl`	Locality in structured peer-to-peer networks. J. Parallel Distributed Comput. Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama
2006	—	`conf`	Modular Checkpointing for Atomicity. TV@FLoC Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
2006	—	`conf`	Query Protocols for Highly Resilient Peer-to-Peer Networks. PDCS Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan
2006	J	`jnl`	Revocation techniques for Java concurrency. Concurr. Comput. Pract. Exp. Adam Welc, Suresh Jagannathan, Antony L. Hosking
2006	A*	`conf`	Sieve: A Tool for Automatically Detecting Variations Across Program Versions. ASE Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2006	A	`conf`	Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
2006	B	`conf`	Trace-Based Memory Aliasing Across Program Versions. FASE Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama
2006	A	`conf`	Transparently Reconciling Transactions with Locking for Java Synchronization. ECOOP Adam Welc, Antony L. Hosking, Suresh Jagannathan
2006	J	`jnl`	Unstructured peer-to-peer networks for sharing processor cycles. Parallel Comput. Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama
2005	J	`jnl`	A transactional object calculus. Sci. Comput. Program. Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking
2005	A	`conf`	Preemptible Atomic Regions for Real-Time Java. RTSS Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek
2005	—	`conf`	Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. Peer-to-Peer Computing Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2005	A	`conf`	Safe futures for Java. OOPSLA Adam Welc, Suresh Jagannathan, Antony L. Hosking
2005	—	`conf`	Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks. Peer-to-Peer Computing Ronaldo A. Ferreira, Murali Krishna Ramanathan, Asad Awan, Ananth Grama, Suresh Jagannathan
2005	J	`jnl`	VI-Attached Database Storage. IEEE Trans. Parallel Distributed Syst. Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li
2004	A	`conf`	A Semantic Framework for Designer Transactions. ESOP Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking
2004	B	`conf`	Enhancing Locality in Structured Peer-to-Peer Networks. ICPADS Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama
2004	C	`conf`	Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION Suresh Jagannathan, Jan Vitek
2004	Misc	`conf`	Plethora: An EfficientWide-Area Storage System. HiPC Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan
2004	B	`conf`	Preemption-Based Avoidance of Priority Inversion for Java. ICPP Adam Welc, Antony L. Hosking, Suresh Jagannathan
2004	A	`conf`	Transactional Monitors for Concurrent Objects. ECOOP Adam Welc, Suresh Jagannathan, Antony L. Hosking
2003	B	`conf`	An IP address based caching scheme for peer-to-peer networks. GLOBECOM Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan
2002	A*	`conf`	Experiences with VI Communication for Database Storage. ISCA Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin
2000	B	`conf`	Concurrency Analysis for Java. SAS Cristian Ungureanu, Suresh Jagannathan
2000	J	`jnl`	Continuation-based transformations for coordination languages. Theor. Comput. Sci. Suresh Jagannathan
2000	A	`conf`	Flow-Directed Closure Conversion for Typed Languages. ESOP Henry Cejtin, Suresh Jagannathan, Stephen Weeks
1999	—	`conf`	Mobile and Distributed Agents in Mobidget. ASA/MA Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin
1999	—	`conf`	Transparent Communication for Distributed Objects in Java. Java Grande Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu
1998	—	`conf`	Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. Types in Compilation Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
1998	—	`conf`	On the Interaction between Mobile Processes and Objects. Heterogeneous Computing Workshop Suresh Jagannathan, Richard Kelsey
1998	J	`jnl`	Polymorphic Splitting: An Effective Polyvariant Flow Analysis. ACM Trans. Program. Lang. Syst. Andrew K. Wright, Suresh Jagannathan
1998	A*	`conf`	Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
1997	C	`conf`	Communication-Passing Style for Coordination Languages. COORDINATION Suresh Jagannathan
1997	B	`conf`	Type-Directed Flow Analysis for Typed Intermediate Languages. SAS Suresh Jagannathan, Stephen Weeks, Andrew K. Wright
1996	J	`jnl`	Compiling Functional Languages with Flow Analysis. ACM Comput. Surv. Suresh Jagannathan, Andrew K. Wright
1996	A*	`conf`	Flow-directed Inlining. PLDI Suresh Jagannathan, Andrew K. Wright
1996	—	`conf`	Uniformity of Environment and Computation in MAP. VL Elisabeth Freeman, David Gelernter, Suresh Jagannathan
1995	A*	`conf`	A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL Suresh Jagannathan, Stephen Weeks
1995	B	`conf`	Effective Flow Analysis for Avoiding Run-Time Checks SAS Suresh Jagannathan, Andrew K. Wright
1995	J	`jnl`	Higher-Order Distributed Objects. ACM Trans. Program. Lang. Syst. Henry Cejtin, Suresh Jagannathan, Richard Kelsey
1995	—	`conf`	In Search of a Simple Visual Vocabulary. VL Elisabeth Freeman, David Gelernter, Suresh Jagannathan
1995	—	`conf`	Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages. LCPC James Philbin, Suresh Jagannathan, Rajiv Mirani
1994	J	`jnl`	A Concurrent Abstract Interpreter. LISP Symb. Comput. Stephen Weeks, Suresh Jagannathan, James Philbin
1994	—	`conf`	Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming Suresh Jagannathan, Stephen Weeks
1994	—	`conf`	Dynamic Modules in Higher-Order Languages. ICCL Suresh Jagannathan
1994	—	`conf`	High-Level Abstractions for Efficient Concurrent Systems. Programming Languages and System Architectures Suresh Jagannathan, James Philbin
1994	—	`conf`	Locality Abstractions for Parallel and Distributed Computing. Theory and Practice of Parallel Programming Suresh Jagannathan
1994	J	`jnl`	Metalevel Building Blocks for Modular Systems. ACM Trans. Program. Lang. Syst. Suresh Jagannathan
1994	—	`ed.`	Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994 Specification of Parallel Algorithms Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan
1994	J	`jnl`	TS/Scheme: Distributed Data Structures in Lisp. LISP Symb. Comput. Suresh Jagannathan
1992	A*	`conf`	A Customizable Substrate for Concurrent Languages. PLDI Suresh Jagannathan, James Philbin
1992	—	`conf`	A Foundation for an Efficient Multi-Threaded Scheme System. LISP and Functional Programming Suresh Jagannathan, James Philbin
1992	A	`conf`	A Reflective Model of Inheritance. ECOOP Suresh Jagannathan, Gul Agha
1992	—	`conf`	TS/Scheme: Distributed Data Structures in Lisp. Parallel Symbolic Computing Suresh Jagannathan
1991	—	`conf`	Customization of First Class Tuple-Spaces in a Higher-Order Language. PARLE (2) Suresh Jagannathan
1991	—	`conf`	Expressing Fine-Grained Parallelism Using Concurrent Data Structures. Research Directions in High-Level Parallel Programming Languages Suresh Jagannathan
1990	—	`conf`	Coercion as a Metaphor for Computatiion. ICCL Suresh Jagannathan
1990	—	`book`	Programming linguistics. David Gelernter, Suresh Jagannathan
1987	A*	`conf`	Environments as First Class Objects. POPL David Gelernter, Suresh Jagannathan, Thomas London
1987	A*	`conf`	Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. PLDI David Gelernter, Suresh Jagannathan, Thomas London