As part of the Network Infrastructure Team, I developed simulations of new high-performance network technologies, and developed infrastructure to quickly run these simulations and interactively analyze the results.

As part of the Ads Infrastructure Team, I designed and implemented solutions to make it faster and easier to iterate on new ads personalization models. These include a domain-specific language for user modeling, dynamic configuration pushes, and automated load tests.

I led development and operations of course software for CS 61A (The Structure and Interpretation of Computer Programs) and other Berkeley CS courses, used by 6000+ students. Our projects included an online submission and grading system, a real-time office hours queue, and automated builds and deployment of the course website and materials.

As part of the Skip Programming Language Team (skiplang.com), I contributed to the Skip language compiler, the Skip standard library and tests, and language support for Nuclide, Facebook’s IDE.

As part of the Observability (Monitoring) Team, I developed a mathematical model for reasoning about and querying time-series data, and implemented a Scala library to compute with time-series data in this model.