Updates

Rolling Notifications and Status Reports

UW CSE 505 Spring 2021

Updates 2021-06-03

• We made it! What a quarter! Y’all have been amazing 🤩
• Homework 6 is due Sunday by 5pm (w/ late days = Wednesday by 5am)
• Course evaluations are out! Please share any feedback you may have!
• Close weirdly soon (June 7 at midnight) 🤷
• And claim extra challenge points on Gradescope (anonymously)

Updates 2021-06-01

• Homework 6 is out
• Deadline extended by 48 hours
• Sunday 5pm (Late: by Wednesday 5am)
• Fill out course evaluation!
• And claim points on Gradescope (anonymously)

Updates 2021-05-27

• Homework 5 AND Csmith Reflection due Friday
• Homework 6 out Real Soon Now™ 😬😬😬

Updates 2021-05-25

• Homework 5 AND Csmith Reflection due Friday
• Homework 6 out Real Soon Now™

Updates 2021-05-20

• Homework 5 is fully out!
• Lots of UTLC and STLC goodness
• Due May 28 (next Friday)
• Just community docs challenge points due tomorrow by 5pm
• BUT, two things due next Friday, so start HW5 early!!

Loris D’Antoni talk on Synthesis + Semantics!

http://uwplse.org/colloquia/20210518-loris-d'antoni.html

​

🎥 Talk recording posted here! 🎥

Updates 2021-05-18

• Homework 4 grades released
• Let us know if you see anything weird!
• Homework 5 is fully out!
• Lots of UTLC and STLC goodness
• Due May 28
• Just community docs challenge points due this Friday
• BUT, two things due next Friday, so start HW5 early!!

Loris D’Antoni in PLSE Lunch was today!

http://uwplse.org/colloquia/20210518-loris-d'antoni.html

​

(Zoom link in 505 Mattermost)

(Talk recording posted soon!)

Updates 2021-05-13

• Reading 4 on BP due tomorrow by 5pm
• Thinking carefully about what proofs actually mean 🤔
• Homework 5 is partially released as of today
• The rest will be released Real Soon Now™
• Pushing the due date by a week
• Nothing is due next Friday
• HW6 will be shorter/easier

Updates 2021-05-11

• Homework 5 will be partially released today
• Three different lambda calculi!
• The due date will be adjusted once we actually release it
• And HW6 will be lighter than average
• Reading 4 on BP due Friday May 14 at 5pm
• Thinking carefully about what proofs actually mean

Updates 2021-05-06

• Homework 4 is up, due tomorrow (May 7) by 5pm PT
• Many thanks for the great ideas in the mid-quarter feedback survey !
• Overall super positive 🙏 (Many many thanks to the amazing TAs!)
• High time investment! Too many docs / links.
• Proof assistants have a steep learning curve, hard to appreciate benefit.
• Community Notes: let’s try to resolve old comments!

Updates 2021-05-04

• Homework 4 is up, due Friday (May 7) by 5pm PT
• Mid-quarter feedback survey still open
• Will debrief results on Thursday

Updates 2021-04-29

• Reading 3 on “TLA @ AWS” due tomorrow by 5pm PT
• More-automated verification applied at scale in industry (since 2011!)
• Homework 4 is up, due next Friday (May 7) by 5pm PT
• Gradescope autograder set up later today

Updates 2021-04-27 (continued)

• Mid-quarter feedback survey posted
• Survey is optional + anonymous
• Writing good feedback is work
• So: 5 extra “challenge points”
• If you choose to do survey,

please note on Gradescope

Updates 2021-04-27

• Reading 3 on “TLA @ AWS” due Friday by 5pm PT
• More-automated verification applied at scale in industry (since 2011!)
• Staff left more feedback on Community Notes, y’all are amazing!
• Slowness update: don’t leave the tab open for too long? 🐢
• Homework 4 mostly posted, final version almost there
• Don’t anticipate any changes above “draft warning”, feel free to start!
• Please do submit HWs with your partner! (Otherwise Gradescope + staff confused.)
• You can provide multiple or merged response on the feedback question!

Updates 2021-04-27 (continued)

• Reviewing grades… wow! 🤩
• Folks are investing a lot 🙏
• Great if everyone 4.0s
• Also remember points system
• Only competition is self
• Intent: empower you!

grade tracker sheet

Updates 2021-04-27 (continued)

• Mid-quarter feedback survey posted
• Survey is optional + anonymous
• Writing good feedback is work
• So: 5 extra “challenge points”
• If you choose to do survey,

please note on Gradescope

Updates 2021-04-22

• Homework 3 is due tomorrow by 5pm!
• Please let us know if you need any help with partners, etc.
• Also, please ask for help on discussion board / chat if you are stuck!
• Easy to spend a lot of time thrashing, talk to staff instead 🤝
• Community docs: submit Week04 contribs tomorrow by 5pm!
• Trying to figure out how to speed up the doc… suggestions welcome!

Updates 2021-04-20

• Great work on Homework 2! 🎉
• Please submit regrade requests if you see anything bogus!
• Always make sure to show your attempts even if you don’t get the Qed!
• Community Notes continue to be amazing 🤩
• TAs are adding comments with suggestions for what to add.
• Remember: editing existing text to improve it is a great contribution! ✍️
• Suggestion: build a “how to prove it” guide (table lookup from goals)

Updates 2021-04-20 (continued)

• Reading 3 (Social Processes) reflections graded and feedback out ✅
• Many thanks for all the thoughtful comments 🙏
• Homework 3 is due Friday by 5pm!
• Please let us know if you need any help with partners, etc.
• Also, please ask for help on discussion board / chat if you are stuck!
• Easy to spend a lot of time thrashing, talk to staff instead 🤝
• Community docs: submit Week04 contribs by Friday 5pm!

Updates 2021-04-14

• Reading 2 on “Social Processes” due tomorrow by 5pm PT
• Community docs: submit Week03 contribs by Friday!
• Get started on Homework 3! Some great questions already!
• Feedback from Homework 2 is out

Updates 2021-04-12

• Reading 2 on “Social Processes” due Friday by 5pm PT
• Slightly longer paper, but a fun, not-too-technical read!
• Amazing work on the Community Docs, submit Week03 contribs by Friday!
• Ideas for contribs: port discussion board answers, clarify confusing

sections / mark them with comments, help with timestamps, etc.!

• Don’t just copy-paste from the reference manual without understanding
• And great questions in chat and discussion board! Keep them coming 🗣
• Homework 3 is out 🚢
• All but one problem doable after this week. Start early!

Updates 2021-04-08

• Homework 2 due tomorrow by 5pm PT
• Make sure to coordinate with your partner!
• Each team should submit one soln in Gradescope (don’t forget partner!).
• Amazing work on the Community Docs, submit Week02 contribs tomorrow!
• And great questions in chat and discussion board! Keep them coming 🤩
• Homework 1 feedback being sent out today.
• Super happy to debrief in OH / chat / discussion board / after lecture!

Updates 2021-04-06

• Check out the “lecture notes” (aka Coq starter code for lecture)
• We cover enough in class to do the homework. Lots more in the notes!
• Homework 2 due Friday by 5pm PT
• Make sure to coordinate with your partner!
• Each team should submit jointly in Gradescope (don’t forget partner!).

Updates 2021-04-01

• Homework 1, Reading 1, and Week 01 Docs due tomorrow by 5pm PT
• Late Policy updated -- “two late days” now extends till Mondays at 5am PT
• We’ll start lecture next Tuesday with Reading 1 (“Trusting Trust”) discussion
• Homework 2 due next Friday by 5pm PT
• Contact your partner and switch if necessary. Reach out if enrolled recently.
• The 505 discussion board and 505 chat are good places to coordinate.
• Remember: you are responsible for your partner!

early morning!

great work so far!!

Updates 2021-03-30

• Ensure you can access all 505 resources:
• Check out the 505 website and read the 505 Overview
• Sign in to the 505 Gradescope (sign up using add code ZRJV4G)
• Sign in to the 505 discussion board
• Sign in to the 505 chat
• Initial random homework partners have been matched!
• Contact your partner and organize switches if necessary. Reach out if enrolled recently.
• The 505 discussion board and 505 chat are good places to coordinate
• Remember: you are responsible for your partner!

Updates 2021-03-30 (continued)

• Homework 1 on 505 Setup due Friday by 5pm PT
• Complete individually, worth 50 points (all core)
• Install Coq and do a few proofs, mostly graded on completion
• Reading 1 on Trusting Trust due Friday by 5pm PT
• See the 505 overview section on readings for guidance on reflections
• Homework 2 on Syntax and Interpreters due next Friday by 5pm PT
• Complete with your partner, worth 150 points (~ 120 core / 30 challenge)