Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a groundbreaking research presentation from OSDI '25 that introduces Omniglot, the first framework designed to maintain Rust's memory and type safety when interacting with untrusted foreign language libraries. Learn how researchers from Princeton University and UC San Diego developed this award-winning solution to address a critical challenge in systems programming: safely incorporating libraries written in languages with fewer safety guarantees without compromising the soundness of memory-safe languages. Discover how Omniglot integrates with memory isolation primitives and validation infrastructure to facilitate secure interactions with foreign code while avoiding expensive operations like copying or serialization. Examine the framework's implementation across two distinct systems - highly-constrained embedded operating system kernels and conventional Linux userspace libraries - and understand how it delivers performance comparable to approaches with weaker guarantees while significantly outperforming those with similar safety guarantees. Gain insights into how this innovative approach prevents the reintroduction of vulnerabilities that safe languages are designed to eliminate, making it possible to build truly secure systems that can still leverage existing codebases written in less safe languages.
