I was fortunate enough to take both his compiler course as well as a follow-up course involving optimization and hygienic macros.  Brilliant man, fantastic teacher, and of course, he wrote a great compiler :)