Professor of Computer Science
Professor of Electrical and Computer Engineering (courtesy)
Joined department in 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
Muralikrishna Ramanathan, Ananth Grama, Suresh Jagannathan, "Static Specification Inference Using
Predicate Mining", ACM Conference on Programming Language Design and Implementation (2007).
Lukasz Ziarek, Philip Schatz, and Suresh Jagannathan, "Stabilizers: A Modular Checkpointing
Abstraction for Concurrent Functional Programs", ACM International Conference on Functional
Programming (2006).
Adam Welc, Antony Hosking, and Suresh Jagannathan, "Transparently Reconciling Locks with Transactions
for Java Synchronization", European Conference on Object-Oriented Programming (2006).
Funding Administered by Computer Science
Antonio Cunei and Suresh Jagannathan, CT-ER: Controlled Declassification with Software
Transactional Memory, National Science Foundation, 9/1/2007-8/31/2009.
Jan Vitek and Suresh Jagannathan, CPA-SEL-T: Collaborative Research: Unified Open Source
Transactional Infrastructure, National Science Foundation, 9/15/2008-8/31/2011.
Suresh Jagannathan, Compiler Backend Experiment Ext. Phoni, Microsoft Corporation, 2/8/2005.
Suresh Jagannathan, Compiler Backend Expirement, Microsoft Corporation, 2/8/2008.
Suresh Jagannathan, Kala: An Efficient and Scalable Time Travel Infrastructure for Concurrent
Systems, National Science Foundation, 9/1/2007-8/31/2010.
Suresh Jagannathan and Ananth Y. Grama, Eager Maps and Lazy Folds for Graph-Structured
Applications, National Science Foundation, 1/1/2009-12/31/2010.
Suresh Jagannathan and Ananth Y. Grama, Profile-Guided Speculation for Multicore
Architectures, Intel Corporation, 9/12/2006.
Suresh Jagannathan and Jan Vitek, CSR/AES: Fault Determination and Recovery in Cycle-Sharing
Infrastructures, National Science Foundation, 9/1/2005-8/31/2009.
Suresh Jagannathan and Jan Vitek, CSR/AES: Fault Determination and Recovery in Cycle-Sharing
Infrastructures (Supplement), National Science Foundation, 9/1/2005-8/31/2009.
Tony Hosking, Jan Vitek, Suresh Jagannathan, and Ananth Y. Grama, Microsoft: Language and Runtime
Support for Safe and Scalable Programs, Microsoft Corporation, 6/16/2008.
Last Updated: June 16, 2009 10:23am
