Sriram Rajamani
I am Assistant Managing Director of Microsoft Research India, and "area champion" for two research areas in Microsoft Research India: (1) Programming Languages and Tools, (2) Security and Privacy
My bio can be found here.
I am broadly interested in programming languages and tools to improve software productivity. Specific current research interests include:
- building new programming tools by combining verification, testing, and statistics,
- designing new programming models for concurrent and distributed systems, and
- designing programming languages and analysis techniques to enable widespread use of machine learning by non-experts.
- Together with colleagues at MSR India, I am working on a blended learning model (combining online learning with in-classroom pedagogy) for education in India. For more detais see: Massively Empowered Classrooms.
- I am very interested in CS research community activities in India. See Mysore-Park workshop series
- Recent papers can be found here.
Editorial Boards:
Keynote Talks:
- SAS 2011, APLAS 2011, 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:
- POPL 2013, PLDI 2013 (ERC), ISEC 2013 (upcoming)
- 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!)
