High Assurance Rust with Tiemoko Ballo from Rustacean Station

Rustacean Station

Episodes

About

Reviews

Promote

High Assurance Rust with Tiemoko Ballo

58 minutes Posted Jul 8, 2022 at 3:05 pm.

] Tiemeko’s introduction

] Defining Safety critical and Mission critical

] How to develop software in Rust and have a high assurance?

] The lack of standardized behavior and different compilers

] Different approaches to assurance testing

] How does Rust’s memory safety work?

] Temporal memory

] What is a borrow checker and how do we know that it’s working properly?

] The difference between fuzz testing, property-based testing, and chaos testing

] Teimoko’s programming background

] Teimoko’s work and projects

] Rust’s error handling and concurrency advantages over other languages

] What Rust lacks in terms of guaranteeing high assurance and justifiability

] How to stay up to date on what’s happening in the security space.

] Parting thoughts

0:00

58:01

Download MP3

Share at current time

Show notes

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!

Twitter: @rustaceanfm

Discord: Rustacean Station

Github: @rustacean-station

Email: [email protected]

Timestamps

Credits

Intro Theme: Aerocity

Audio Editing: Plangora

Hosting Infrastructure: Jon Gjengset

Show Notes: Plangora

Hosts: Allen Wyma

← See all 183 episodes of Rustacean Station