conf.researchr.org / Suresh Jagannathan
![Suresh Jagannathan](https://conf.researchr.org/getProfileImage/sureshjagannathan/70e51299-573f-4211-a895-b2028c19c585/small.jpg?1711463473000)
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
2024
PLDI
Formal Methods for Incorrectness
2023
2022
SPLASH
2021
SPLASH
- 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
2020
Static Analysis Symposium
2019
SPLASH
PLDI
2018
SPLASH
2017
2016
Off the Beaten Track
2015
ECOOP
ML4PL
PLDI
- 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