add rlbox

index.html

@@ -58,47 +58,50 @@
     - [CVE-rs](https://github.com/Speykious/cve-rs)
 
 
-Mon Oct 14 2024: Rusty embedded systems
+Mon Oct 14 2024: Isolation (cont.)
+  - *Reading*:
+    - [Retrofitting Fine Grain Isolation in the Firefox Renderer](./papers/rlbox.pdf) by Shravan Narayan et al.
+
+Wed Oct 16 2024: Rusty embedded systems
   - *Reading*:
     - [Multiprogramming a 64kB Computer Safely and Efficiently](./papers/tock.pdf) by Amit Levy et al.
 
-Wed Oct 16 2024: Rusty embedded systems (continued)
+Mon Oct 21 2024: Rusty embedded systems (continued)
   - *Reading*:
     - [Tighten rust’s belt: shrinking embedded Rust binaries](./papers/shrinking_rust_binaries.pdf) by Hudson Ayers et al.
 
-Mon Oct 21 2024: Formal methods in Rust (Nico)
+Wed Oct 23 2024: Formal methods in Rust (Nico)
   - *Reading*:
     - [Flux: Liquid Types for Rust](./papers/flux.pdf)
 
-Wed Oct 23 2024: Project day
+Mon Oct 28 2024: Project day
 
-Mon Oct 28 2024: The foreign function interface
+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)
 
-Wed Oct 30 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.
 
-Mon Nov 4 2024: Static analysis on Rust
+Wed Nov 6 2024: Static analysis on Rust
  - *Reading*:
     - [Modular information flow through ownership](./papers/ifc.pdf) by Will Chrichton et al.
 
-Wed Nov 6 2024: Fearless Concurrency?
+Mon Nov 11 2024: Veteran's Day
+
+Wed Nov 13 2024: Fearless Concurrency?
  - *Reading*:
     - [When is parallelism fearless and zero-cost with Rust?](./papers/parallelism.pdf) by Javad Abdi et al.
 
-Mon Nov 11 2024: Veteran's Day
-
-Wed Nov 13 2024: Fearless Concurrency? (continued)
+Mon Nov 18 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.
 
-Mon Nov 18 2024: 
 
 Wed Nov 20 2024: