resilient overlay networks *
packrat parsing * xen and the art of virtualization * structured streams *
guardians and actions: linguistic support for robust, distributed programs * http://pag.csail.mit.edu/pubs/ref-immutability-oopsla2005-abstract.html
integrating concurrency control and energy mgmt in device drivers * contract driven development = test driven development - writing test-cases * scalability in the xfs file system *
In all of the notes files:
- means I have a hard copy, so don't reprint