#13: Rod Chapman – It's Either Automated or It's Wrong

Building Better Systems

Player FM - Internet Radio Done Right

הוסף לפני five שנים

תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

Species Unite

1
Reuven Bank and Andrew Kim: When the Ocean Lost Its Stars 30:54

לפני 14 ימים30:54

הפעל מאוחר יותר

רשימות

לייק

אהבתי

30:54

לפני 4 שנים 44:03

MP3•בית הפרקים

Rod Chapman explains his recent verification of TweetNACL using SPARK/ADA. We discuss how every aspect of his proofs are automated, how the correctness proofs actually enabled better performance after compilation, and higher confidence in some otherwise risky-seeming optimizations.

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/

Rod Chapman: linkedin.com/in/rod-chapman-7b60266

https://github.com/rod-chapman/SPARKNaCl

Galois, Inc.: https://galois.com/

22 פרקים

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