University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Stacked Borrows: An Aliasing Model for Rust

Stacked Borrows: An Aliasing Model for Rust

Add to your list(s) Download to your calendar using vCal

  • UserRalf Jung, MPI-SWS
  • ClockTuesday 02 April 2019, 14:00-15:00
  • HouseFW26.

If you have a question about this talk, please contact Victor Gomes.

Rust is a young systems programming language with a strong type system ensuring memory safety and data-race freedom. One key component of Rust are its strong reference types, providing strong aliasing guarantees. However, Rust also enables programmers to write unsafe code that could be used to subvert these guarantees. In this talk, I will present Stacked Borrows, a work-in-progress model constraining what the program may do with references with the goal of enabling more optimizations. I will also report on my experience implementing Stacked Borrows in an interpreter and evaluating it against the Rust standard library.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity