SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Sat 18 Oct 2025 17:00 - 17:15 at Orchid Plenary Ballroom - Rust Chair(s): Alexander J. Summers

Rust is a non-Garbage Collected (GCed) language, but the lack of GC makes expressing data-structures that require shared ownership awkward, inefficient, or both. In this paper we explore a new design for, and implementation of, GC in Rust, called Alloy. Unlike previous approaches to GC in Rust, Alloy allows existing Rust destructors to be automatically used as GC finalizers: this makes Alloy integrate better with existing Rust code than previous solutions but introduces surprising soundness, performance, and ergonomic problems. Alloy provides novel solutions for the core problems: finalizer safety analysis rejects unsound destructors from automatically being reused as finalizers; finalizer elision optimises away unnecessary finalizers; and premature finalizer prevention ensures that finalizers are only run when it is provably safe to do so.

Sat 18 Oct

Displayed time zone: Perth change

16:00 - 17:30
RustOOPSLA at Orchid Plenary Ballroom
Chair(s): Alexander J. Summers University of British Columbia
16:00
15m
Talk
A Refinement Methodology for Distributed Programs in Rust
OOPSLA
Aurea Bílá ETH Zurich, João Pereira ETH Zurich, Peter Müller ETH Zurich
DOI
16:15
15m
Talk
AutoVerus: Automated Proof Generation for Rust Code
OOPSLA
Chenyuan Yang University of Illinois Urbana-Champaign, Xuheng Li Columbia University, Md Rakib Hossain Misu University of California Irvine, Jianan Yao University of Toronto, Weidong Cui Microsoft Research, Yeyun Gong Microsoft Research, Chris Hawblitzel Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Jacob R. Lorch Microsoft Research, n.n., Shuai Lu Microsoft Research, Fan Yang Microsoft Research Asia, Ziqiao Zhou Microsoft Research, Shan Lu Microsoft; University of Chicago
16:30
15m
Talk
Carapace: Static–Dynamic Information Flow Control in Rust
OOPSLA
Vincent James Beardsley , Chris Xiong Ohio State University, Ada Lamba Ohio State University, Michael D. Bond Ohio State University
16:45
15m
Talk
From Linearity to BorrowingDistinguished Paper
OOPSLA
Andrew Wagner Northeastern University, Olek Gierczak Northeastern University, Brianna Marshall Northeastern University, John Li Northeastern University, Amal Ahmed Northeastern University, USA
DOI Pre-print
17:00
15m
Talk
Garbage Collection for Rust: The Finalizer Frontier
OOPSLA
Jacob Hughes King's College London, Laurence Tratt King's College London
DOI Pre-print
17:15
15m
Talk
Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees
OOPSLA
Zachary Grannan University of British Columbia, Aurea Bílá ETH Zurich, Jonas Fiala ETH Zürich, Jasper Geer University of British Columbia, Markus de Medeiros New York University, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia