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.
-
04 Aug 2017
Eris, our network-integrated distributed transaction processing system, will appear at SOSP 2017 in Shanghai, China.
-
01 Jul 2017
Our paper on diskless distributed recovery has been selected to appear at DISC 2017.
-
08 May 2017
The source code for NOPaxos is now available.
-
31 Mar 2017
More recognition for NOPaxos. It was awarded the Best Poster Award at the Industry-Academia Partnership Cloud Workshop at UW.
-
08 Dec 2016
NOPaxos was featured on The Morning Paper blog, with a good write-up of the paper's main contributions.
-
19 Oct 2016
NOPaxos was recognized at UW CSE's annual industrial affiliates open house by Madrona Venture Group for its start-up potential. See the full post on CSE news.
-
25 Aug 2016
Our paper on providing stable storage for the Diskless Crash-Recovery failure model is now available.
-
31 Jul 2016
Our paper on eliminating Paxos overhead with network support will appear at OSDI 2016 in Savannah, GA.
Blog 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
- Understanding Traces — 18 Feb 2019
- Producers and Consumers — 27 Aug 2018
- A Game of Thrones — 12 Jan 2018
- On Ink Shortages — 20 Oct 2017
- Raft is (Equivalent to) Paxos, VR — 28 Feb 2017
- Quines as a Side-channel — 02 Sep 2016
- Using Travis CI with Github Pages — 12 Jun 2015
- Search For Course Builder — 14 Aug 2013