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:

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):


Last update: Mar 31 2020 at 02:05UTC