Meta Garbage Collection: Using OCaml's GC to GC Rust - Soteria
soteria-tools.com
Tracking Rust's aliasing model can be quadratically expensive if done naively. Learn how we fixed this in Soteria Rust by doing meta garbage collection.