From d97e834f979568be769a2fbf2cdb3b7f57641c66 Mon Sep 17 00:00:00 2001 From: Evan Johnson Date: Tue, 29 Oct 2024 14:17:42 -0700 Subject: [PATCH] put foreign function interface stuff together --- index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index 373ac68..02c2028 100644 --- a/index.html +++ b/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