Suresh Jagannathan

Suresh Jagannathan

Professor of Computer Science
Professor of Electrical and Computer Engineering (courtesy)

Joined department: 2002

Education:
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.

Selected Publications
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).
Research Funding
Suresh Jagannathan, DARPA IPA - Suresh Jagannathan, Defense Advanced Res Projects Agency, 09/27/2013-09/26/2015
Suresh Jagannathan, SHF: Small: Programming with Non-Coherent Memory, National Science Foundation, 09/01/2012-08/31/2015
Suresh Jagannathan, and Jan Vitek, SHF:Small: HAVOC: Verified Compilation of Concurrent Managed Languages, National Science Foundation, 09/01/2013-08/31/2016
Bharat K. Bhargava, Ananth Y. Grama, Suresh Jagannathan, and Xiangyu Zhang, Net-Centric Software & Systems Industry/University Cooperative Research Center, National Science Foundation, 04/15/2013-03/31/2015
Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan, CPS: Medium: Robust Distributed Wind Power Engineering, National Science Foundation, 09/01/2011-08/31/2015
Suresh Jagannathan, Jan Vitek, and Gustavo Petri, Verified Compilation of Concurrent Managed Languages, Air Force Research Laboratory, 07/30/2013-07/29/2016
Wojciech Szpankowski, Mikhail J. Atallah, Aditya P. Mathur, Vernon J. Rego, Ananth Y. Grama, Yuan Qi, Clifton W. Bingham, Suresh Jagannathan, and Jennifer L. Neville, Emerging Frontiers of Science of Information, National Science Foundation, 08/01/2010-07/31/2016