From 2a5266387b2f5c4a20a2a1ccd3fd8734185c4da7 Mon Sep 17 00:00:00 2001 From: Evan Johnson Date: Tue, 29 Oct 2024 15:36:11 -0700 Subject: [PATCH] update site --- index.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index 02c2028..d3bee52 100644 --- a/index.html +++ b/index.html @@ -83,16 +83,16 @@ - *Optional reading*: - [Rustnomicon chapter 11: FFI](https://doc.rust-lang.org/nomicon/ffi.html) -Mon Nov 4 2024: The foreign function interface (continued) +Mon Nov 4 2024: Formal methods in Rust (Nico) + - *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. - *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