22 Episodio

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

    Pubblicato: 09/08/2022

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

    Pubblicato: 10/06/2022

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

    Pubblicato: 28/04/2022

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

    Pubblicato: 14/04/2022

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

    Pubblicato: 09/03/2022

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

    Pubblicato: 09/02/2022

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

    Pubblicato: 09/02/2022

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

    Pubblicato: 10/01/2022

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

    Pubblicato: 03/12/2021

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

    Pubblicato: 24/09/2021

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

    Pubblicato: 12/08/2021

  12. #11: Alastair Reid – Meeting Developers Where They Are

    Pubblicato: 23/07/2021

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

    Pubblicato: 11/06/2021

  14. #9: Tycho Andersen – Commit Log Spelunking

    Pubblicato: 13/05/2021

  15. #8: Eric Davis – Building Better Data Models

    Pubblicato: 15/04/2021

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

    Pubblicato: 01/04/2021

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

    Pubblicato: 04/02/2021

  18. #5: Talia Ringer – Proof Engineering for the People

    Pubblicato: 11/01/2021

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

    Pubblicato: 15/12/2020

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

    Pubblicato: 03/12/2020

1 / 2

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.

Visit the podcast's native language site