Wednesday, September 3 (Conf Day 1)
2:45 pm to 3:45 pm
Track 2 Talk
Memory Safety is Merely Table Stakes: Safe Interactions with Foreign Languages Through Omniglot
Interacting with foreign languages through Rust’s FFI exposes Rust to a range of potential safety issues. In this talk, we discuss why merely focusing on memory safety for FFIs is insufficient and present an approach and framework for interacting with foreign libraries from Rust while maintaining type and memory safety, and other critical invariants.
Interacting with foreign languages through Rust’s FFI exposes Rust to a range of potential safety issues. In this talk, we discuss why merely focusing on memory safety for FFIs is insufficient and present an approach and framework for interacting with foreign libraries from Rust while maintaining type and memory safety,...