☰

Suresh Jagannathan

Affiliations: 
Purdue University, West Lafayette, IN, United States 
Area:
Computer Science
Google:
"Suresh Jagannathan"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Ronaldo A. Ferreira grad student 2006 Purdue
Deepak R. Bobbarjung grad student 2007 Purdue
Murali K. Ramanathan grad student 2007 Purdue
Armand Navabi grad student 2011 Purdue
Lukasz S. Ziarek grad student 2011 Purdue

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Neema S, Parikh R, Jagannathan S. (2019) Building Resource Adaptive Software Systems Ieee Software. 36: 103-109
Zakowski Y, Cachera D, Demange D, et al. (2019) Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology Journal of Automated Reasoning. 63: 489-515
Kaki G, Nagar K, Najafzadeh M, et al. (2017) Alone together: compositional reasoning and inference for weak isolation Arxiv: Programming Languages. 2: 27
Hughes J, Sparks C, Stoughton A, et al. (2016) Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation Acm Sigsoft Software Engineering Notes. 41: 1-2
Dodds M, Jagannathan S, Parkinson MJ, et al. (2016) Verifying custom synchronization constructs using higher-order separation logic Acm Transactions On Programming Languages and Systems. 38
Jagannathan S, Laporte V, Petri G, et al. (2014) Atomicity Refinement for Verified Compilation Acm Transactions On Programming Languages and Systems. 36: 6
Sivaramakrishnan KC, Ziarek L, Jagannathan S. (2014) MultiMLton: A multicore-aware runtime for standard ML Journal of Functional Programming. 24: 613-674
Sivaramakrishnan KC, Ziarek L, Jagannathan S. (2014) RCML: A prescription for safely relaxing synchrony Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8324: 1-16
Botincan M, Dodds M, Jagannathan S. (2013) Proof-directed parallelization synthesis by separation logic Acm Transactions On Programming Languages and Systems. 35
Ševčík J, Vafeiadis V, Nardelli FZ, et al. (2013) CompCertTSO: A verified compiler for relaxed-memory concurrency Journal of the Acm. 60
See more...