
SYCL
CppCast
08/24/18
•46m
About
Comments
Featured In
Gordon is a senior software engineer at Codeplay Software in Edinburgh, specialising in designing and implementing heterogeneous programming models for C++. Gordon spends his days working on ComputeCpp; Codeplay's implementation of SYCL and contributing to various standards bodies including the Khronos group and ISO C++. Gordon also co-organises the Edinburgh C++ user group and occasionally blogs about C++. In his spare time, Gordon enjoys dabbling in game development, board games and walking with his two dogs.
News
- CppCon 2018 Poster Program Announced
- A bug in the C++ Standard
- Synapse submitted for Boost review
- New C++ London Uni Course Sept 18
Gordon Brown
Links
- SYCL
- ComputeCpp
- Parallel Programming with Modern C++: from CPU to GPU
- P0443r7: A Unified Executors Proposal for C++
- CppCon 2017: Gordon Brown "Designing a Unified Interface for Execution"
- SYCL building blocks for C++ libraries - Gordon Brown - Meeting C++ 2016
Sponsors
Patreon
Hosts
Previous Episode

Sourcetrail
August 17, 2018
•53m
Eberhard Gräther is software developer, user experience designer and founder at Coati Software. He started programming C++ during his undergraduate CS degree at Salzburg University of Applied Sciences, majoring in game development. During multiple internships in the Google Chrome Team he worked on tools for rendering performance analysis. He then specialized in Human Computer Interaction and developer tooling during a Master's degree, where he started working on Sourcetrail, a cross-platform source explorer for faster understanding of unfamiliar source code.
News
- Interactive Websites: Using Boost.Beast WebSockets and Networking TS
- New Educational Video Series: How to CMake Good
- Using MSVC in a Docker Container for your C++ projects
- Win a free ticket to C++ on Sea!
Eberhard Gräther
Links
- Sourcetrail
- Sourcetrail 2018.3
- C++Now 2018: Eberhard Gräther "The Untapped Potential of Software Visualization"
Sponsors
Patreon
Hosts
Next 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
If you like this episode you’ll love
Promoted




