| Arrakis: The operating system is the control plane S Peter, J Li, I Zhang, DRK Ports, D Woos, A Krishnamurthy, T Anderson, ... ACM Transactions on Computer Systems (TOCS) 33 (4), 1-30, 2015 | 573 | 2015 |
| Verdi: A framework for formally verifying distributed system implementations JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ... Proceedings of the 2015 ACM SIGPLAN Conference on Programming Language …, 2015 | 436* | 2015 |
| Planning for change in a formal verification of the raft consensus protocol D Woos, JR Wilcox, S Anton, Z Tatlock, MD Ernst, T Anderson Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 167 | 2016 |
| Scalable verification of border gateway protocol configurations with an SMT solver K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock Proceedings of the 2016 acm sigplan international conference on object …, 2016 | 87 | 2016 |
| Modularity for decidability of deductive verification with applications to distributed systems M Taube, G Losa, KL McMillan, O Padon, M Sagiv, S Shoham, JR Wilcox, ... Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 72 | 2018 |
| One tunnel is (often) enough S Peter, U Javed, Q Zhang, D Woos, T Anderson, A Krishnamurthy ACM SIGCOMM Computer Communication Review 44 (4), 99-110, 2014 | 67 | 2014 |
| Towards {High-Performance}{Application-Level} Storage Management S Peter, J Li, I Zhang, DRK Ports, T Anderson, A Krishnamurthy, ... 6th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 14), 2014 | 22 | 2014 |
| Arrakis: The operating system as control plane S Peter ; login:: the magazine of USENIX & SAGE 38 (4), 44-47, 2013 | 18 | 2013 |
| Teaching rigorous distributed systems with efficient model checking E Michael, D Woos, T Anderson, MD Ernst, Z Tatlock Proceedings of the Fourteenth EuroSys Conference 2019, 1-15, 2019 | 17 | 2019 |
| Formal semantics and automated verification for the border gateway protocol K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock NetPL, March, 2016 | 16 | 2016 |
| Theia: automatically generating correct program state visualizations J Pollock, J Roesch, D Woos, Z Tatlock Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 46-56, 2019 | 11 | 2019 |
| Bagpipe: Verified BGP configuration checking K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock Proc. OOPSLA, 2016 | 8 | 2016 |
| Incorporating network ram and flash into fast backing store for clusters T Newhall, D Woos 2011 IEEE International Conference on Cluster Computing, 121-129, 2011 | 8 | 2011 |
| A graphical interactive debugger for distributed systems D Woos, Z Tatlock, MD Ernst, TE Anderson arXiv preprint arXiv:1806.05300, 2018 | 3 | 2018 |
| Verification of Implementations of Distributed Systems Under Churn R Doenges, JR Wilcox, D Woos, Z Tatlock, K Palmskog | 3 | 2017 |
| Formal Semantics and Verification for the Border Gateway Protocol K Weitz, D Woos, A Krishnamurthy, MD Ernst, Z Tatlock Technical Report. Tech. rep, 2016 | 3 | 2016 |
| A Step-through Debugger for Distributed Systems D Woos | 1 | 2019 |
| Consistent Hashing D Woos | | |
