Hakim Weatherspoon Spring 2012 Computer Science Cornell University CS 3410: Computer System Organization and Programming.