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 |
Section
Reasoning about Loops and Method Calls |
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 |
Section
TBD |
14:30-15:20 Lecture
ARC 147 TBD
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 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
TBD |
14:30-15:20 Lecture
ARC 147 TBD
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 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
TBD |
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 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
TBD |
14:30-15:20 Lecture
ARC 147 TBD
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 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
TBD |
14:30-15:20 Lecture
ARC 147 TBD
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 TBD
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
TBD |
14:30-15:20 Lecture
ARC 147 TBD
15:30-16:30 OH (Reshabh)
CSE2 121 |
|
14:30-16:20 Final exam
|
||||