Sriram K. Rajamani

Microsoft Research India

I am a Principal Researcher and Research Manager at Microsoft Research India. I lead the Rigorous Software Engineering (RSE) Research Group.  Towards the end of 2005, I moved to the newly formed MSR India lab to start a new research group in programming languages and software engineering.

This is a picture of full-time members of RSE. We have had several  interns and visitors from USA, Europe and India. Here are pictures from summer 2006 (collab room) and summer 2007  (terrace, and boat)

Prior to moving to MSR India, I was manager for the Software Productivity Tools (SPT) group at MSR Redmond.  SPT was a truly remarkable set of people.

New

ˇ Static Driver Verifier (SDV) team in Microsoft Redmond is looking for a developer.  If you are interested in working in real-word application of formal methods you can apply here.  You can read about SDV and SLAM.

ˇ Submit papers to ISEC 2008, first  India Software Engineering Conference.

ˇ I am co-teaching a course titled Program Analysis and Verification at the Indian Institute of Science from August-December 2007.  Slides from my lectures can be found here.

ˇ Recent papers can be found here.

 Keynote Talks:

ˇ APLAS 2007 (upcoming)

ˇ ASE 2006 , SEFM 2006,  APSEC 2006, Soft MC 2005, CONCUR 2004, APPSEM 2004, Soft MC 2001 (done!)

Conference Chairing:

ˇ ISEC 2008  (upcoming)

ˇ CAV 2005 (co-chaired together with Kousha Etessami), SPIN 2003 (co-chaired together with Tom Ball)  Done!

Program Committees:

ˇ ISSTA 2008, TACAS 2008, ICSE 2008 (upcoming)

ˇ FSE 2007, FSTTCS 2006, APLAS 2006, APSEC 2006, PLAS 2006 , POPL 2005, TACAS 2005,  FMCAD 2004 , ISSTA 2004 ,  FSTTCS 2003 ,  PPoPP 2003  , CAV 2003 , TACAS 2003,  SPIN 2002 , FSE 2002, SAVE 2001 (done!)