393Software Construction
S22 | S21
397Proving Properties of Programs with Mechanized Logic
S19 | F21
397Dynamics of Programming Languages
3/495PL Seminar
W17 | F13 | F12 | F11
F10 | F09 | W09
322Compiler Construction
S16 | S15 | S14 | S13
S12 | S11 | S10 | S09
321Programming Languages
F15 | W15 | W14 | W13
W12 | W11 | W10
3/495Advanced Compiler Hacking

Old courses, taught at Chicago

The programmer, like the poet, works only slightly removed from pure thought-stuff.”
—Fredrick Brooks

The poet's eye, in a fine frenzy rolling, / Doth glance from heaven to earth, from earth to heaven; / And, as imagination bodies forth / The forms of things unknown, the poet's pen / Turns them to shapes, and gives to airy nothing / A local habitation and a name.”
—William Shakespeare