Sveriges mest populära poddar
Building Better Systems
UtbildningTeknologi

#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

1 tim 1 min•3 december 2020

The founders of MuseDev discuss making modern static analysis usable and leveraging the latest promising research for automatic bug finding. MuseDev is a spin-off of Galois. 

Video of this podcast can be found on our Youtube channel: 

Galois, Inc.: https://galois.com/ 

Joey Dodds: https://galois.com/team/joey-dodds/ 

Shpat Morina: https://galois.com/team/shpat-morina/ 

Muse.dev 

Tom Dubuisson: https://www.linkedin.com/in/thomas-dubuisson-62910453/ 

Stephen Magill, https://www.linkedin.com/in/stephen-magill-2070a096/

Continuous Reasoning: Scaling the impact of formal methods by Peter W. O’Hearn https://bit.ly/2I0TJEs

Contact us: [email protected] 

Fler avsnitt av Building Better Systems

Visa alla avsnitt av Building Better Systems
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
•38 min
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
•49 min
Episode #20: Ankush Desai — P: The Modeling Language That Could
•46 min
#19: Steve Weis — Security Shouldn't Be the Last Check Box
•42 min
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements
•47 min
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
•29 min
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
•56 min
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
•56 min
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
•46 min
#13: Rod Chapman – It's Either Automated or It's Wrong
•44 min

Building Better Systems med Galois, Joey Dodds, Shpat Morina finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.