Publications by Doug Woos
The list below should be fairly up to date. To convey a reasonably accurate sense of “what I’ve been working on lately,” the list below includes publications in workshops, conferences and journals, as well as preprints. See my CV for a version where these various categories are separate.
- Theia: Automatically Generating Correct Program State Visualizations
Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock
SPLASH-E 2019 - Teaching Rigorous Distributed Systems With Efficient Model Checking
Ellis Michael, Doug Woos, Thomas Anderson, Michael D. Ernst, Zachary Tatlock
Eurosys 2019 - A Graphical Interactive Debugger for Distributed Systems
Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
(ArXiv preprint) - 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 - Verification of Implementations of Distributed Systems Under Churn
Ryan Doenges, James R. Wilcox, Doug Woos, Zachary Tatlock, Karl Palmskog
CoqPL 2017 - 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 - Formal Semantics and Automated Verification for the Border Gateway Protocol
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
NetPL 2016 - 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 Anderson
CPP 2016 - Verdi: A Framework for Implementing and Verifying Distributed Systems
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas Anderson
PLDI 2015 - Arrakis: The Operating System is the Control Plane
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe
ACM ToCS - Arrakis: The Operating System is the Control Plane
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe
OSDI 2014 - One Tunnel is (Often) Enough
Simon Peter, Umar Javed, Qiao Zhang, Doug Woos, Thomas Anderson, Arvind Krishnamurthy
SIGCOMM 2014 - Towards High-Performance Application-Level Storage Management
Simon Peter, Jialin Li, Doug Woos, Irene Zhang, Dan R. K. Ports, Thomas Anderson, Arvind Krishnamurthy, Mark Zbikowski
HotStorage 2014 - Incorporating Network RAM and Flash into Fast Backing Store for Clusters
Tia Newhall, Douglas Woos
IEEE Cluster 2011