conf.researchr.org / 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/
Research interests:Program Verification, Functional Programming, Concurrent and Distributed Systems, Compilers, Type Systems
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