Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. - David Gelernter; Suresh Jagannathan; Thomas London (PLDI, 1987)

Environments as First Class Objects. - David Gelernter; Suresh Jagannathan; Thomas London (POPL, 1987)

Programming linguistics. - David Gelernter; Suresh Jagannathan (MIT Press, 1990)

Coercion as a Metaphor for Computatiion. - Suresh Jagannathan (ICCL, 1990)

Expressing Fine-Grained Parallelism Using Concurrent Data Structures. - Suresh Jagannathan (Research Directions in High-Level Parallel Programming Languages, 1991)

Customization of First Class Tuple-Spaces in a Higher-Order Language. - Suresh Jagannathan (PARLE (2), 1991)

A Reflective Model of Inheritance. - Suresh Jagannathan; Gul Agha (ECOOP, 1992)

A Foundation for an Efficient Multi-Threaded Scheme System. - Suresh Jagannathan; James Philbin (LISP and Functional Programming, 1992)

A Customizable Substrate for Concurrent Languages. - Suresh Jagannathan; James Philbin (PLDI, 1992)

Dynamic Modules in Higher-Order Languages. - Suresh Jagannathan (ICCL, 1994)

Analyzing Stores and References in a Parallel Symbolic Language. - Suresh Jagannathan; Stephen Weeks (LISP and Functional Programming, 1994)

High-Level Abstractions for Efficient Concurrent Systems. - Suresh Jagannathan; James Philbin (Programming Languages and System Architectures, 1994)

Locality Abstractions for Parallel and Distributed Computing. - Suresh Jagannathan (Theory and Practice of Parallel Programming, 1994)

TS/Scheme: Distributed Data Structures in Lisp. - Suresh Jagannathan (LISP Symb. Comput., 1994)

A Concurrent Abstract Interpreter. - Stephen Weeks; Suresh Jagannathan; James Philbin (LISP Symb. Comput., 1994)

Metalevel Building Blocks for Modular Systems. - Suresh Jagannathan (ACM Trans. Program. Lang. Syst., 1994)

Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages. - James Philbin; Suresh Jagannathan; Rajiv Mirani (LCPC, 1995)

A Unified Treatment of Flow Analysis in Higher-Order Languages. - Suresh Jagannathan; Stephen Weeks (POPL, 1995)

Effective Flow Analysis for Avoiding Run-Time Checks - Suresh Jagannathan; Andrew K. Wright (SAS, 1995)

In Search of a Simple Visual Vocabulary. - Elisabeth Freeman; David Gelernter; Suresh Jagannathan (VL, 1995)

Higher-Order Distributed Objects. - Henry Cejtin; Suresh Jagannathan; Richard Kelsey (ACM Trans. Program. Lang. Syst., 1995)

Flow-directed Inlining. - Suresh Jagannathan; Andrew K. Wright (PLDI, 1996)

Uniformity of Environment and Computation in MAP. - Elisabeth Freeman; David Gelernter; Suresh Jagannathan (VL, 1996)

Compiling Functional Languages with Flow Analysis. - Suresh Jagannathan; Andrew K. Wright (ACM Comput. Surv., 1996)

Communication-Passing Style for Coordination Languages. - Suresh Jagannathan (COORDINATION, 1997)

Type-Directed Flow Analysis for Typed Intermediate Languages. - Suresh Jagannathan; Stephen Weeks; Andrew K. Wright (SAS, 1997)

On the Interaction between Mobile Processes and Objects. - Suresh Jagannathan; Richard Kelsey (Heterogeneous Computing Workshop, 1998)

Single and Loving It: Must-Alias Analysis for Higher-Order Languages. - Suresh Jagannathan; Peter Thiemann 001; Stephen Weeks; Andrew K. Wright (POPL, 1998)

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. - Andrew K. Wright; Suresh Jagannathan; Cristian Ungureanu; Aaron Hertzmann (Types in Compilation, 1998)

Polymorphic Splitting: An Effective Polyvariant Flow Analysis. - Andrew K. Wright; Suresh Jagannathan (ACM Trans. Program. Lang. Syst., 1998)

Transparent Communication for Distributed Objects in Java. - Michael W. Hicks; Suresh Jagannathan; Richard Kelsey; Jonathan T. Moore; Cristian Ungureanu (Java Grande, 1999)

Mobile and Distributed Agents in Mobidget. - Satoru Fujita; Kazuya Koyama; Toru Yamanouchi; Suresh Jagannathan; Richard Kelsey; James Philbin (ASA/MA, 1999)

Flow-Directed Closure Conversion for Typed Languages. - Henry Cejtin; Suresh Jagannathan; Stephen Weeks (ESOP, 2000)

Concurrency Analysis for Java. - Cristian Ungureanu; Suresh Jagannathan (SAS, 2000)

Continuation-based transformations for coordination languages. - Suresh Jagannathan (Theor. Comput. Sci., 2000)

Experiences with VI Communication for Database Storage. - Yuanyuan Zhou 001; Kai Li 001; Angelos Bilas; Suresh Jagannathan; Cezary Dubnicki; James Philbin (ISCA, 2002)

An IP address based caching scheme for peer-to-peer networks. - Ronaldo A. Ferreira; Ananth Grama; Suresh Jagannathan (GLOBECOM, 2003)

Optimistic Concurrency Semantics for Transactions in Coordination Languages. - Suresh Jagannathan; Jan Vitek (COORDINATION, 2004)

Transactional Monitors for Concurrent Objects. - Adam Welc; Suresh Jagannathan; Antony L. Hosking (ECOOP, 2004)

A Semantic Framework for Designer Transactions. - Jan Vitek; Suresh Jagannathan; Adam Welc; Antony L. Hosking (ESOP, 2004)

Plethora: An EfficientWide-Area Storage System. - Ronaldo A. Ferreira; Ananth Grama; Suresh Jagannathan (HiPC, 2004)

Enhancing Locality in Structured Peer-to-Peer Networks. - Ronaldo A. Ferreira; Suresh Jagannathan; Ananth Grama (ICPADS, 2004)

Preemption-Based Avoidance of Priority Inversion for Java. - Adam Welc; Antony L. Hosking; Suresh Jagannathan (ICPP, 2004)

Safe futures for Java. - Adam Welc; Suresh Jagannathan; Antony L. Hosking (OOPSLA, 2005)

Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks. - Ronaldo A. Ferreira; Murali Krishna Ramanathan; Asad Awan; Ananth Grama; Suresh Jagannathan (Peer-to-Peer Computing, 2005)

Preemptible Atomic Regions for Real-Time Java. - Jeremy Manson; Jason Baker; Antonio Cunei; Suresh Jagannathan; Marek Prochazka; Bin Xin 001; Jan Vitek (RTSS, 2005)

A transactional object calculus. - Suresh Jagannathan; Jan Vitek; Adam Welc; Antony L. Hosking (Sci. Comput. Program., 2005)

VI-Attached Database Storage. - Yuanyuan Zhou 001; Angelos Bilas; Suresh Jagannathan; Dimitrios Xinidis; Cezary Dubnicki; Kai Li 001 (IEEE Trans. Parallel Distributed Syst., 2005)

Query Protocols for Highly Resilient Peer-to-Peer Networks. - Suresh Jagannathan; Gopal Pandurangan; Siriam Srinivasan (PDCS, 2006)

Transparently Reconciling Transactions with Locking for Java Synchronization. - Adam Welc; Antony L. Hosking; Suresh Jagannathan (ECOOP, 2006)

Trace-Based Memory Aliasing Across Program Versions. - Murali Krishna Ramanathan; Suresh Jagannathan; Ananth Grama (FASE, 2006)

Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks. - Asad Awan; Ronaldo A. Ferreira; Suresh Jagannathan; Ananth Grama (HICSS, 2006)

Stabilizers: a modular checkpointing abstraction for concurrent functional programs. - Lukasz Ziarek; Philip Schatz; Suresh Jagannathan (ICFP, 2006)

Dynamic aspects for runtime fault determination and recovery. - Jeremy Manson; Jan Vitek; Suresh Jagannathan (IPDPS, 2006)

Sieve: A Tool for Automatically Detecting Variations Across Program Versions. - Murali Krishna Ramanathan; Ananth Grama; Suresh Jagannathan (ASE, 2006)

Revocation techniques for Java concurrency. - Adam Welc; Suresh Jagannathan; Antony L. Hosking (Concurr. Comput. Pract. Exp., 2006)

Modular Checkpointing for Atomicity. - Lukasz Ziarek; Philip Schatz; Suresh Jagannathan (TV@FLoC, 2006)

Locality in structured peer-to-peer networks. - Ronaldo A. Ferreira; Suresh Jagannathan; Ananth Grama (J. Parallel Distributed Comput., 2006)

Dynamic state restoration using versioning exceptions. - V. Krishna Nandivada; Suresh Jagannathan (High. Order Symb. Comput., 2006)

Unstructured peer-to-peer networks for sharing processor cycles. - Asad Awan; Ronaldo A. Ferreira; Suresh Jagannathan; Ananth Grama (Parallel Comput., 2006)

Improving duplicate elimination in storage systems. - Deepak R. Bobbarjung; Suresh Jagannathan; Cezary Dubnicki (ACM Trans. Storage, 2006)

Aspect-Based Introspection and Change Analysis for Evolving Programs. - Kevin J. Hoffman; Murali Krishna Ramanathan; Patrick Eugster; Suresh Jagannathan (RAM-SE, 2007)

Macroprogramming heterogeneous sensor networks using cosmos. - Asad Awan; Suresh Jagannathan; Ananth Grama (EuroSys, 2007)

Building Verifiable Sensing Applications Through Temporal Logic Specification. - Asad Awan; Ahmed H. Sameh; Suresh Jagannathan; Ananth Grama (International Conference on Computational Science (1), 2007)

Path-Sensitive Inference of Function Precedence Protocols. - Murali Krishna Ramanathan; Ananth Grama; Suresh Jagannathan (ICSE, 2007)

Weaving Atomicity Through Dynamic Dependence Tracking. - Suresh Jagannathan (IPDPS, 2007)

Static specification inference using predicate mining. - Murali Krishna Ramanathan; Ananth Grama; Suresh Jagannathan (PLDI, 2007)

Randomized leader election. - Murali Krishna Ramanathan; Ronaldo A. Ferreira; Suresh Jagannathan; Ananth Grama; Wojciech Szpankowski (Distributed Comput., 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)

A Uniform Transactional Execution Environment for Java. - Lukasz Ziarek; Adam Welc; Ali-Reza Adl-Tabatabai; Vijay Menon 002; Tatiana Shpeisman; Suresh Jagannathan (ECOOP, 2008)

Scalable Data Collection in Sensor Networks. - Asad Awan; Suresh Jagannathan; Ananth Grama (HiPC, 2008)

Quasi-static scheduling for safe futures. - Armand Navabi; Xiangyu Zhang 001; Suresh Jagannathan (PPoPP, 2008)

PHALANX: a graph-theoretic framework for test case prioritization. - Murali Krishna Ramanathan; Mehmet Koyutürk; Ananth Grama; Suresh Jagannathan (SAC, 2008)

Protocol Inference Using Static Path Profiles. - Murali Krishna Ramanathan; Koushik Sen; Ananth Grama; Suresh Jagannathan (SAS, 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)

Semantic indexing in structured peer-to-peer networks. - Ronaldo A. Ferreira; Mehmet Koyutürk; Suresh Jagannathan; Ananth Grama (J. Parallel Distributed Comput., 2008)

Flattening tuples in an SSA intermediate representation. - Lukasz Ziarek; Stephen Weeks; Suresh Jagannathan (High. Order Symb. Comput., 2008)

Alchemist: A Transparent Dependence Distance Profiling Infrastructure. - Xiangyu Zhang 001; Armand Navabi; Suresh Jagannathan (CGO, 2009)

Exceptionally Safe Futures. - Armand Navabi; Suresh Jagannathan (COORDINATION, 2009)

Partial memoization of concurrency and communication. - Lukasz Ziarek; K. C. Sivaramakrishnan; Suresh Jagannathan (ICFP, 2009)

Semantics-aware trace analysis. - Kevin J. Hoffman; Patrick Eugster; Suresh Jagannathan (PLDI, 2009)

Speculative N-Way barriers. - Lukasz Ziarek; Suresh Jagannathan; Matthew Fluet; Umut A. Acar (DAMP, 2009)

Efficient tag detection in RFID systems. - Bogdan Carbunar; Murali Krishna Ramanathan; Mehmet Koyutürk; Suresh Jagannathan; Ananth Grama (J. Parallel Distributed Comput., 2009)

Analyzing multicore dumps to facilitate concurrency bug reproduction. - Dasarath Weeratunge; Xiangyu Zhang 001; Suresh Jagannathan (ASPLOS, 2010)

Asynchronous Algorithms in MapReduce. - Karthik Kambatla; Naresh Rapolu; Suresh Jagannathan; Ananth Grama (CLUSTER, 2010)

Analyzing concurrency bugs using dual slicing. - Dasarath Weeratunge; Xiangyu Zhang 001; William N. Sumner; Suresh Jagannathan (ISSTA, 2010)

Lightweight asynchrony using parasitic threads. - K. C. Sivaramakrishnan; Lukasz Ziarek; Raghavendra Prasad; Suresh Jagannathan (DAMP, 2010)

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. - Nicholas Kidd; Suresh Jagannathan; Jan Vitek (SPIN, 2010)

Lightweight checkpointing for concurrent ML. - Lukasz Ziarek; Suresh Jagannathan (J. Funct. Program., 2010)

TransMR: Data-Centric Programming Beyond Data Parallelism. - Naresh Rapolu; Karthik Kambatla; Suresh Jagannathan; Ananth Grama (HotCloud, 2011)

Accentuating the positive: atomicity inference and enforcement using correct executions. - Dasarath Weeratunge; Xiangyu Zhang 001; Suresh Jagannathan (OOPSLA, 2011)

Composable asynchronous events. - Lukasz Ziarek; K. C. Sivaramakrishnan; Suresh Jagannathan (PLDI, 2011)

Modular reasoning for deterministic parallelism. - Mike Dodds; Suresh Jagannathan; Matthew J. Parkinson (POPL, 2011)

Relaxed-memory concurrency and verified compilation. - Jaroslav Sevcík; Viktor Vafeiadis; Francesco Zappa Nardelli; Suresh Jagannathan; Peter Sewell (POPL, 2011)

Isolating Determinism in Multi-threaded Programs. - Lukasz Ziarek; Siddharth Tiwary; Suresh Jagannathan (RV, 2011)

High Quality of Service on Video Streaming in P2P Networks using FST-MDC - Suresh Jagannathan; Jeevan Eranti (CoRR, 2011)

Eliminating read barriers through procrastination and cleanliness. - K. C. Sivaramakrishnan; Lukasz Ziarek; Suresh Jagannathan (ISMM, 2012)

A Coherent and Managed Runtime for ML on the SCC. - K. C. Sivaramakrishnan; Lukasz Ziarek; Suresh Jagannathan (MARC@RWTH, 2012)

Resource-sensitive synchronization inference by abduction. - Matko Botincan; Mike Dodds; Suresh Jagannathan (POPL, 2012)

Dependence analysis for safe futures. - Armand Navabi; Xiangyu Zhang 001; Suresh Jagannathan (Sci. Comput. Program., 2012)

Flexible access control for javascript. - Gregor Richards; Christian Hammer 001; Francesco Zappa Nardelli; Suresh Jagannathan; Jan Vitek (OOPSLA, 2013)

Plan B: a buffered memory model for Java. - Delphine Demange; Vincent Laporte; Lei Zhao; Suresh Jagannathan; David Pichardie; Jan Vitek (POPL, 2013)

Compositional and Lightweight Dependent Type Inference for ML. - He Zhu 001; Suresh Jagannathan (VMCAI, 2013)

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. - Jaroslav Sevcík; Viktor Vafeiadis; Francesco Zappa Nardelli; Suresh Jagannathan; Peter Sewell (J. ACM, 2013)

Principles of POPL. - Derek Dreyer; John Field; Roberto Giacobazzi; Michael Hicks 001; Suresh Jagannathan; Mooly Sagiv; Peter Sewell; Philip Wadler (ACM SIGPLAN Notices, 2013)

Proof-Directed Parallelization Synthesis by Separation Logic. - Matko Botincan; Mike Dodds; Suresh Jagannathan (ACM Trans. Program. Lang. Syst., 2013)

A relational framework for higher-order shape analysis. - Gowtham Kaki; Suresh Jagannathan (ICFP, 2014)

RCML: A Prescription for Safely Relaxing Synchrony. - K. C. Sivaramakrishnan; Lukasz Ziarek; Suresh Jagannathan (PADL, 2014)

MultiMLton: A multicore-aware runtime for standard ML. - K. C. Sivaramakrishnan; Lukasz Ziarek; Suresh Jagannathan (J. Funct. Program., 2014)

Atomicity Refinement for Verified Compilation. - Suresh Jagannathan; Vincent Laporte; Gustavo Petri; David Pichardie; Jan Vitek (ACM Trans. Program. Lang. Syst., 2014)

Poling: SMT Aided Linearizability Proofs. - He Zhu 001; Gustavo Petri; Suresh Jagannathan (CAV (2), 2015)

Cooking the Books: Formalizing JMM Implementation Recipes. - Gustavo Petri; Jan Vitek; Suresh Jagannathan (ECOOP, 2015)

Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). - Suresh Jagannathan (FSTTCS, 2015)

Learning refinement types. - He Zhu 001; Aditya V. Nori; Suresh Jagannathan (ICFP, 2015)

Synthesizing racy tests. - Malavika Samak; Murali Krishna Ramanathan; Suresh Jagannathan (PLDI, 2015)

Declarative programming over eventually consistent data stores. - K. C. Sivaramakrishnan; Gowtham Kaki; Suresh Jagannathan (PLDI, 2015)

Dependent Array Type Inference from Tests. - He Zhu 001; Aditya V. Nori; Suresh Jagannathan (VMCAI, 2015)

Automatically learning shape specifications. - He Zhu 001; Gustavo Petri; Suresh Jagannathan (PLDI, 2016)

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). - Marco Gaboardi; Suresh Jagannathan; Ranjit Jhala; Stephanie Weirich (Dagstuhl Reports, 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)

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)

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)

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. - Yannick Zakowski; David Cachera; Delphine Demange; Gustavo Petri; David Pichardie; Suresh Jagannathan; Jan Vitek (ITP, 2017)

Automated Detection of Serializability Violations Under Weak Consistency. - Kartik Nagar; Suresh Jagannathan (CONCUR, 2018)

Fine-grained distributed consistency guarantees with effect orchestration. - Kia Rahmani; Gowtham Kaki; Suresh Jagannathan (PaPoC@EuroSys, 2018)

A data-driven CHC solver. - He Zhu 001; Stephen Magill; Suresh Jagannathan (PLDI, 2018)

Safe replication through bounded concurrency verification. - Gowtham Kaki; Kapil Earanky; K. C. Sivaramakrishnan; Suresh Jagannathan (Proc. ACM Program. Lang., 2018)

Alone together: compositional reasoning and inference for weak isolation. - Gowtham Kaki; Kartik Nagar; Mahsa Najafzadeh; Suresh Jagannathan (Proc. ACM Program. Lang., 2018)

Automated Parameterized Verification of CRDTs. - Kartik Nagar; Suresh Jagannathan (CAV (2), 2019)

An inductive synthesis framework for verifiable reinforcement learning. - He Zhu 001; Zikang Xiong; Stephen Magill; Suresh Jagannathan (PLDI, 2019)

Version Control Is for Your Data Too. - Gowtham Kaki; K. C. Sivaramakrishnan; Suresh Jagannathan (SNAPL, 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)

Mergeable replicated data types. - Gowtham Kaki; Swarn Priya; K. C. Sivaramakrishnan; Suresh Jagannathan (Proc. ACM Program. Lang., 2019)

CLOTHO: directed test generation for weakly consistent database systems. - Kia Rahmani; Kartik Nagar; Benjamin Delaware; Suresh Jagannathan (Proc. ACM Program. Lang., 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)

Building Resource Adaptive Software Systems. - Sandeep Neema; Rinku Parikh; Suresh Jagannathan (IEEE Softw., 2019)

Geo-Replication Models. - Mahsa Najafzadeh; Suresh Jagannathan (Encyclopedia of Big Data Technologies, 2019)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. - Kartik Nagar; Prasita Mukherjee; Suresh Jagannathan (CAV (1), 2020)

Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. - Xuankang Lin; He Zhu 001; Roopsha Samanta; Suresh Jagannathan (FMCAD, 2020)

Robustness to Adversarial Attacks in Learning-Enabled Controllers. - Zikang Xiong; Joe Eappen; He Zhu 001; Suresh Jagannathan (CoRR, 2020)

Repairing serializability bugs in distributed database programs via automated schema refactoring. - Kia Rahmani; Kartik Nagar; Benjamin Delaware; Suresh Jagannathan (PLDI, 2021)

Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning. - Zikang Xiong; Suresh Jagannathan (CoRR, 2021)

Data-driven abductive inference of library specifications. - Zhe Zhou; Robert Dickerson; Benjamin Delaware; Suresh Jagannathan (Proc. ACM Program. Lang., 2021)

HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning. - Zikang Xiong; Ishika Agarwal; Suresh Jagannathan (SafeAI@AAAI, 2022)

Model-free Neural Lyapunov Control for Safe Robot Navigation. - Zikang Xiong; Joe Eappen; Ahmed H. Qureshi; Suresh Jagannathan (IROS, 2022)

DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. - Joe Eappen; Suresh Jagannathan (ECML/PKDD (4), 2022)

Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. - Zikang Xiong; Joe Eappen; He Zhu 001; Suresh Jagannathan (ECML/PKDD (3), 2022)

Specification-guided component-based synthesis from effectful libraries. - Ashish Mishra 002; Suresh Jagannathan (Proc. ACM Program. Lang., 2022)

Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. - Ashish Mishra 002; Suresh Jagannathan (ECOOP, 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)

Covering All the Bases: Type-Based Verification of Test Input Generators. - Zhe Zhou; Ashish Mishra 002; Benjamin Delaware; Suresh Jagannathan (Proc. ACM Program. Lang., 2023)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications. - Joe Eappen; Zikang Xiong; Dipam Patel; Aniket Bera; Suresh Jagannathan (CoRL, 2024)

Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications. - Zikang Xiong; Daniel Lawson; Joe Eappen; Ahmed H. Qureshi; Suresh Jagannathan (ICRA, 2024)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models. - Yi Wu 023; Zikang Xiong; Yiran Hu; Shreyash S. Iyengar; Nan Jiang 012; Aniket Bera; Lin Tan 001; Suresh Jagannathan (CoRR, 2024)

Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. - Kartik Nagar; Anmol Sahoo; Romit Roy Chowdhury; Suresh Jagannathan (Proc. ACM Program. Lang., 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)

Manipulating Neural Path Planners via Slight Perturbations. - Zikang Xiong; Suresh Jagannathan (IEEE Robotics Autom. Lett., 2024)

Derivative-Guided Symbolic Execution. - Yongwei Yuan; Zhe Zhou; Julia Belyakova; Suresh Jagannathan (Proc. ACM Program. Lang., 2025)

A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems. - Zikang Xiong; Joe Eappen; Suresh Jagannathan (CoRR, 2025)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators. - Patrick LaFontaine; Zhe Zhou; Ashish Mishra 002; Suresh Jagannathan; Benjamin Delaware (CoRR, 2025)

FLoRA: A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems. - Zikang Xiong; Joe Eappen; Suresh Jagannathan (IEEE Robotics Autom. Lett., 2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity. - Ashish Mishra 002; Suresh Jagannathan (CoRR, 2025)