Παρακολούθηση
Doug Woos
Doug Woos
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.washington.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
5862015
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
445*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
1692016
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
882016
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
762018
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
692014
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
222014
Arrakis: The operating system as control plane
S Peter
; login:: the magazine of USENIX & SAGE 38 (4), 44-47, 2013
182013
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
172019
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
162016
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
112019
Bagpipe: Verified BGP configuration checking
K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock
Proc. OOPSLA, 2016
82016
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
82011
A graphical interactive debugger for distributed systems
D Woos, Z Tatlock, MD Ernst, TE Anderson
arXiv preprint arXiv:1806.05300, 2018
32018
Verification of Implementations of Distributed Systems Under Churn
R Doenges, JR Wilcox, D Woos, Z Tatlock, K Palmskog
32017
Formal Semantics and Verification for the Border Gateway Protocol
K Weitz, D Woos, A Krishnamurthy, MD Ernst, Z Tatlock
Technical Report. Tech. rep, 2016
32016
A Step-through Debugger for Distributed Systems
D Woos
12019
Consistent Hashing
D Woos
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–18