Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a groundbreaking conference presentation that introduces Place Capability Graphs, a novel model for understanding and analyzing Rust's ownership and borrowing system. Learn how this innovative approach overcomes the limitations of existing models that either support only idealized subsets of Rust or fail to precisely capture the language's complex borrowing mechanisms, composite types, function signatures, and loop constructs. Discover how researchers from the University of British Columbia, ETH Zurich, and New York University developed a comprehensive model that can be directly computed from the Rust compiler's internal representations and analyses, supporting over 97% of functions in popular public Rust crates. Examine the practical applications of this model through prototype implementations in existing verification and program analysis tools like Flowistry and Prusti, demonstrating its potential as a general-purpose foundation for future Rust analysis frameworks. Gain insights into advanced program analysis techniques, type system modeling, and borrow checking mechanisms that make Rust's memory safety guarantees both powerful and analyzable for automated verification tools.
