Principles of PL

We will study techniques for thinking crisply about programming languages, write some fascinating programs, and discuss various design tradeoffs. We will be working through the FRAP book using the Coq proof assistant, and also discussing some classic and/or provocative papers on verification.

Meeting: Wed at 6:30pm in CSE (Allen Center) 305

Instructor: Zach Tatlock

• Office Hours: Wed at 5:30 pm in CSE2 (Gates Center) 201

TA: James Wilcox

• Mattermost (course chat; sign in with your CSE NetID and ask to join private channel #csep505-19wi)

Submissions & Grades: Gradescope

Course Mailing List: multi_csep505m_sp19@uw.edu (primarily for announcements)