Building Better Systems

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