Suresh Jagannathan -

Registered user since Thu 17 Jul 2014

Name:Suresh Jagannathan

Country:United States

Affiliation:Purdue University

Personal website:https://www.cs.purdue.edu/homes/suresh/

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