Build engineer on the Build & Test team.- Collaborated with 48+ stakeholders to build tool to automatically sync/sanitize "intern-safe" version of codebase.- Led team of 3 to optimize and incrementalize build system. No-op build time: 15sec → 6sec.- Built internal web application to view build and test logs.

Compiler engineer on the Scala Language & Tools team. Visiting engineer on Source Control team.- Led team of 4 to develop tool to manage Git sparse checkouts derived from Bazel. - Presented at Git Merge 2022. - Typical git status time: 3sec → 200ms.- Migrated compiler rulesets, code generation pipelines from Pants to Bazel.- Integrated formatting and linting tooling into command-line workflows.

Compiler engineer working on improving the scalability of the Hack programming language.- Formalized and proved the correctness of Hack's incremental typechecking algorithm.- Migrated Hack to use the Language Server Protocol, providing support for all major editors.- Developed a linting system for Hack code written in Hack itself, now supporting hundreds of lint rules.- Developed a refactoring system suitable for monorepo-scale code migrations. Typical job time: 12hr → 15min. - Developed low-latency IDE server. Worst-case startup time: 5min → 10sec.

- Created "stacked diffs" dependency graph visualization for Phabricator code review tool.- Combined deployment methods for configuration changes and source code changes into one workflow.- Improved accessibility for test console display.

- Streamlined automatic-grading web application. Core workflow: 6 clicks → 1 click.- Developed automated project deployment system for rapid iteration on project specifications.- Worked in teams to write homework, project specifications, and exams.

- Calculated and displayed savings to customers for all digitally pre-ordered items.- Provided heuristics for downstream teams to effectively triage item cancellation events.- Developed alerting for upcoming large-scale pre-order release events in order to provision machines preemptively.