Towards High-Performance Application-Level Storage Management. - Simon Peter 001; Jialin Li 001; Irene Zhang; Dan R. K. Ports; Thomas E. Anderson; Arvind Krishnamurthy; Mark Zbikowski; Doug Woos (HotStorage, 2014)

One tunnel is (often) enough. - Simon Peter 001; Umar Javed; Qiao Zhang 001; Doug Woos; Thomas E. Anderson; Arvind Krishnamurthy (SIGCOMM, 2014)

Verdi: a framework for implementing and formally verifying distributed systems. - James R. Wilcox; Doug Woos; Pavel Panchekha; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Thomas E. Anderson (PLDI, 2015)

Planning for change in a formal verification of the raft consensus protocol. - Doug Woos; James R. Wilcox; Steve Anton; Zachary Tatlock; Michael D. Ernst; Thomas E. Anderson (CPP, 2016)

Scalable verification of border gateway protocol configurations with an SMT solver. - Konstantin Weitz; Doug Woos; Emina Torlak; Michael D. Ernst; Arvind Krishnamurthy; Zachary Tatlock (OOPSLA, 2016)

Arrakis: The Operating System Is the Control Plane. - Simon Peter 001; Jialin Li 001; Irene Zhang; Dan R. K. Ports; Doug Woos; Arvind Krishnamurthy; Thomas E. Anderson; Timothy Roscoe (ACM Trans. Comput. Syst., 2016)

Modularity for decidability of deductive verification with applications to distributed systems. - Marcelo Taube; Giuliano Losa; Kenneth L. McMillan; Oded Padon; Mooly Sagiv; Sharon Shoham; James R. Wilcox; Doug Woos (PLDI, 2018)

A Graphical Interactive Debugger for Distributed Systems. - Doug Woos; Zachary Tatlock; Michael D. Ernst; Thomas E. Anderson (CoRR, 2018)

Teaching Rigorous Distributed Systems With Efficient Model Checking. - Ellis Michael; Doug Woos; Thomas E. Anderson; Michael D. Ernst; Zachary Tatlock (EuroSys, 2019)

Theia: automatically generating correct program state visualizations. - Josh Pollock; Jared Roesch; Doug Woos; Zachary Tatlock (SPLASH-E, 2019)

A Step-through Debugger for Distributed Systems. - Doug Woos (2019)