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

from Building Better Systems · host Joey Dodds, Shpat Morina

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]

Episode metadata supplied by the publisher feed · Published Dec 3, 2020

Embed this episode

Attribution link and audio player

What this episode covers

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.

Distinct summary based on available episode metadata or transcript content.

Ready to play

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

0:00 1:00:50

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

The Course Mentors Podcast The Course Mentors Hey there, future course creator! Ever feel like turning your know-how into an online course is like trying to solve a Rubik's cube blindfolded? Well, grab your headphones because "The Course Mentors Podcast" is here to be your secret weapon! Meet Aimee and Odette (that's us!), your new best friends in the course creation world. We've been in the trenches for over a decade, and for the last five years, we've been rocking the online course space. Now we're here to spill all our secrets in bite-sized, 15-20 minute episodes that'll fit perfectly in your coffee breaks. No fluff, no filler - just real, actionable advice that'll take you from "um, what's a landing page?" to "holy moly, I just hit six figures!". We're talking everything from crafting your course to marketing it like a pro and building a business that'll have you pinching yourself. Whether you're dreaming of ditching the 9-to-5 grind, adding a sweet extra income str

Frequently Asked Questions

How long is this episode of Building Better Systems?

This episode is 1 hour and 0 minutes long.

When was this Building Better Systems episode published?

This episode was published on December 3, 2020.

Can I download this Building Better Systems episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!