Meeting time

Fridays, 10:00–11:00.

Classroom

Hodson 315.

Discussion Schedule

Date Paper Presenter
2019-08-30 Define schedule for semester Dr. Scott Smith
2019-09-06 Semantic Program Alignment for Equivalence Checking, PLDI’19 (PDF) Dr. Scott Smith
2019-09-13 Guix/Nix OS (PDF) Dr. Scott Smith
2019-09-20 Writing Network Drivers in Rust (PDF, Code) Shiwei Weng