Programming Languages

Course Information

Staff

• James Wilcox (he/him, they/them)

  • Office Hours: Fridays 10:30am-11:30am

• Zachary Tatlock (he/him)

  • Office Hours: Mondays 2pm - 3pm PT

• Brendan Murphy (he/him)

  • Office Hours: Saturday 12pm-2pm PT.

• Jack Zhang (he/him)

  • Office Hours: Wednesday 11am-12am PT

• Mike He (he/him)

  • Office Hours: Sundays 12pm - 2pm PT

• Yihong Zhang (he/him, they/them)

  • Office Hours: Thursdays 2pm - 3pm PT

Administrative

• Course Overview and Policies

  • Planned Course Timeline

• Course Chat

• Discussion Board

• Gradescope (add code ZRJV4G)

Lecture

• We are lucky to be able to offer each lecture in both the morning and evening on Tuesdays and Thursdays:

• Tuesday 10am - 11:20am PT

• Tuesday 6:30pm - 7:50pm PT

• Thursday 10am - 11:20am PT

• Thursday 6:30pm - 7:50pm PT

• Participants are welcome to attend whichever times are most convenient, but should try to be in lecture at least once on Tuesdays and at least once on Thursdays.

• For all lectures: call in via this Zoom link!

Materials

• Lecture Slides and Course Notes

• Lecture Code and Homework Assignments

• Videos (CSE NetID required)

Credits

• This course was grown from Dan Grossman's superb explanations and insights in the classic version of 505.

• We have adopted several lectures and various infrastructure from James Wilcox's first-rate advanced PL course CSE 490P.

• We borrow many examples and explanations from Adam Chlipala's excellent textbook Formal Reasoning About Programs.

• We frequently refer to the legendary Software Foundations series for its unparalleled introduction to Coq.