Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, pp. 16-22, 2019.
Intrusive data structures (IDSes) are heavily used in system programming, where achieving high performance is one of the most important design goals. Yet, they are not supported in today's ownership type system that offer memory-safety without garbage collection. Instead, IDSes force programmers to choose either unsafety or runtime overhe...More
Full Text (Upload PDF)
PPT (Upload PPT)