Lecture: Advanced Dafny

Date: 2/1/17

Reading

• Required reading: How (and How Not) to Write a Good Systems Paper, Roy Levin and David Redell, ACM SIGOPS Operating Systems Review, 17 (3), 1983.
• Required reading: A Retrospective on the VAX VMM Security Kernel, Paul Karger, Mary Zurko, Douglas Bonin, Andrew Mason, Clifford Kahn, IEEE Transactions on Software Engineering, 17(11), 1991. Note: Focus more on the steps taken to gain assurance in the kernel and less on the virtualization details.

No summaries are necessary for this class.