Brian N. Bershad

Computer Networks and Communications · 2004–2007

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

Subfields

Whom Brian N. Bershad trusts overall

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

  1. Thomas Ball
  2. Eamonn J. Keogh
  3. Jeremy Sugerman
  4. Andy Chou
  5. Mike Barnett
  6. Sriram K. Rajamani
  7. Trevor Jim

Who trusts Brian N. Bershad overall

  1. Gogul Balakrishnan
  2. Hangchen Yu
  3. Michael M. Swift

Papers from Brian N. Bershad's perspective

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

  1. Improving the reliability of commodity operating systems (TOCS)
  2. An empirical study of operating systems errors (Symposium on Operating Systems Principles)
  3. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  4. The SLAM project: debugging system software via static analysis
  5. Safe Hardware Access with the Xen Virtual Machine Monitor
  6. Using model checking to find serious file system errors (TOCS)
  7. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  8. Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor (USENIX ATC, General Track)
  9. Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies
  10. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (USENIX Symposium on Operating Systems Design and Implementation)

Their papers