About
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 with — among other things — programmable networking hardware, erasure codes, in-memory replication, and model checking.
News
-
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.
Recent Posts
- 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