Suresh Jagannathan

Registered user since Thu 17 Jul 2014

Name: Suresh Jagannathan

Affiliation: Purdue University

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

Contributions

ARRAY 2018Committee Member in Program Committee within the ARRAY 2018-track
PLDI 2019Committee Member in Program Committee
POPL 2019Committee Member in Program Committee within the Research Papers-track
SPLASH 2018Author of Safe Replication through Bounded Concurrency Verification within the OOPSLA-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
ML 2017Author of Mergeable types within the ML 2017-track
PLDI 2018Author of A Data-Driven CHC Solver within the PLDI Research Papers-track
POPL 2018Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track
POPL 2017Committee Member in Steering Committee
PLDI 2017Committee Member in External Program Committee
PPS 2016Committee Member in Program Committee within the PPS 2016-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
Off the Beaten Track 2016Committee Member in Program Committee within the Off the Beaten Track-track
Session Chair of Session Two (part of Off the Beaten Track)
PLDI 2016Author of Automatically Learning Shape Specifications within the Research Papers-track
POPL 2016Committee Member in Steering Committee
ML4PL 2015Committee Member in Program committee within the ML4PL-track
Author of PPAML: Probabilistic Programming Advancing Machine Learning within the ML4PL-track
PLDI 2015Author 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
ECOOP 2015Presenter 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
SPLASH 2013Author of Flexible Access Control for Javascript within the OOPSLA-track