Jul 27, 2017

This work was also published in PLDI as "Simple, Fast and Safe Manual Memory Management" (https://www.microsoft.com/en-us/research/wp-content/uploads/...). The presentation from the conference is also online: https://www.youtube.com/watch?v=C07s5LTuTmE