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

            4.8

            106 ratings

            More shows like CppCast

            View all
            Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

            Software Engineering Radio - the podcast for professional software developers

            262 Listeners

            Planet Money by NPR

            Planet Money

            30,851 Listeners

            The Changelog: Software Development, Open Source by Changelog Media

            The Changelog: Software Development, Open Source

            285 Listeners

            Freakonomics Radio by Freakonomics Radio + Stitcher

            Freakonomics Radio

            32,179 Listeners

            Talk Python To Me by Michael Kennedy

            Talk Python To Me

            584 Listeners

            Python Bytes by Michael Kennedy and Brian Okken

            Python Bytes

            212 Listeners

            The Daily by The New York Times

            The Daily

            111,521 Listeners

            Darknet Diaries by Jack Rhysider

            Darknet Diaries

            7,852 Listeners

            Conan O’Brien Needs A Friend by Team Coco & Earwolf

            Conan O’Brien Needs A Friend

            59,288 Listeners

            Rustacean Station by Rustacean Station

            Rustacean Station

            62 Listeners

            Why This Universe? by Dan Hooper, Shalma Wegsman

            Why This Universe?

            329 Listeners

            People I (Mostly) Admire by Freakonomics Radio + Stitcher

            People I (Mostly) Admire

            2,093 Listeners

            Algorithms + Data Structures = Programs by Conor Hoekstra & Bryce Adelstein Lelbach

            Algorithms + Data Structures = Programs

            33 Listeners

            The Ezra Klein Show by New York Times Opinion

            The Ezra Klein Show

            15,225 Listeners

            Unexplainable by Vox

            Unexplainable

            2,146 Listeners