Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Type Theory Forall « »
#25 Formally Verifying the Tezos Codebase - Formal Land

2y ago 1:01:32

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.

Links

Formal Land Website
Formal Land Email: contact@formal.land
Formal Land Twitter: @LandFooBar
CoqOfOcaml
The DAO hack

… continue reading

81 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#25 Formally Verifying the Tezos Codebase - Formal Land

Type Theory Forall

27 subscribers

published 2y ago

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.

Links

Formal Land Website
Formal Land Email: contact@formal.land
Formal Land Twitter: @LandFooBar
CoqOfOcaml
The DAO hack

… continue reading

81 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

ทุกตอน

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner