PhD Student, University of Colorado at Boulder

Curriculum Vitae | Github | Linkedin

I am a PhD student in the Department of Computer Science at the University of Colorado, Boulder, where I started in Fall 2015 and received an MS in Fall 2017. I am a member of the Programming Languages and Verification Group (CUPLV), advised by Professor Evan Chang. Previously, I was a student at Williams College, in Williamstown, MA, where I graduated in June 2015 with a BA in Computer Science and Mathematics.

I am interested in building static analysis tools and formalisms that are able to handle the complexities of modern, feature-rich dynamic languages. My current research aims to improve precision and efficiency of JavaScript analysis by combining a standard forwards abstract interpretation with a goal-directed backwards symbolic execution, refuting spurious data-flow on-demand at critical points during the forwards analysis.

Program Analysis Internship @ Uber Palo Alto, CA, Summer 2017

Built a type analysis to statically detect multithreading bugs in functional-reactive Android applications. I worked under Manu Sridharan in the static analysis group.

Oregon Programming Languages Summer School Eugene, OR, June 2016

Attended OPLSS 2016. I saw a wide range of talks from invited lecturers and other students, gave a talk on my own research, and got to know a ton of other PL researchers.

PLDI Student Research Competition Santa Barbara, CA, June 2016

Won 2nd place for my poster and talk on "Goal-Directed Backwards Static Analysis for JavaScript". abstract

DARPA MUSE Demo Meeting Hackathon Washington D.C., February 2016

Assisted the CUPLV MUSE team with their hackathon by building a backwards, goal-directed Android analysis, looking for misuses of common Android encryption libraries.

POPL (and PLMW) St. Petersburg, FL, January 2016

Attended POPL '16 and the co-located Programming Languages Mentoring Workshop on a Research Community Development grant from CU.