Suresh Jagannathan

Registered user since Thu 17 Jul 2014

Name:Suresh Jagannathan
Country:United States
Affiliation:Purdue University

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
SPLASH 2022 Session Chair of Systems and Verification (part of OOPSLA)
Session Chair of Concurrency (part of OOPSLA)
Author of Specification-Guided Component-Based Synthesis from Effectful Libraries within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
Commute Author of Mergeable Replicated Datatypes within the Commute 2022-track
SPLASH 2021 Mentor in Organizing Committee and Mentors within the Faculty Mentorship Roundtable-track
Session Chair of PLDI 2020 Papers 3 (part of SIGPLAN Papers)
Author of Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring within the SIGPLAN Papers-track
Author of Data-Driven Abductive Inference of Library Specifications within the OOPSLA-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
PLDI 2021 Author of Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring within the PLDI-track
Committee Member in Program Committee within the PLDI-track
SAS 2020 Committee Member in Program Committee within the SAS-track
SPLASH 2019 Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track
Author of Mergeable Replicated Data Types within the OOPSLA-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
SPLASH 2018 Author of Safe Replication through Bounded Concurrency Verification within the OOPSLA-track
Author of Safe Replication through Bounded Concurrency Verification within the Posters-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
ARRAY 2018 Committee Member in Program Committee within the ARRAY 2018-track
PLDI 2018 Author of A Data-Driven CHC Solver within the PLDI Research Papers-track
POPL 2018 Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track
ML 2017 Author of Mergeable types within the ML 2017-track
PLDI 2017 Committee Member in External Program Committee
POPL 2017 Committee Member in Steering Committee
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
PLDI 2016 Author of Automatically Learning Shape Specifications within the Research Papers-track
Off the Beaten Track 2016 Committee Member in Program Committee within the Off the Beaten Track-track
Session Chair of Session Two (part of Off the Beaten Track)
POPL 2016 Committee Member in Steering Committee
PPS 2016 Committee Member in Program Committee within the PPS 2016-track
ECOOP 2015 Presenter of Taming Uncertainty, Scale, and Change: A Programming Language Perspective within the Summer School-track
Author of Cooking the Books: Formalizing JMM Implementation Recipes within the Research Track-track
ML4PL 2015 Committee Member in Program committee within the ML4PL-track
Author of PPAML: Probabilistic Programming Advancing Machine Learning within the ML4PL-track
PLDI 2015 Author of Synthesizing racy tests within the Research Papers-track
Session Chair of Concurrency II (part of Research Papers)
Committee Member in External Review Committee within the Research Papers-track
Author of Declarative Programming over Eventually Consistent Data Stores within the Research Papers-track
SPLASH 2013 Author of Flexible Access Control for Javascript within the OOPSLA-track
SPLASH 2011 Author of Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions within the OOPSLA-track