Keep this paper --- I really liked it
Keep this paper -- I didn't particularly like it, but it was educational
I'm pretty indifferent about this paper
I don't think you should include this paper next time.
Marty: Snap: A Microkernel Approach to Host Networking
Ford: The FluxOSKit: A Substrate for Kernel and Language Research
Klein: seL4: Formal Verification of an OS Kernel
Nelson: Hyperkernel: Push-Button Verification of an OS Kernel
Hagmann: Reimplementing the Cedar File System Using Logging and Group Commit
Rosenblum: The Design and Implementation of a Log-Structured File System
Hance: Storage Systems are Distributed Systems (so Verify them That Way!)
Chen: Using Crash Hoare Logic for Certifying the FSCQ File System
Sandberg: Design and Implementation of the Sun Network Filesystem
Howard: Scale and Performance in a Distributed File System
Anderson: Serverless Network File Systems
Mickens: Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
Schroeder: Experience with Grapevine: The Growth of a Distributed System
Rinard: Enhancing Server Availability and Security Through Failure-Oblivious Computing
Lampson: Hints for System Design
