Building Better Systems

22 Episodes

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

   Published: 8/9/2022
2. Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

   Published: 6/10/2022
3. Episode #20: Ankush Desai — P: The Modeling Language That Could

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

   Published: 4/14/2022
5. #18: Jordan Kyriakidis — Helping People Write More Useful Requirements

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

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

   Published: 2/9/2022
8. #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

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

   Published: 12/3/2021
10. #13: Rod Chapman – It's Either Automated or It's Wrong

    Published: 9/24/2021
11. #12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa

    Published: 8/12/2021
12. #11: Alastair Reid – Meeting Developers Where They Are

    Published: 7/23/2021
13. #10: Gregory Malecha – Formal Methods and Systems Programmers Working Together

    Published: 6/11/2021
14. #9: Tycho Andersen – Commit Log Spelunking

    Published: 5/13/2021
15. #8: Eric Davis – Building Better Data Models

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

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

    Published: 2/4/2021
18. #5: Talia Ringer – Proof Engineering for the People

    Published: 1/11/2021
19. #4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?

    Published: 12/15/2020
20. #3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

    Published: 12/3/2020