Building Better Systems

22 Episoder

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

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

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

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

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

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

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

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

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

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

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

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

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

    Udgivet: 11.6.2021
14. #9: Tycho Andersen – Commit Log Spelunking

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

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

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

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

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

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

    Udgivet: 3.12.2020