My reserach interests lie in program analysis and software verification.
Research
I am currently exploring various SMT encodings for succintly capturing the program interleavings in concurrent programs.
Besides, I am also working on automatic loop invariant synthesis in sequential programs using dynamic execution.
Details about my current research and all past projects can be found at the
Research page.
Work Experience
Summer Intern, May - Aug 2011. With Franjo Ivancic at NEC Labs, Princeton, NJ.
Summer Intern, May - July 2008. With George Candea at EPFL Switzerland.
Education
PhD., University of Illinois Urbana-Champaign 2009-
B.Tech., Indian Institute of Technology Kanpur, India 2005-09
Honors
Indian National Physics Olympiad 2005
International Young Mathematicians' Convention 2004
National Talent Search Scholarship (NTSE), India
ACM Travel grants for attending POPL 2011 and ISCA 2011.
Talks
Compositionality entails Sequentializability (TACAS 2011, MidWest Verification Day 2010)
Refresh: Scalable Checkpointing (ISCA 2011)
Professional Activities
External Reviewer: CAV 2011, CONCUR 2011.
Hobbies
I am not an avid reader. Still, I like to keep a
list of all the books I have read in the recent past. In some sense, it motivates
me to take some time out to read. I also like to keep a list of the countries/places
I have visited with friends or for a conference. I hope both these lists grow in the time to come.
