CS 2003-2004 Faculty Information - Department of Computer ...

26
CS 2003-2004 Faculty Information
International Conference on Parallel Processing (ICPP-04), and a co-founder and co-chair for the first and the second
International Workshop on Mobile Peer-to-Peer Computing (MP2P). He is a member of the ACM.
Selected Publications:
Chris Gniady, Y. Charlie Hu, and Yung-Hsiang Lu, “Program Counter Based Techniques for Dynamic Power
Management,” Proceedings of the 10th International Symposium on High-Performance Computer Architecture (HPCA-
10), Madrid, Spain, February 14-18, 2004.
Y. Charlie Hu, Saumitra M. Das, and Himabindu Pucha, “Exploiting the Synergy between Peer-to-Peer and Mobile Ad
Hoc Networks,” Proceedings of the HotOS-IX: Ninth Workshop on Hot Topics in Operating Systems, Lihue, Kauai,
Hawaii, May 18-21, 2003.
Y. Charlie Hu, Weimin Yu, Alan Cox, Dan Wallach, and Willy Zwaenepoel, “Runtime Support for Distributed Sharing
in Safe Languages,” ACM Transactions on Computer Systems, Volume 21, No. 1, pp. 1-35, February 2003.
Suresh Jagannathan
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
Positions:
Associate Professor of Computer Science
Associate Professor of Electrical and Computer Engineering (Courtesy)
Bio-sketch:
Professor Jagannathan is interested in the semantics and implementation of high-level programming languages like
SML, Scheme, or Java. More specifically, his interests lie in formal methods for describing and implementing such languages,
e.g., type theory, program analysis, abstract interpretation, etc.
He also has an active interest in coordinated and distributed languages. One aspect of this research studies the semantics
and implementation of lightweight transactions as an alternative to lock-based synchronization for expressing
concurrency. The results of this work are used to devise scalable coordination and distributed systems.
His research also explores issues in the design and implementation of next-generation storage infrastructures. This
work applies formal methods and software engineering principles to develop highly-available scalable storage applications
for wide-area deployment.
Selected Publications:
Adam Welc, Suresh Jagannathan, and Antony Hosking, “Transactional Monitors for Concurrent Objects,” European
Conference on Object-Oriented Programming (2004).
Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony Hosking, “A Semantic Framework for Designer Transactions,”
European Symposium on Programming (2004).
Suresh Jagannathan, “Continuation-Based Transformations for Coordination Languages,” Theoretical Computer
Science (2000).