Suresh Jagannathan

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 53

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

CAV (2)

Publications

Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Zikang Xiong, Suresh Jagannathan
Manipulating Neural Path Planners via Slight Perturbations. IEEE Robotics Autom. Lett. 9 (6) (2024)
Zikang Xiong, Daniel Lawson, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications. ICRA (2024)
Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. CoRR (2024)
Zikang Xiong, Suresh Jagannathan
Manipulating Neural Path Planners via Slight Perturbations. CoRR (2024)
Ashish Mishra, Suresh Jagannathan
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs. CoRR (2023)
Zikang Xiong, Joe Eappen, Daniel Lawson, Ahmed H. Qureshi, Suresh Jagannathan
Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints. CoRR (2023)
Ashish Mishra, Suresh Jagannathan
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. ECOOP (2023)
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
Covering All the Bases: Type-Based Verification of Test Input Generators. CoRR (2023)
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
Covering All the Bases: Type-Based Verification of Test Input Generators. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan
Model-free Neural Lyapunov Control for Safe Robot Navigation. CoRR (2022)
Zikang Xiong, Ishika Agarwal, Suresh Jagannathan
HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning. SafeAI@AAAI (2022)
Ashish Mishra, Suresh Jagannathan
Specification-Guided Component-Based Synthesis from Effectful Libraries. CoRR (2022)
Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. ECML/PKDD (3) (2022)
Joe Eappen, Suresh Jagannathan
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. CoRR (2022)
Ashish Mishra, Suresh Jagannathan
Specification-guided component-based synthesis from effectful libraries. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan
Model-free Neural Lyapunov Control for Safe Robot Navigation. IROS (2022)
Joe Eappen, Suresh Jagannathan
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. ECML/PKDD (4) (2022)
Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. CoRR (2022)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR (2021)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI (2021)
Zikang Xiong, Suresh Jagannathan
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning. CoRR (2021)
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
Data-Driven Abductive Inference of Library Specifications. CoRR (2021)
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
Robustness to Adversarial Attacks in Learning-Enabled Controllers. CoRR (2020)
Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. FMCAD (2020)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CoRR (2020)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV (1) (2020)
He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
An inductive synthesis framework for verifiable reinforcement learning. PLDI (2019)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR (2019)
Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan
Mergeable replicated data types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. 2019 (2019)
Kartik Nagar, Suresh Jagannathan
Automated Parameterized Verification of CRDTs. CAV (2) (2019)
Sandeep Neema, Rinku Parikh, Suresh Jagannathan
Building Resource Adaptive Software Systems. IEEE Softw. 36 (2) (2019)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63 (2) (2019)
Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. CoRR (2019)
He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
An Inductive Synthesis Framework for Verifiable Reinforcement Learning. CoRR (2019)
Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
Version Control Is for Your Data Too. SNAPL (2019)
Kartik Nagar, Suresh Jagannathan
Automated Parameterized Verification of CRDTs. CoRR (2019)
He Zhu, Stephen Magill, Suresh Jagannathan
A data-driven CHC solver. PLDI (2018)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone together: compositional reasoning and inference for weak isolation. Proc. ACM Program. Lang. 2 (POPL) (2018)
Kartik Nagar, Suresh Jagannathan
Automated Detection of Serializability Violations under Weak Consistency. CoRR (2018)
Kartik Nagar, Suresh Jagannathan
Automated Detection of Serializability Violations Under Weak Consistency. CONCUR (2018)
Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan
Safe replication through bounded concurrency verification. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Fine-grained distributed consistency guarantees with effect orchestration. PaPoC@EuroSys (2018)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP (2017)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone Together: Compositional Reasoning and Inference for Weak Isolation. CoRR (2017)
Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports 6 (3) (2016)
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. ACM SIGSOFT Softw. Eng. Notes 41 (1) (2016)
He Zhu, Gustavo Petri, Suresh Jagannathan
Automatically learning shape specifications. PLDI (2016)
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. IEEE Data Eng. Bull. 39 (1) (2016)
Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan
Synthesizing racy tests. PLDI (2015)
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Declarative programming over eventually consistent data stores. PLDI (2015)
He Zhu, Aditya V. Nori, Suresh Jagannathan
Dependent Array Type Inference from Tests. VMCAI (2015)
He Zhu, Aditya V. Nori, Suresh Jagannathan
Learning refinement types. ICFP (2015)
Gustavo Petri, Jan Vitek, Suresh Jagannathan
Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP (2015)
He Zhu, Gustavo Petri, Suresh Jagannathan
Poling: SMT Aided Linearizability Proofs. CAV (2) (2015)
Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. CoRR (2015)
Suresh Jagannathan
Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). FSTTCS (2015)
Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte
Atomicity refinement for verified compilation. PLDI (2014)
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
Atomicity Refinement for Verified Compilation. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
: A Prescription for Safely Relaxing Synchrony. PADL (2014)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. 24 (6) (2014)
Gowtham Kaki, Suresh Jagannathan
A relational framework for higher-order shape analysis. ICFP (2014)
Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. J. ACM 60 (3) (2013)
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
Principles of POPL. ACM SIGPLAN Notices 48 (4S) (2013)
He Zhu, Suresh Jagannathan
Compositional and Lightweight Dependent Type Inference for ML. VMCAI (2013)
Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
Flexible access control for javascript. OOPSLA (2013)
Matko Botincan, Mike Dodds, Suresh Jagannathan
Proof-Directed Parallelization Synthesis by Separation Logic. ACM Trans. Program. Lang. Syst. 35 (2) (2013)
Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
Plan B: a buffered memory model for Java. POPL (2013)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH (2012)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Eliminating read barriers through procrastination and cleanliness. ISMM (2012)
Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
Dependence analysis for safe futures. Sci. Comput. Program. 77 (6) (2012)
Matko Botincan, Mike Dodds, Suresh Jagannathan
Resource-sensitive synchronization inference by abduction. POPL (2012)
Suresh Jagannathan, Jeevan Eranti
High Quality of Service on Video Streaming in P2P Networks using FST-MDC CoRR (2011)
Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
Isolating Determinism in Multi-threaded Programs. RV (2011)
Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA (2011)
Naresh Rapolu, Karthik Kambatla, Suresh Jagannathan, Ananth Grama
TransMR: Data-Centric Programming Beyond Data Parallelism. HotCloud (2011)
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
Composable asynchronous events. PLDI (2011)
Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
Relaxed-memory concurrency and verified compilation. POPL (2011)
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson
Modular reasoning for deterministic parallelism. POPL (2011)
Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama
Asynchronous Algorithms in MapReduce. CLUSTER (2010)
K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
Lightweight asynchrony using parasitic threads. DAMP (2010)
Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS (2010)
Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan
Analyzing concurrency bugs using dual slicing. ISSTA (2010)
Nicholas Kidd, Suresh Jagannathan, Jan Vitek
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN (2010)
Lukasz Ziarek, Suresh Jagannathan
Lightweight checkpointing for concurrent ML. J. Funct. Program. 20 (2) (2010)
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
Speculative N-Way barriers. DAMP (2009)
Xiangyu Zhang, Armand Navabi, Suresh Jagannathan
Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO (2009)
Armand Navabi, Suresh Jagannathan
Exceptionally Safe Futures. COORDINATION (2009)
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan
Semantics-aware trace analysis. PLDI (2009)
Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama
Efficient tag detection in RFID systems. J. Parallel Distributed Comput. 69 (2) (2009)
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
Partial memoization of concurrency and communication. ICFP (2009)
Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan
Protocol Inference Using Static Path Profiles. SAS (2008)
Ronaldo A. Ferreira, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama
Semantic indexing in structured peer-to-peer networks. J. Parallel Distributed Comput. 68 (1) (2008)
Shuo-Huan Hsu, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, Venkat Venkatasubramanian
A domain-specific compiler theory based framework for automated reaction network generation. Comput. Chem. Eng. 32 (10) (2008)
Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan
PHALANX: a graph-theoretic framework for test case prioritization. SAC (2008)
Asad Awan, Suresh Jagannathan, Ananth Grama
Scalable Data Collection in Sensor Networks. HiPC (2008)

Suresh Jagannathan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Suresh Jagannathan