make nico lecture post-oopsla

PLSysSec · Oct 9, 2024 · dcb5335 · dcb5335
1 parent bdaf8cb
commit dcb5335
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -70,12 +70,12 @@
   - *Reading*:
     - [Tighten rust’s belt: shrinking embedded Rust binaries](./papers/shrinking_rust_binaries.pdf) by Hudson Ayers et al.
 
-Wed Oct 23 2024: Formal methods in Rust (Nico)
+Wed Oct 23 2024: Project day
+
+Mon Oct 28 2024: Formal methods in Rust (Nico)
   - *Reading*:
     - [Flux: Liquid Types for Rust](./papers/flux.pdf)
 
-Mon Oct 28 2024: Project day
-
 Wed Oct 30 2024: The foreign function interface
   - *Reading*:
     - [A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries](./papers/ffi_study.pdf) by Ian McCormack et al.