Software engineer on the Build & Test team.

Compiler engineer on the Scala Language & Tools team. Visiting engineer on Source Control team.

• Integrated formatting and linting tooling into command-line workflows.
• Migrated compiler rulesets, code generation pipelines to the Bazel build system.
• Developed tool to manage Git sparse checkouts to derived from Bazel. Typical git status time: 3sec → 200ms.

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 dependency graph visualization for internal code review tool.

• Detected large-scale pre-order release events in order to scale preemptively.

• Streamlined teaching assistant workflow substantially by redesigning automatic-grading web application.