Lecture: OS: Verve

Date: 2/6/17

Reading

• Required reading: Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System, Jean Yang and Chris Hawblitzel, PLDI, 2010.