Program committees
ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE), June 2001
ACM Conference on Programming Language Design and Implementation (PLDI), June 2006
ACM SIGSOFT Sympoisum on Foundations of Software Engineering (FSE), October 2006
International Conference on Global Software Engineering (ICGSE), August 2008
Principles and Practice of Programming in Java (PPPJ), September 2008
International Conference on Compiler Construction (CC), March 2009
Workshop organization
IBM India Research Lab Workshop on Next Generation Programming Languages and Environments, New Delhi, India, Nov 2006 (co-organized with R. K. Shyamasundar)
Academic Interaction
Supervised summer internships of Atanas Rountev (1999), Karthikeyan Bhargavan (2000), Christian Grothoff (2004), Greta Yorsh (2006), Thomas and Isil Dillig (2007)
Served on PhD thesis committee of Karthikeyan Bhargavan (U. Penn, 2002) and Wang Tao (Natl. Univ. Singapore, 2008)
Taught a graduate class at University of Chicago (Structure and Interpretation of Computer Programs, Winter 2002)
Adjunct faculty in Department of Computer Science and Engineering, IIT Kanpur
Professional Societies
ACM and SIGPLAN
Editorial Board
Software Practice and Experience (since August 2007)