Recent Publications

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

PDF

Experience

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

Contact