Adventure of a Lifetime: Extract Method Refactoring for Rust

Explore a groundbreaking approach to automated 'Extract Method' refactoring for Rust programs in this 17-minute conference talk from OOPSLA2 2023. Delve into the challenges posed by Rust's ownership and lifetime-based type system, and discover a systematic decomposition of the Extract Method refactoring into a series of program transformations. Learn about the novel formulation of this refactoring as a composition of naive function hoisting and automated program repair procedures, including a static intra-procedural ownership analysis for inferring correct sharing annotations. Gain insights into the implementation of this approach in REM, an automated Extract Method refactoring tool built on top of IntelliJ IDEA plugin for Rust. Examine the extensive evaluation results demonstrating REM's capabilities in extracting feature-rich code fragments, reproducing manual extractions, and its efficiency in interactive development environments.