Stacked Borrows: An Aliasing Model for Rust

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

• Ralf Jung, MPI-SWS
• Tuesday 02 April 2019, 14:00-15:00
• FW26.

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.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.