@misc{ReichCGO2011,
  Abstract = {I was invited to contribute to the third year "Code Generation and Optimisation" module. Given they were about to use QuickCheck to verify compiler properties in labs, I felt it was worthwhile discussing what it means for a compiler to be correct and how far we should go to confirm this.},
  Author = {Jason S. Reich},
  Date-Added = {2011-11-20 21:02:50 +0000},
  Date-Modified = {2011-11-20 21:04:14 +0000},
  Howpublished = {CGO Guest Lecture},
  Month = {February},
  Slides = {http://www-module.cs.york.ac.uk/cgo/2011/lectures/guest.pdf},
  Title = {Getting compilers right},
  Year = {2011},
}