I've also taken David's compiler course, and it was excellent. I highly recommend taking any course he offers that interests you.