BS, Computer Science
State University of New York at Stony Brook (1982)
MS, Electrical Engineering and Computer Science
Massachusetts Institute of Technology (1985)
PhD, Electrical Engineering and Computer Science
Massachusetts Institute of Technology (1989)
Professor Jagannathan is interested in the semantics and implementation of high-level programming
languages. His work focusses on formal methods for describing and implementing such languages, e.g.,
type theory, program analysis, abstract interpretation, etc., as well as compiler and runtime
techniques that leverage such analyses.
He also has an active interest in the specification, verification, and implementation of concurrent
and distributed systems. Much of this work involves exploring the role of verification techniques to
enable sound program optimizations for concurrent programs. Certified compilation of expressive
concurrent languages is another subject being actively pursued. An important sub-topic is the
definition of expressive memory models that define visibility and consistency guarantees on shared
data accesses. Lifting processor-defined memory consistency properties to inform compilation and
language specification is an important focus area.
Matko Botincan, Mike Dodds, Suresh Jagannathan, "Resource-Sensitive Synchronization Inference by
Abduction", ACM Symposium on Principles of Programming Languages (2012).
Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan, "Composable Asynchronous Events", ACM
Conference on Programming Language Design and Implementation (2011).
Jaroslav Sevcik, Victor Vafeiadis, Francesco Zappa-Nardelli, Suresh Jagannathan, Peter Sewell,
"Relaxed Memory Concurrency and Verifying Compilation", ACM Symposium on Principles of
Programming Languages (2011).
Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan, CPS: Medium: Robust Distributed Wind Power
Engineering, National Science Foundation, 9/1/2011-8/31/2015.
Suresh Jagannathan, Compiler Backend Experiment Ext. Phoni, Microsoft Corporation, 2/8/2005.
Suresh Jagannathan, Compiler Backend Expirement, Microsoft Corporation, 2/8/2005.
Suresh Jagannathan, CRI II-New: A Computational Infrastructure For Scalable Transactional Memory
Abstraction in Managed Languages, National Science Foundation, 6/1/2010-5/31/2013.
Suresh Jagannathan, Distributed Storage System Research, NEC Laboratories America,
Suresh Jagannathan, EAGER: Verified Compilation and High-Level Memory Models Sponsor Name:,
National Science Foundation, 5/15/2012-4/30/2013.
Suresh Jagannathan, Samsung, Samsung, 2/7/2011.
Suresh Jagannathan, SHF: Small: Programming with Non-Coherent Memory, National Science
Tony Hosking, Ananth Y. Grama, Jan Vitek, and Suresh Jagannathan, Microsoft: Language &
Runtime Support, Microsoft Corporation, 6/16/2008.
Wojciech Szpankowski, Ruben Aguilar, Mikhail J. Atallah, Christopher Clifton, Supriyo Datta, Ananth
Y. Grama, Suresh Jagannathan, Jennifer Neville, Yuan Qi, and Doraiswami Ramkrishna, Emerging
Frontiers of Science of Information, National Science Foundation, 8/1/2010-7/31/2015.