Speaker: Sriram K. Rajamani
Title:  Rigorous Software Engineering
 
Wednesday, November 1st
11:00 - 12:00 Noon       Joint SVC/ISRI Seminar
Location          1507 Newell Simon Hall
 
 Abstract: The RSE (Rigorous Software Engineering) group was formed in
 Microsoft Research India late last year.  We are working on a variety
 of research projects that aim to improve productivity by bringing
 rigor to software development in the large. We had an exciting summer
 with several interns and visitors from Carnegie Melon, University of
 Illinois at Chicago, Columbia, University of California at Santa
 Cruz, University of Stuttgart, Indian Institute of Science, Indian
 Institutes of Technology and several of our projects are getting off
 the ground.  In this talk I will present three projects:
 
· Synergy is a new algorithm to combine static analysis and testing
          for scalable analysis of software. The Yogi tool implements
          this algorithm to build a property checker for binaries.
 
· Netra uses relational analysis to find errors in access control
          configurations of operating systems.
 
· DesignRules allows stating design level rules that can be verified
          and enforced on software.
 
I will also list several other projects the RSE group is pursuing.
 
Towards the end, I will briefly present an overview of other areas of
research in Microsoft Research India, and opportunities for summer
internships.
 
 
Bio:
 
Sriram K. Rajamani is a Senior Researcher and Research Manager with
Microsoft Research India, Bangalore.  Sriram leads the Rigorous
Software Engineering (RSE) group in Microsoft Research India. The RSE
group does research in improving productivity by bringing rigor to all
aspects of software development.  Prior to moving to the India lab in
2005, Sriram was most recently manager of the Software Productivity
Tools group in Microsoft Research Redmond. Sriram started the SLAM
project with Tom Ball in 1999 at MSR Redmond, and a tool based on SLAM
called the Static Driver Verifier now ships as part of the Windows
Driver Development toolkit. Sriram has a PhD in Computer Science from
the University of California at Berkeley. In a previous life Sriram
has worked as a programmer for over 5 years writing telecommunication
software (for Syntek Inc) and electronic design automation software
(for Xilinx Inc). 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.