I currently work at Google.
In 2022, I finished my Ph.D. in Computer Science & Engineering at the University of Washington, where I worked in the Systems Lab and was advised by Dan Ports and Tom Anderson.
I am broadly interested in the theory and practice of fault-tolerant distributed systems. My work has touched on the intersection of distributed systems and — among other things — programmable networking hardware, erasure codes, in-memory replication, and model checking.
22 Mar 2019
I'm excited to announce that I've been named as a 2019 IBM PhD Fellow.
21 Dec 2018
The DSLabs paper on teaching distributed systems with efficient model checking will appear at EuroSys 2019 in Dresden, Germany.
02 Jun 2018
DSLabs, the framework and lab assignments I built for UW's distributed systems class, is now available on GitHub.
27 Apr 2018
I recently attended PaPoC '18 and presented our short paper on providing efficient causal message delivery in datacenters using programmable network hardware.
07 Mar 2018
The source code for Eris, our network-integrated distributed transaction processing protocol, is now available.
- Deadlock Freedom: Beyond Liveness Properties — 19 Jan 2023
- Linearizable, Wait-free Reads of Replicated State Machines — 13 Apr 2020
- Randomized Consensus on Unknown Domains in Finite Rounds — 10 Jun 2019