Contact Info

Bio

Research

Papers

Teaching

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:

• "Righting Software" has been selected by IEEE Software's editorial and advisory boards as one of the25th-Anniversary Top Picks for full-length, peer-reviewed articles
• Register and attend ISEC 2009
• We organized a summer school on programming languages, analysis and verification with IISc. More information here.
• Recent papers can be found here.

Editorial Boards:

• CACM

 Keynote Talks:

• VSTTE 2008, ATVA 2008, APLAS 2007, ASE 2006 , SEFM 2006,  APSEC 2006, Soft MC 2005, CONCUR 2004, APPSEM 2004, Soft MC 2001 (done!)

Conference Chairing:

• ISEC 2009  (upcoming)
• ISEC 2008  (co-chaired together with Pankaj Jalote), CAV 2005(co-chaired togetherwith Kousha Etessami), SPIN 2003(co-chaired together with Tom Ball)  (done!)

Program Committees:

• FSE 2009,
• POPL 2009,  FSTTCS 2008, CCS 2008, ISSTA 2008, TACAS 2008, ICSE 2008, 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!)