Doug Woos

Information Systems · 2014–2015

A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

Whom Doug Woos trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Xavier Leroy
  2. Seif Haridi
  3. Daniel Jackson
  4. Diego Ongaro

Who trusts Doug Woos overall

  1. Ethan Buchman

Papers from Doug Woos's perspective

Ordered by how strongly the researchers Doug Woos trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Finding and understanding bugs in C compilers
  2. Workload analysis of a large-scale key-value store (Measurement and Modeling of Computer Systems)
  3. FaRM: Fast Remote Memory (Symposium on Networked Systems Design and Implementation)
  4. Paxos made live: an engineering perspective (ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)
  5. IX: A Protected Dataplane Operating System for High Throughput and Low Latency (USENIX Symposium on Operating Systems Design and Implementation)
  6. Formal verification of a realistic compiler
  7. In Search of an Understandable Consensus Algorithm (USENIX Annual Technical Conference)
  8. The multikernel: a new OS architecture for scalable multicore systems
  9. Dune: Safe User-level Access to Privileged CPU Features (USENIX Symposium on Operating Systems Design and Implementation)
  10. seL4: Formal Verification of an OS Kernel

Their papers