CS262a: Reading Assignment #25 Due Tuesday, December 2nd

1. Making Information Flow Explicit in HiStar, Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazi`eres. Appears in Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2006
2. Using Crash Hoare Logic for Certifying the FSCQ File System, Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich. Appears in Symposium on Operating Systems Principles (SOSP), 2015

You must also:

Submit a summary for these papers.

Optional Reading for Paper #1:

• Labels and Event Processes in the Asbestos Operating System, Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart,Cliff Frey, David Ziegler,Eddie Kohler, David Mazi`eres, M. Frans Kaashoek and Robert Tappan Morris. Appears in Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), 2005

Back to CS262a page