Get the latest tech news
Memory safety is table stakes
he past few years has seen a massive success story for systems programming. Entire categories of bugs that used to plague systems programmers—like use-after-free, data races, and segmentation faults—have begun to completely disappear.
We present Omniglot[9], a new approach and framework we have developed that can maintain both memory and type safety across interactions with untrusted foreign libraries, in different settings: we implement prototypes for Linux userspace applications and a Rust-based kernel. Notably, many existing approaches to safely interact with foreign or untrusted libraries would not prevent the above soundness violation: the out-of-bounds memory accesses occur from within the Rust domain itself! Pat is an NSF, NDSEG, and Qualcomm Innovation Fellow and received teaching awards from the CSE Department, the College of Engineering, and the Rackham Graduate School at the University of Michigan.
Or read this on Hacker News
