Building Better Systems
Total duration:
15 h 48 min
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
Building Better Systems
37:50
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
Building Better Systems
48:45
Episode #20: Ankush Desai — P: The Modeling Language That Could
Building Better Systems
46:12
#19: Steve Weis — Security Shouldn't Be the Last Check Box
Building Better Systems
41:36
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements
Building Better Systems
47:19
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
Building Better Systems
28:38
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
Building Better Systems
56:25
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
Building Better Systems
55:52
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
Building Better Systems
45:35
#13: Rod Chapman – It's Either Automated or It's Wrong
Building Better Systems
44:03
#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa
Building Better Systems
30:58
#11: Alastair Reid – Meeting Developers Where They Are
Building Better Systems
36:18
#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together
Building Better Systems
43:41
#9: Tycho Andersen – Commit Log Spelunking
Building Better Systems
42:34
#8: Eric Davis – Building Better Data Models
Building Better Systems
34:28
#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work
Building Better Systems
73:38
#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?
Building Better Systems
61:05
#5: Talia Ringer – Proof Engineering for the People
Building Better Systems
30:17
#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?
Building Better Systems
17:04
#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis
Building Better Systems
60:50
#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2
Building Better Systems
35:28
#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1
Building Better Systems
29:39