Doug Woos

According to our database, Doug Woos authored at least 11 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Step-through Debugger for Distributed Systems.

Doug Woos

PhD thesis, 2019

Theia: automatically generating correct program state visualizations.

Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock

Proceedings of the SPLASH-E '19, 2019

Teaching Rigorous Distributed Systems With Efficient Model Checking.

Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

A Graphical Interactive Debugger for Distributed Systems.

Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson

CoRR, 2018

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Arrakis: The Operating System Is the Control Plane.

Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe

ACM Trans. Comput. Syst., 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

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 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 E. Anderson

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Verdi: a framework for implementing and formally verifying distributed systems.

James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

One tunnel is (often) enough.

Simon Peter, Umar Javed, Qiao Zhang, Doug Woos, Thomas E. Anderson, Arvind Krishnamurthy

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Towards High-Performance Application-Level Storage Management.

Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Thomas E. Anderson, Arvind Krishnamurthy, Mark Zbikowski, Doug Woos

Proceedings of the 6th USENIX Workshop on Hot Topics in Storage and File Systems, 2014