Recent Publications

. How to Reason about Correctness of Programs Designed for Non-Volatile Memory?. Brown CS: Master’s Project Report, 2017.


. Global Value Numbering. NIT Calicut: BTech Project Report, 2013.

PDF Slides


Software Engineer Intern, Pure Storage

Jun 2017 – Aug 2017. Mountain View, California

Research Associate Intern, Hewlett-Packard Laboratories

May 2016 - Sep 2016. Palo Alto, California

Member Technical Staff, Oracle

Jul 2013 – May 2015. Bangalore, India

Software Engineer Intern, HealthLucid

Nov 2012 – Mar 2013. Remote