Doug Woos

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 7

Top Topics

Deadlock Detection

Formal Verification

Distributed Systems

Top Venues

Publications

Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock
Teaching Rigorous Distributed Systems With Efficient Model Checking. EuroSys (2019)
Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock
Theia: automatically generating correct program state visualizations. SPLASH-E (2019)
Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
A Graphical Interactive Debugger for Distributed Systems. CoRR (2018)
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
Modularity for decidability of deductive verification with applications to distributed systems. PLDI (2018)
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
Scalable verification of border gateway protocol configurations with an SMT solver. OOPSLA (2016)
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe
Arrakis: The Operating System Is the Control Plane. ACM Trans. Comput. Syst. 33 (4) (2016)
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
Planning for change in a formal verification of the raft consensus protocol. CPP (2016)
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
Verdi: a framework for implementing and formally verifying distributed systems. PLDI (2015)
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe
Arrakis: The Operating System is the Control Plane. OSDI (2014)
Simon Peter, Umar Javed, Qiao Zhang, Doug Woos, Thomas E. Anderson, Arvind Krishnamurthy
One tunnel is (often) enough. SIGCOMM (2014)
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Thomas E. Anderson, Arvind Krishnamurthy, Mark Zbikowski, Doug Woos
Towards High-Performance Application-Level Storage Management. HotStorage (2014)