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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Stacked Borrows: An Aliasing Model for Rust

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Seminar Room 3, School of Clinical Medicine, Addenbrooke's TCM Graduate Lectures BAS Seminar Room 1 and Zoom

Other talks

The uplift and erosion history of the Gamburtsev Subglacial Mountains and their role in the formation of the East Antarctic Ice Sheet Harnessing Radical Reactivity for Molecular Innovation Task performance predicts the substitution of feedforward by feedback drive in visual cortex Title to be confirmed Title to be confirmed Not-so-noble gases, key tracers of Earth’s habitability: what their behaviour in planetary interiors can tell us?
 

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