
CppCon Poster Program and Interface Design
CppCast
09/07/18
•59m
About
Comments
Featured In
Bob is a Principal Engineer with GliaCell Technologies. He's been working almost exclusively in C++ since discovering the second edition of The C++ Programming Language in a college bookstore in 1992. The majority of his career was spent in medical imaging, where he led teams building applications for functional MRI and CT-based cardiac visualization. After a brief detour through the worlds of DNS and analytics, he's now working in the area of distributed stream processing. Bob is a relatively new member of the C++ Standardization Committee, and launched a blog earlier this year to write about C++ and topics related to software engineering. He holds BS and MS degrees in Physics, is an avid cyclist, and lives in fear of his wife's cats.
News
- Frama-C
- Frama-C Tutorial
- Frama-Clang plugin
- The Errata Evaluation Problem
- Use Boost.Hana with MSVC 2017 Update 8
- Function poisoning in C++
Bob Steagall
Links
- C++Now 2018: Bob Steagall "If I had My 'Druthers: A Proposal for Improving Containers in C++2x"
- Fancy Pointers for Fun and Profit
- Fast Conversion From UTF-8 with C++, DFAs, and SSE Intrinsics
- Interface Design for Modern C++
Sponsors
Patreon
Hosts
Previous Episode

Formal Verification
August 31, 2018
•55m
Matthew Fernandez is a Research Scientist with Intel Labs. Matt began his programming career building Windows GUI applications and designing databases, before moving into operating system architecture and security. He has a PhD in formal verification of operating systems from the University of New South Wales in Australia, and worked with the Australian research group Data61. In the past, he has worked on compilers, device drivers and hypervisors, and now spends his days exploring new tools and techniques for functional correctness and verification of security properties. On the weekends, you can usually find Matt in a park with a good book, hunting for good coffee or helping a newbie debug their code. He hopes to avoid saying “monad” on this podcast.
News
Matt Fernandez
Links
- The sel4 Microkernel
- Isabelle - Generic Proof Assistant
- The Coq Proof Assistant
- Dafny - Microsoft language and program verifier
- Z3 Theorem Prover
Sponsors
Patreon
Hosts
Next Episode

CppQuiz
September 13, 2018
•57m
Anders is here as the author of cppquiz.org. He's been working as a programmer since 2001, in fields ranging from multiphase flow simulations to web development. He’s been doing everything from working on compilers to being CTO, and has been using a wide variety of languages. C++ is closest to his heart, but he’s been doing other things for the last five years. He’s very happy to be back as a C++ developer from October 1, in his new job at Zivid Labs. Anders is also a father of two, and in his spare time he’s the producer and frontman of the futurepop band Modulo One.
News
Anders Knatten
Links
Sponsors
Patreon
Hosts
If you like this episode you’ll love
Promoted




