Sriram's research interests are in programming languages, programming tools and software productivity. Several of his projects have had influence in both academia and industry, the most notable one being the SLAM project, which is the basis for Microsoft's Static Driver Verifier (A decade of software model checking with SLAM from CACM July 2011). Together with Tom Ball, he was awarded the CAV 2011 Award for "contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs." He is also co-winner of Most Influential PLDI Paper award for PLDI 2001 (for this paper) and SIGSOFT Best Paper Award for FSE 2006 (for this paper).
Prior to moving to the India lab, Sriram was most recently manager of the Software Productivity Tools group in Microsoft Research Redmond. Sriram has a PhD in Computer Science from the University of California at Berkeley, MS in Computer Science from the University of Virginia, and a BE in Computer Science from Anna University College of Engineering, Guindy, in Chennai. In a previous life Sriram has worked as a programmer for over 5 years writing telecommunication software and electronic design automation software. He uses his first-hand experience in the realities of commercial software development to guide his choice of problems and approaches to research in software productivity.
Sriram is an Adjunct Professor at the Indian Institute of Technology in Hyderabad. He serves on the on the editorial board of CACM. He co-founded the ISEC conference in India, and serves on the executive committee of the Special Interest Group on Software Engineering (SIGSE) in India. He co-founded the Mysore-Park workshop series, and serves as chair of its scientific board.