Stream: wg-secure-code

Topic: floorplan


Shnatsel (Oct 21 2019 at 19:57, on Zulip):

I'm too tired to comprehend this paper right now, but the abstract sounds great: https://www.reddit.com/r/rust/comments/dl3qme/

In a case study of an existing implementation of the immix garbage collection algorithm, Floorplan eliminates 55 out of the 63 unsafe lines of code: 100% of the unsafe lines of code pertaining to memory safety.

Tony Arcieri (Oct 22 2019 at 23:29, on Zulip):

neat

Last update: Nov 11 2019 at 22:00UTC