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 and implementation of concurrent and distributed
systems. One aspect of this research studies the semantics and implementation of lightweight
transactional abstractions as an alternative to lock-based synchronization for expressing scalable
concurrent applications.
His current research also explores new software engineering techniques to infer salient behavioral
properties of programs, using a combination of both static and dynamic mining strategies. The
applicability of this work lies in improved error detection, testcase generation, code quality and
maintenance, and security.
Selected Publications
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).
Mike Dodds, Suresh Jagannathan, Matthew Parkinson, "Modular Reasoning for Deterministic Parallelism",
ACM Symposium on Principles of Programming Languages (2011).
Research Funding
Jan Vitek and Suresh Jagannathan, CPA-SEL-T: Collaborative Research: Unified Open Source
Transactional Infrastructure, National Science Foundation, 9/15/2008-8/31/2012.
Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan, CPS: Medium: Robust Distributed Wind Power
Engineering, National Science Foundation, 10/1/2011-1/31/2015.
Suresh Jagannathan, Compiler Backend Experiment Ext. Phoni, Microsoft Corporation, 2/8/2005.
Suresh Jagannathan, Samsung, Samsung, 2/7/2011.
Suresh Jagannathan and Ananth Y. Grama, Eager Maps and Lazy Folds for Graph-Structured
Applications, National Science Foundation, 2/1/2009-1/31/2012.
Suresh Jagannathan and Jan Vitek, CRI II-New: A Computational Infrastructure For Scalable
Transactional Memory Abstraction in Managed Languages, National Science Foundation,
6/1/2010-5/31/2013.
Tony Hosking, 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.
Last Updated: January 18, 2012 05:26pm
