CppCast

Analyzing Undefined Behavior

Listen Later
Rob and Jason are joined by John Regehr to talk about his job as a professor at the University of Utah teaching C++ courses and some of his research projects including souper and csmith.

John Regehr is a professor at the University of Utah where he's been on the faculty since 2003. He likes to work on compilers and software correctness, but used to work on real-time and embedded systems. When he has free time he likes to go hiking in the desert with his kids.

News
  • Five Awesome C++ Papers for Kona 2019 ISO Meeting
  • The future of Catch2
  • Some C++ on Sea videos already available
  • Between linear and binary search
    • John Regehr
    • @johnregehr
    • John Regehr's Personal Page
    • John Regehr's Blog
      • Links
      • Souper
      • Csmith
      • C-Reduce
      • C++Now 2018: John Regehr "Closing Keynote: Undefined Behavior and Compiler Optimizations"
        • Sponsors
        • Download PVS-Studio
        • Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities
          • Hosts
          • @robwirving
          • @lefticus
            • ...more
            View all episodesView all episodes
            Download on the App Store
            CppCastBy Mathieu Ropert & Jason Turner
            • 4.8
            • 4.8
            • 4.8
            • 4.8
            • 4.8

            4.8

            106 ratings

            More shows like CppCast

            View all
            Philosophize This! by Stephen West

            Philosophize This!

            15,257 Listeners

            Software Engineering Radio - the podcast for professional software developers by team@se-radio.net (SE-Radio Team)

            Software Engineering Radio - the podcast for professional software developers

            275 Listeners

            The Changelog: Software Development, Open Source by Changelog Media

            The Changelog: Software Development, Open Source

            288 Listeners

            The a16z Show by Andreessen Horowitz

            The a16z Show

            1,104 Listeners

            Software Engineering Daily by Software Engineering Daily

            Software Engineering Daily

            624 Listeners

            Talk Python To Me by Michael Kennedy

            Talk Python To Me

            585 Listeners

            The Amp Hour Electronics Podcast by The Amp Hour (Chris Gammell and David L Jones)

            The Amp Hour Electronics Podcast

            228 Listeners

            Python Bytes by Michael Kennedy and Brian Okken

            Python Bytes

            214 Listeners

            The Real Python Podcast by Real Python

            The Real Python Podcast

            139 Listeners

            Dwarkesh Podcast by Dwarkesh Patel

            Dwarkesh Podcast

            560 Listeners

            Signals and Threads by Jane Street

            Signals and Threads

            74 Listeners

            ADSP: Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

            ADSP: Algorithms + Data Structures = Programs

            38 Listeners

            Two's Complement by Ben Rady and Matt Godbolt

            Two's Complement

            31 Listeners

            ACQ2 by Acquired by Ben Gilbert and David Rosenthal

            ACQ2 by Acquired

            291 Listeners

            Oxide and Friends by Oxide Computer Company

            Oxide and Friends

            65 Listeners