Allen Wyma talks with Tiemoko Ballo, author of High Assurance Rust. High Assurance Rust is a book about building performant software we can justifiably trust.
Contributing to Rustacean Station
Rustacean Station is a community project; get in touch with us if you’d like to suggest an idea for an episode or offer your services as a host or audio editor!
Timestamps
- [@0:34] - Tiemeko’s introduction
- [@2:18] - Defining Safety critical and Mission critical
- [@3:22] - How to develop software in Rust and have a high assurance?
- [@8:21] - The lack of standardized behavior and different compilers
- [@13:29] - Different approaches to assurance testing
- [@14:54] - How does Rust’s memory safety work?
- [@20:57] - Temporal memory
- [@22:59] - What is a borrow checker and how do we know that it’s working properly?
- [@28:17] - The difference between fuzz testing, property-based testing, and chaos testing
- [@35:48] - Teimoko’s programming background
- [@42:55] - Teimoko’s work and projects
- [@46:15] - Rust’s error handling and concurrency advantages over other languages
- [@49:29] - What Rust lacks in terms of guaranteeing high assurance and justifiability
- [@53:17] - How to stay up to date on what’s happening in the security space.
- [@54:35] - Parting thoughts
Credits
Intro Theme: Aerocity
Audio Editing: Plangora
Hosting Infrastructure: Jon Gjengset
Show Notes: Plangora
Hosts: Allen Wyma
