Reading Queue

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