Prova Storytel gratis i 20 dagar Ett universum fyllt av ljudböcker, klicka här för att komma igång

Building Better Systems

En podcast av: Galois, Joey Dodds, Shpat Morina

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware

Our American listeners can also listen to Building Better Systems at our American site

22 Avsnitt

Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
Publicerades 2022-08-09

Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
Publicerades 2022-06-10
Episode #20: Ankush Desai — P: The Modeling Language That Could
Publicerades 2022-04-28
#19: Steve Weis — Security Shouldn't Be the Last Check Box
Publicerades 2022-04-14
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements
Publicerades 2022-03-09
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
Publicerades 2022-02-09
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
Publicerades 2022-02-09
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
Publicerades 2022-01-10
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
Publicerades 2021-12-03
#13: Rod Chapman – It's Either Automated or It's Wrong
Publicerades 2021-09-24
#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa
Publicerades 2021-08-12
#11: Alastair Reid – Meeting Developers Where They Are
Publicerades 2021-07-23
#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together
Publicerades 2021-06-11
#9: Tycho Andersen – Commit Log Spelunking
Publicerades 2021-05-13
#8: Eric Davis – Building Better Data Models
Publicerades 2021-04-15
#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work
Publicerades 2021-04-01
#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?
Publicerades 2021-02-04
#5: Talia Ringer – Proof Engineering for the People
Publicerades 2021-01-11
#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?
Publicerades 2020-12-15
#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis
Publicerades 2020-12-03

22 Avsnitt

Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory

Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

Episode #20: Ankush Desai — P: The Modeling Language That Could

#19: Steve Weis — Security Shouldn't Be the Last Check Box

#18: Jordan Kyriakidis — Helping People Write More Useful Requirements

#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)

#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)

#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean

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

#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa

#11: Alastair Reid – Meeting Developers Where They Are

#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together

#9: Tycho Andersen – Commit Log Spelunking

#8: Eric Davis – Building Better Data Models

#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work

#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?

#5: Talia Ringer – Proof Engineering for the People

#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?

#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis