#11: Alastair Reid – Meeting Developers Where They Are

<p>Alastair Reid describes Google's efforts to bring formal methods to developers so that they can be useful today. We cover a recent publication describing their approach, Alastair's project to document all of the papers he read for a year, and a prototype tool that they've been building to demonstrate formal verification tools in rust.</p><p>Watch all our episodes on the <a href="https://youtu.be/98_egT5VGCY" target="_blank">Building Better Systems youtube channel</a>.</p><p>Joey Dodds: <a href="https://galois.com/team/joey-dodds/" target="_blank">https://galois.com/team/joey-dodds/ </a></p><p>Shpat Morina: <a href="https://galois.com/team/shpat-morina/" target="_blank">https://galois.com/team/shpat-morina/  </a></p><p>Alastair Reid's paper project: <a href="https://alastairreid.github.io/RelatedWork/papers/">https://alastairreid.github.io/RelatedWork/papers/</a></p><p>Rust verification tools: <a href="https://github.com/project-oak/rust-verification-tools" target="_blank">https://github.com/project-oak/rust-verification-tools</a></p><p>Meeting Developers Where They Are paper: <a href="https://arxiv.org/abs/2010.16345" target="_blank">https://arxiv.org/abs/2010.16345</a></p><p>Galois, Inc.: <a href="https://galois.com/" target="_blank">https://galois.com/ </a></p><p>Contact us: <a href="https://dashboard.simplecast.com/accounts/51604d1d-8164-4274-9e73-1606dbc7cf37/shows/83a96719-0b3a-4a2c-b6ef-4cbfc1905808/episodes/dce9dfab-1f9b-4982-8960-fe951a3ba7ef/podcast@galois.com" target="_blank">podcast@galois.com</a></p>