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,213 Listeners

            Software Engineering Radio by se-radio@computer.org

            Software Engineering Radio

            271 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,087 Listeners

            Software Engineering Daily by Software Engineering Daily

            Software Engineering Daily

            626 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

            231 Listeners

            Python Bytes by Michael Kennedy and Brian Okken

            Python Bytes

            214 Listeners

            The Real Python Podcast by Real Python

            The Real Python Podcast

            142 Listeners

            Dwarkesh Podcast by Dwarkesh Patel

            Dwarkesh Podcast

            501 Listeners

            Signals and Threads by Jane Street

            Signals and Threads

            72 Listeners

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

            ADSP: Algorithms + Data Structures = Programs

            37 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

            280 Listeners

            Oxide and Friends by Oxide Computer Company

            Oxide and Friends

            62 Listeners