CSE 331 Spring 2026 Schedule
| March | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 Welcome; Knowledge about Programs; Assertions
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 Correctness; Localization; Method Specifications
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150 |
Section
Assertions and Specifications |
14:30-15:20 Lecture
ARC 147 Testing
15:30-16:30 OH (Reshabh)
CSE2 121 |
| April | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 More Testing
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 Reasoning about Immutable Programs
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150 |
Section
Testing and Reasoning |
14:30-15:20 Lecture
ARC 147 Local Variable Mutation and Floyd Logic
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 Floyd Logic: Backwards Reasoning and Conditionals
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 Floyd Logic: Loops
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150
23:59 HW1 due
|
Section
Floyd Logic |
14:30-15:20 Lecture
ARC 147 Mutable specs; Method Calls in Floyd Logic
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 Data Abstraction
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 More Data Abstraction
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150
23:59 HW2 due
|
Section
Mutable Specs and Data Abstraction |
14:30-15:20 Lecture
ARC 147 Arrays
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 Array Loops
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 Writing Code from the Invariant
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150
23:59 HW3 due
|
Section
Arrays |
14:30-15:20 Lecture
ARC 147 Web Development Circa 1995
15:30-16:30 OH (Reshabh)
CSE2 121 |
| May | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 AI-Assisted Programming
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 More AI-Assisted Programming
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150
23:59 HW4 due
|
Section
Midterm review |
14:30-15:20 Midterm exam (in class)
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 Subtypes
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 Generics
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150 |
Section
HW5 walkthrough |
14:30-15:20 Lecture
ARC 147 More Generics
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 Design Patterns
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 More Design Patterns
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150
23:59 HW5 due
|
Section
Generics and Subtyping |
14:30-15:20 Lecture
ARC 147 More Web Development (circa 2005)
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
Memorial Day
|
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 TBD
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150 |
Section
TBD |
14:30-15:20 Lecture
ARC 147 No class - instructor travel
15:30-16:30 OH (Reshabh)
CSE2 121 |
| June | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
11:30-12:30 OH (Pratika)
CSE 2nd Floor Breakout
13:30-14:30 OH (Faraz)
CSE Breakout Floor 4
14:30-15:20 Lecture
ARC 147 TBD
15:30-16:30 OH (Lawrence)
CSE 220 |
10:30-11:30 OH (Kyle)
CSE2 151
11:30-12:30 OH (Alice)
CSE Breakout Floor 2
12:30-13:30 OH (James W)
CSE 440
13:30-14:30 OH (Isayiah)
CSE2 150
16:30-17:30 OH (Owen)
CSE2 131 |
11:30-12:30 OH (Benoit)
CSE2 150
13:00-14:00 OH (Raio)
CSE2 131
14:30-15:20 Lecture
ARC 147 TBD
15:30-16:30 OH (Daniel)
CSE2 131
17:30-18:30 OH (James M)
CSE2 150 |
Section
Final review |
14:30-15:20 Lecture
ARC 147 TBD
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
14:30-16:20 Final exam
|
||||