BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Stacked Borrows: An Aliasing Model for Rust - Ralf Jung\, MPI-SWS
DTSTART:20190402T130000Z
DTEND:20190402T140000Z
UID:TALK121966@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Rust is a young systems programming language with a strong typ
 e system ensuring\nmemory safety and data-race freedom.  One key component
  of Rust are its strong\nreference types\, providing strong aliasing guara
 ntees.  However\, Rust also\nenables programmers to write unsafe code that
  could be used to subvert these\nguarantees.  In this talk\, I will presen
 t Stacked Borrows\, a work-in-progress\nmodel constraining what the progra
 m may do with references with the goal of\nenabling more optimizations.  I
  will also report on my experience implementing\nStacked Borrows in an int
 erpreter and evaluating it against the Rust standard\nlibrary.
LOCATION:FW26
END:VEVENT
END:VCALENDAR