Reliable software: An interview with Jon Gjengset

Listen to Jon Gjengset discuss how to write high quality Rust software and keep it that way.

Jon Gjengset, author of Rust for Rustaceans, speaks to Tim McNamara about ways to improve software quality, “[a problem that is] infinitely deep in all directions”. Themes include testing techniques and working collaboratively in teams. Jon and Tim worked together at AWS and you might notice a few anecdotes sprinkled into the discussion.

Highlights

A partial list:

  • 0:11:01: Porting an existing code base to Rust –  A three step process
  • 0:15:04: Fuzz testing
  • 0:18:00: Property testing
  • 0:26:00 Concolic execution
  • 1:03:00 Chaos testing
  • 1:06:36 Kani model checker
  • 1:07:17 Loom, Turmoil
  • 1:07:51 Mutation testing with Cargo Mutants
  • 1:33:45 Working with stakeholders
  • 1:44:33 Open source sustainability
  • 1:46:02 Taking on dependencies, case of serde-yaml

Resources Mentioned