Labs
Labs should be started during lab hours of the week they are released. You should aim to complete each lab in the given lab timeslot, although it can be completed alone if you don't finish. You must get your work checked off by a TA to receive credit. Each lab can be checked off up to a week after it is released.
| Lab | Date Out | Date Due |
|---|---|---|
| Lab 0: Python (Optional) | n/a | n/a |
| Lab 1: Relational Practice (Lab Sections A and C Handout, Lab Sections B and D Handout) | M 2/5 | At section, week of 2/12 |
| Lab 2: Reference Counting (Lab Sections A and C Handout, Lab Sections B and D Handout) | M 2/12 | At section, week of 2/19 |
| Lab 3: Dynamics (Lab Sections A and C Handout, Lab Sections B and D Handout | T 2/20 | In TA hours, week of 2/26 |
| Lab 4: Alloy Data Structures (Lab Sections A and C Handout, Lab Sections B and D Handout) | M 3/5 | At section, week of 3/12 |
| Lab 5: Correspondence (Lab Section A Handout, Lab Section B Handout, Lab Section C Handout, Lab Section D Handout) | M 3/12 | At section, week of 3/19 |
| Lab 6: Model Checking | M 3/19 | In TA hours, week of 4/2 |
Lab Hours
Lab hours will be held Mondays, Tuesdays and Wednesdays in the Sunlab (CIT 143). You must attend the lab hours you signed up for.
| Day | Time | TAs |
|---|---|---|
| Monday (Section A) | 5-7pm | Brittani, Ben, Sam |
| Tuesday (Section B) | 5-7pm | Ben, Harriet, Zach |
| Tuesday (Section C) | 7-9pm | Andrew, Emma, Jack |
| Wednesday (Section D) | 5-7pm | Josh, Helen, Sophia |