1 of 26

Updates

Rolling Notifications and Status Reports

UW CSE 505 Spring 2021

2 of 26

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)

3 of 26

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)

4 of 26

Updates 2021-05-27

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

5 of 26

Updates 2021-05-25

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

6 of 26

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! 🎥

7 of 26

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!)

8 of 26

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

9 of 26

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

10 of 26

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!

11 of 26

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

12 of 26

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

13 of 26

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

14 of 26

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!

15 of 26

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!

16 of 26

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

17 of 26

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!

18 of 26

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)

19 of 26

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!

20 of 26

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

21 of 26

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!

22 of 26

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!

23 of 26

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!).

24 of 26

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!!

25 of 26

Updates 2021-03-30

  • Ensure you can access all 505 resources:
  • 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!

26 of 26

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)