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 Phil Nash & Timur Doumler
            • 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,239 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

            272 Listeners

            The Changelog: Software Development, Open Source by Changelog Media

            The Changelog: Software Development, Open Source

            289 Listeners

            The a16z Show by Andreessen Horowitz

            The a16z Show

            1,101 Listeners

            Software Engineering Daily by Software Engineering Daily

            Software Engineering Daily

            624 Listeners

            Talk Python To Me by Michael Kennedy

            Talk Python To Me

            581 Listeners

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

            The Amp Hour Electronics Podcast

            230 Listeners

            Python Bytes by Michael Kennedy and Brian Okken

            Python Bytes

            213 Listeners

            The Real Python Podcast by Real Python

            The Real Python Podcast

            140 Listeners

            Dwarkesh Podcast by Dwarkesh Patel

            Dwarkesh Podcast

            528 Listeners

            Signals and Threads by Jane Street

            Signals and Threads

            73 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

            32 Listeners

            ACQ2 by Acquired by Ben Gilbert and David Rosenthal

            ACQ2 by Acquired

            298 Listeners

            Oxide and Friends by Oxide Computer Company

            Oxide and Friends

            67 Listeners