Here are two readings to start the course January 8.


@article{interviewHennessyPatterson, author = {Charlene O'Hanlon}, title = {A conversation with John Hennessy and David Patterson}, journal = {Queue}, volume = {4}, number = {10}, year = {2006}, month = dec, issn = {1542-7730}, pages = {14--22}, url = {http://doi.acm.org/10.1145/1189276.1189286}, doi = {10.1145/1189276.1189286}, publisher = {ACM Press}, address = {New York, NY, USA}, }

@article{cnet80cores, author = "Tom Krazit", title = "Intel pledges 80 cores in five years", journal = "News.COM" year = 2006, month = sep, publisher = "CNET Networks", url = "http://news.com.com/2102-1006_3-6119618.html?tag=st.util.print", }

and readings for January 10


@article{FloydTuring, author = "Robert W. Floyd", title = "The paradigms of programming", journal = cacm, issn = {0001-0782}, publisher = "ACM Press", address = "New York", volume = {22}, number = {8}, month = aug, year = {1979}, pages = "455--460", url = "http://doi.acm.org/10.1145/359138.359140", }

@article{PerlisLipDeM, author = "Richard A. De{M}illo and Richard J. Lipton and Alan J. Perlis", title = "Social processes and proofs of theorems and programs", journal = cacm, issn = {0001-0782}, publisher = "ACM Press", address = "New York", volume = 22, number = 5, month = may, year = 1979, pages = "271--280", URL = "http://doi.acm.org/10.1145/359104.359106", doi = "10.1145/359104.359106", }

@article{PerlisLipDeMlett, author = "Robert L. Ashenhurst", title = "Comments on Social Processes and Proofs", journal = cacm, issn = {0001-0782}, publisher = "ACM Press", address = "New York", volume = 22, number = 11, month = nov, year = 1979, pages = "621--630", url = "http://doi.acm.org/10.1145/359168.359177", doi = "10.1145/359168.359177", }