Software Development Team: Garbage Collection for Rust: The Finalizer Frontier

Researchers introduce Alloy, a novel garbage collection system for Rust that automatically reuses existing destructors as finalizers. The system addresses fundamental challenges through finalizer safety analysis (rejecting unsafe destructors), finalizer elision (optimizing away unnecessary finalizers), and premature finalizer prevention (ensuring safe execution timing). Alloy uses conservative garbage collection and extends the Rust compiler to enable these features while maintaining reasonable performance compared to reference counting.