| 2026 | CAV | Liquid Tree Automata. | Ashish Mishra, Suresh Jagannathan |
| 2025 | ICRA | 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 |
| 2024 | CoRL | Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications. | Joe Eappen, Zikang Xiong, Dipam Patel, Aniket Bera, Suresh Jagannathan |
| 2024 | ICRA | Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications. | Zikang Xiong, Daniel Lawson, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan |
| 2023 | ECOOP | Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. | Ashish Mishra, Suresh Jagannathan |
| 2022 | AAAI | HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning. | Zikang Xiong, Ishika Agarwal, Suresh Jagannathan |
| 2022 | IROS | Model-free Neural Lyapunov Control for Safe Robot Navigation. | Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan |
| 2021 | PLDI | Repairing serializability bugs in distributed database programs via automated schema refactoring. | Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan |
| 2020 | CAV | Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. | Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan |
| 2020 | FMCAD | Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. | Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan |
| 2019 | CAV | Automated Parameterized Verification of CRDTs. | Kartik Nagar, Suresh Jagannathan |
| 2019 | PLDI | An inductive synthesis framework for verifiable reinforcement learning. | He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan |
| 2018 | CONCUR | Automated Detection of Serializability Violations Under Weak Consistency. | Kartik Nagar, Suresh Jagannathan |
| 2018 | EuroSys | Fine-grained distributed consistency guarantees with effect orchestration. | Kia Rahmani, Gowtham Kaki, Suresh Jagannathan |
| 2018 | PLDI | A data-driven CHC solver. | He Zhu, Stephen Magill, Suresh Jagannathan |
| 2017 | ITP | Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. | Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek |
| 2016 | PLDI | Automatically learning shape specifications. | He Zhu, Gustavo Petri, Suresh Jagannathan |
| 2015 | CAV | Poling: SMT Aided Linearizability Proofs. | He Zhu, Gustavo Petri, Suresh Jagannathan |
| 2015 | ECOOP | Cooking the Books: Formalizing JMM Implementation Recipes. | Gustavo Petri, Jan Vitek, Suresh Jagannathan |
| 2015 | ICFP | Learning refinement types. | He Zhu, Aditya V. Nori, Suresh Jagannathan |
| 2015 | PLDI | Synthesizing racy tests. | Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan |
| 2015 | PLDI | Declarative programming over eventually consistent data stores. | K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan |
| 2015 | VMCAI | Dependent Array Type Inference from Tests. | He Zhu, Aditya V. Nori, Suresh Jagannathan |
| 2014 | ICFP | A relational framework for higher-order shape analysis. | Gowtham Kaki, Suresh Jagannathan |
| 2014 | PADL | R | K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan |
| 2014 | PLDI | Atomicity refinement for verified compilation. | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
| 2013 | OOPSLA | Flexible access control for javascript. | Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek |
| 2013 | POPL | Plan B: a buffered memory model for Java. | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
| 2013 | VMCAI | Compositional and Lightweight Dependent Type Inference for ML. | He Zhu, Suresh Jagannathan |
| 2012 | POPL | Resource-sensitive synchronization inference by abduction. | Matko Botincan, Mike Dodds, Suresh Jagannathan |
| 2011 | OOPSLA | Accentuating the positive: atomicity inference and enforcement using correct executions. | Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan |
| 2011 | PLDI | Composable asynchronous events. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2011 | POPL | Modular reasoning for deterministic parallelism. | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
| 2011 | POPL | Relaxed-memory concurrency and verified compilation. | Jaroslav Sevck, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
| 2011 | RV | Isolating Determinism in Multi-threaded Programs. | Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
| 2010 | ASPLOS | Analyzing multicore dumps to facilitate concurrency bug reproduction. | Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan |
| 2010 | CLUSTER | Asynchronous Algorithms in MapReduce. | Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama |
| 2010 | ISSTA | Analyzing concurrency bugs using dual slicing. | Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan |
| 2010 | POPL | Lightweight asynchrony using parasitic threads. | K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan |
| 2009 | CGO | Alchemist: A Transparent Dependence Distance Profiling Infrastructure. | Xiangyu Zhang, Armand Navabi, Suresh Jagannathan |
| 2009 | Coordination | Exceptionally Safe Futures. | Armand Navabi, Suresh Jagannathan |
| 2009 | ICFP | Partial memoization of concurrency and communication. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2009 | PLDI | Semantics-aware trace analysis. | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
| 2009 | POPL | Speculative N-Way barriers. | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
| 2008 | ECOOP | A Uniform Transactional Execution Environment for Java. | Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan |
| 2008 | HiPC | Scalable Data Collection in Sensor Networks. | Asad Awan, Suresh Jagannathan, Ananth Grama |
| 2008 | PPoPP | Quasi-static scheduling for safe futures. | Armand Navabi, Xiangyu Zhang, Suresh Jagannathan |
| 2008 | SAC | PHALANX: a graph-theoretic framework for test case prioritization. | Murali Krishna Ramanathan, Mehmet Koyutrk, Ananth Grama, Suresh Jagannathan |
| 2008 | SAS | Protocol Inference Using Static Path Profiles. | Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan |
| 2007 | ECOOP | Aspect-Based Introspection and Change Analysis for Evolving Programs. | Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan |
| 2007 | EuroSys | Macroprogramming heterogeneous sensor networks using cosmos. | Asad Awan, Suresh Jagannathan, Ananth Grama |
| 2007 | ICCS | Building Verifiable Sensing Applications Through Temporal Logic Specification. | Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama |
| 2007 | ICSE | Path-Sensitive Inference of Function Precedence Protocols. | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
| 2007 | PLDI | Static specification inference using predicate mining. | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
| 2006 | ECOOP | Transparently Reconciling Transactions with Locking for Java Synchronization. | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
| 2006 | FASE | Trace-Based Memory Aliasing Across Program Versions. | Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama |
| 2006 | ICFP | Stabilizers: a modular checkpointing abstraction for concurrent functional programs. | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
| 2005 | OOPSLA | Safe futures for Java. | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
| 2005 | RTSS | Preemptible Atomic Regions for Real-Time Java. | Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek |
| 2004 | Coordination | Optimistic Concurrency Semantics for Transactions in Coordination Languages. | Suresh Jagannathan, Jan Vitek |
| 2004 | ECOOP | Transactional Monitors for Concurrent Objects. | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
| 2004 | ESOP | A Semantic Framework for Designer Transactions. | Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking |
| 2004 | HiPC | Plethora: An EfficientWide-Area Storage System. | Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan |
| 2004 | ICPADS | Enhancing Locality in Structured Peer-to-Peer Networks. | Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama |
| 2004 | ICPP | Preemption-Based Avoidance of Priority Inversion for Java. | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
| 2003 | GLOBECOM | An IP address based caching scheme for peer-to-peer networks. | Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan |
| 2002 | ISCA | Experiences with VI Communication for Database Storage. | Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin |
| 2000 | ESOP | Flow-Directed Closure Conversion for Typed Languages. | Henry Cejtin, Suresh Jagannathan, Stephen Weeks |
| 2000 | SAS | Concurrency Analysis for Java. | Cristian Ungureanu, Suresh Jagannathan |
| 1998 | HCW | On the Interaction between Mobile Processes and Objects. | Suresh Jagannathan, Richard Kelsey |
| 1998 | POPL | Single and Loving It: Must-Alias Analysis for Higher-Order Languages. | Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright |
| 1997 | Coordination | Communication-Passing Style for Coordination Languages. | Suresh Jagannathan |
| 1997 | SAS | Type-Directed Flow Analysis for Typed Intermediate Languages. | Suresh Jagannathan, Stephen Weeks, Andrew K. Wright |
| 1996 | PLDI | Flow-directed Inlining. | Suresh Jagannathan, Andrew K. Wright |
| 1995 | POPL | A Unified Treatment of Flow Analysis in Higher-Order Languages. | Suresh Jagannathan, Stephen Weeks |
| 1995 | SAS | Effective Flow Analysis for Avoiding Run-Time Checks | Suresh Jagannathan, Andrew K. Wright |
| 1992 | ECOOP | A Reflective Model of Inheritance. | Suresh Jagannathan, Gul Agha |
| 1992 | PLDI | A Customizable Substrate for Concurrent Languages. | Suresh Jagannathan, James Philbin |
| 1992 | PSC | TS/Scheme: Distributed Data Structures in Lisp. | Suresh Jagannathan |
| 1987 | PLDI | Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. | David Gelernter, Suresh Jagannathan, Thomas London |
| 1987 | POPL | Environments as First Class Objects. | David Gelernter, Suresh Jagannathan, Thomas London |