CS 528/428 Reading List, Fall 2014

CS 528/428 Reading List, Fall 2014

Last modified: November 9, 2014. This page is still under construction!


Content


Background and Overview


PL & Computer System Design


Virtual Machine Monitors (VMM)


Microkernels


Capability-Based Systems


seL4


DIFC-Based OS


C Memory Model and Clight


Coalgebra and Coinduction


Principles of Computer Systems


Compiler Verification


Decentralized Information Flow Control


Declassification and Noninterference


Exokernel and VMM Security


Separation Logic and Rely-Guarantee Reasoning


Linearizability and Concurrent Objects


Copyright (c) 2009-2014, Zhong Shao, Dept. of Computer Science, Yale University.