#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis
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.
Building Better Systems · Joey Dodds, Shpat Morina
Audio is streamed directly from the publisher (cdn.simplecast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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]