Offline dengan aplikasi Player FM !
#11: Alastair Reid – Meeting Developers Where They Are
Manage episode 298194461 series 2824530
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.
Watch all our episodes on the Building Better Systems youtube channel.
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Alastair Reid's paper project: https://alastairreid.github.io/RelatedWork/papers/
Rust verification tools: https://github.com/project-oak/rust-verification-tools
Meeting Developers Where They Are paper: https://arxiv.org/abs/2010.16345
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 episode
Manage episode 298194461 series 2824530
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.
Watch all our episodes on the Building Better Systems youtube channel.
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Alastair Reid's paper project: https://alastairreid.github.io/RelatedWork/papers/
Rust verification tools: https://github.com/project-oak/rust-verification-tools
Meeting Developers Where They Are paper: https://arxiv.org/abs/2010.16345
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 episode
Semua episode
×Selamat datang di Player FM!
Player FM memindai web untuk mencari podcast berkualitas tinggi untuk Anda nikmati saat ini. Ini adalah aplikasi podcast terbaik dan bekerja untuk Android, iPhone, dan web. Daftar untuk menyinkronkan langganan di seluruh perangkat.