#11: Alastair Reid – Meeting Developers Where They Are

Building Better Systems

Conteúdo fornecido por Galois Inc., Joey Dodds, and Shpat Morina. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Galois Inc., Joey Dodds, and Shpat Morina ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

3+ y ago 36:18

MP3•Home de episódios

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/

22 episódios

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina