Building Better Systems

22 Avsnitt

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

   Publicerades: 2022-08-09
2. Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

   Publicerades: 2022-06-10
3. Episode #20: Ankush Desai — P: The Modeling Language That Could

   Publicerades: 2022-04-28
4. #19: Steve Weis — Security Shouldn't Be the Last Check Box

   Publicerades: 2022-04-14
5. #18: Jordan Kyriakidis — Helping People Write More Useful Requirements

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

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

   Publicerades: 2022-02-09
8. #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

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

   Publicerades: 2021-12-03
10. #13: Rod Chapman – It's Either Automated or It's Wrong

    Publicerades: 2021-09-24
11. #12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa

    Publicerades: 2021-08-12
12. #11: Alastair Reid – Meeting Developers Where They Are

    Publicerades: 2021-07-23
13. #10: Gregory Malecha – Formal Methods and Systems Programmers Working Together

    Publicerades: 2021-06-11
14. #9: Tycho Andersen – Commit Log Spelunking

    Publicerades: 2021-05-13
15. #8: Eric Davis – Building Better Data Models

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

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

    Publicerades: 2021-02-04
18. #5: Talia Ringer – Proof Engineering for the People

    Publicerades: 2021-01-11
19. #4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?

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

    Publicerades: 2020-12-03