I am a PhD student in the Paul G. Allen School of Computer Science &Engineering at the University of Washington, where I work with theProgramming Languages and Software Engineering (PLSE) group.Clickhere for more info.I do research in AI (abstract interpretation).

Programmer productivity is my main interest.This takes me to a lot of exciting places,ranging from ways to make software verificationeasy and practical for programmers,to thinking about how programming might look like in the future with AI-assistedprogramming tools and prompt-based software engineering.Outside the ivory tower,I've gotten my feet wet in industry,most recently as anapplied science intern withtheAWS Provable Security group(though back then, it was known as AWS Privacy & Security Automation).In the past,I've had the privilege to work at a variety of places,ranging from small startups with 4 backend developers,to behemoths like@twitter.

Before all that, I earned my Master's degree in Computer Science at@ubc,where my thesis investigated howdevelopers investigate data-flow reachability questions,working on user interfaces and IDEs was fun!

PinnedLoading

1. reach-hoverreach-hoverPublic

   The ReachHover plugin, presented in the paper "Breaking the Bento box: Accelerating Visual Momentum in Data-flow Analysis" in ICSME 2023

   Kotlin

2. checker-frameworkchecker-frameworkPublic

   Forked fromtypetools/checker-framework

   Pluggable type-checking for Java

   Java

3. TypeScript.tsTypeScript.tsPublic

   a DSL (domain specific language) for generating TypeScript projects

   TypeScript 7 4

4. it-dependsit-dependsPublic

   a tool for visualizing entity dependencies which cross-cut commit history

   TypeScript 2 1

5. linkedin-copypastalinkedin-copypastaPublic

   💯👌😂 making LinkedIn shitposts even easier!

   Python 27 2