Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System.

Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon

Browse the full SOSP paper archive.