Sriram Rajamani
I am Assistant Managing Director of Microsoft Research India.
My research interests are in programming languages and software engineering. I am "area champion" for two research areas in Microsoft Research India: (1) Programming Languages and Tools, (2) Security and Privacy
I moved to MSR India towards the end of 2005. 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:
- A decade of SLAM!
- CAV 2011 Award. Citation: "The 2011 CAV Award is given to Thomas Ball and Sriram Rajamani, both at Microsoft Research, for their 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."
- Our first paper on SLAM titled Automatic Predicate Abstraction of C Programs (with Tom Ball, Rupak Majumdar and Todd Millstein) won the Most Influential PLDI Paper award for PLDI 2001.
- Our retrospective on the SLAM project A decade of software model checking with SLAM (with Tom Ball and Vlad Levin) appears in CACM July 2011 issue
- I am very interested in CS research community activities in India
- Mysore-Park workshop series
- Submit papers to ISEC 2012
- Recent papers can be found here.
Editorial Boards:
Keynote Talks:
- SAS 2011, APLAS 2011 (upcoming talks)
- FM 2009, ICTAC 2009, TAP 2009, RV 2009, 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:
- VSTTE 2010 (co-chaired with Gary Leavens and Peter O'Hearn), ISEC 2008 and ISEC 2009 (co-chaired together with Pankaj Jalote), CAV 2005(co-chaired togetherwith Kousha Etessami), SPIN 2003(co-chaired together with Tom Ball) (done!)
Program Committees:
- VMCAI 2011
- PLDI 2010, ICSE 2010, ISEC 2010, ISSRE 2009, 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!)
