Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a groundbreaking approach to implementing garbage collection in Rust through this 15-minute conference presentation from OOPSLA 2025. Learn about Alloy, a novel garbage collection design that uniquely allows existing Rust destructors to be automatically repurposed as GC finalizers, addressing the longstanding challenge of expressing data structures with shared ownership in Rust's non-garbage collected environment. Discover how this innovative approach creates better integration with existing Rust code compared to previous solutions, while introducing complex soundness and performance challenges. Examine the three core technical solutions developed by researchers from King's College London: finalizer safety analysis that prevents unsound destructors from being reused as finalizers, finalizer elision optimization that eliminates unnecessary finalizers, and premature finalizer prevention that ensures finalizers execute only when provably safe. Gain insights into advanced compiler design, memory management strategies, and the intersection of systems programming languages with garbage collection techniques. Access supplementary materials including the full research paper and evaluated artifacts that demonstrate the practical implementation and functional capabilities of this cutting-edge approach to memory management in Rust.
