swap

index.html

@@ -78,15 +78,15 @@
     - [Tighten rust’s belt: shrinking embedded Rust binaries](./papers/shrinking_rust_binaries.pdf) by Hudson Ayers et al.
 
 Wed Oct 30 2024: Formal methods in Rust (Nico)
-  - *Reading*:
-    - [Flux: Liquid Types for Rust](./papers/flux.pdf)
-
-Mon Nov 4 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.
   - *Optional reading*:
     - [Rustnomicon chapter 11: FFI](https://doc.rust-lang.org/nomicon/ffi.html)
 
+Mon Nov 4 2024: The foreign function interface
+  - *Reading*:
+    - [Flux: Liquid Types for Rust](./papers/flux.pdf)
+
 Wed Nov 6 2024: The foreign function interface (continued)
   - *Reading*:
     - [Detecting Cross-Language Memory Management Issues in Rust](./papers/ffi_checker.pdf) by Zhuohua Li et al.