put foreign function interface stuff together

index.html

@@ -77,22 +77,22 @@
   - *Reading*:
     - [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)
+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.
   - *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)
+Mon Nov 4 2024: The foreign function interface (continued)
   - *Reading*:
     - [Detecting Cross-Language Memory Management Issues in Rust](./papers/ffi_checker.pdf) by Zhuohua Li et al.
   - *Optional reading*:
     - [Encapsulated Functions: Fortifying Rust’s FFI in Embedded Systems](./papers/encapsulated_functions.pdf) by Leon Schuermann et al.
 
+Wed Nov 6 2024: Formal methods in Rust (Nico)
+  - *Reading*:
+    - [Flux: Liquid Types for Rust](./papers/flux.pdf)
+
 Mon Nov 11 2024: Veteran's Day
 
 Wed Nov 13 2024: Static analysis on Rust