Sriram K. Rajamani: Rigorous Software Enineering
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.
 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.
|