update schedule for guest speaker

index.html

@@ -66,39 +66,44 @@
   - *Reading*:
     - [Multiprogramming a 64kB Computer Safely and Efficiently](./papers/tock.pdf) by Amit Levy et al.
 
-Mon Oct 21 2024: Rusty embedded systems (continued)
+Mon Oct 21 2024: Rusty embedded systems (day 2)
   - *Reading*:
-    - [Tighten rust’s belt: shrinking embedded Rust binaries](./papers/shrinking_rust_binaries.pdf) by Hudson Ayers et al.
+    - [Bringing Segmented Stacks to Embedded Systems](./papers/segmented_stacks.pdf) by Zhiyao Ma and Lin Zhong
+    - [Panic Recovery in Rust-based Embedded Systems](./papers/embedded_recovery.pdf) by Zhiyao Ma et al.
 
 Wed Oct 23 2024: Project day
 
-Mon Oct 28 2024: Formal methods in Rust (Nico)
+Mon Oct 28 2024: Rusty embedded systems (day 3)
+  - *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)
   - *Reading*:
     - [Flux: Liquid Types for Rust](./papers/flux.pdf)
 
-Wed Oct 30 2024: The foreign function interface
+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 (continued)
+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.
   - *Optional reading*:
     - [Encapsulated Functions: Fortifying Rust’s FFI in Embedded Systems](./papers/encapsulated_functions.pdf) by Leon Schuermann et al.
 
-Wed Nov 6 2024: Static analysis on Rust
+Mon Nov 11 2024: Veteran's Day
+
+Wed Nov 13 2024: Static analysis on Rust
  - *Reading*:
     - [Modular information flow through ownership](./papers/ifc.pdf) by Will Chrichton et al.
 
-Mon Nov 11 2024: Veteran's Day
-
-Wed Nov 13 2024: Fearless Concurrency?
+Mon Nov 18 2024: Fearless Concurrency?
  - *Reading*:
     - [When is parallelism fearless and zero-cost with Rust?](./papers/parallelism.pdf) by Javad Abdi et al.
 
-Mon Nov 18 2024: Fearless Concurrency? (continued)
+Wed Nov 20 2024: Fearless Concurrency? (continued)
  - *Reading*:
     - [Deadlock free async message reordering in rust with multiparty session types](./papers/session_types.pdf) by Zak Cutner et al.