David Sankel is a Principal Scientist, leads Adobe's Software Technology Lab, and is an active member of the C++ Standardization Committee. His experience spans microservice architectures, CAD/CAM, computer graphics, visual programming languages, web applications, computer vision, and cryptography. He is a frequent speaker at C++ conferences and specializes in large-scale software engineering and advanced C++ topics. David’s interests include dependently typed languages, semantic domains, EDSLs, and functional reactive programming. He was the project editor of the C++ Reflection TS, is the Executive Director of the Boost Foundation, and authored several C++ proposals including pattern matching and language variants.
Struggling with Rust/C++ interop? Existing solutions often involve excessive boilerplate, feature gaps, or build system constraints. This talk introduces Zngur, a new approach simplifying integration by leveraging the subset relationship between Rust and C++ semantics. We'll explore Zngur's architecture and demonstrate how it enables more seamless interaction between these languages.
We talk about "correct" programs all the time, but what does that really mean? This talk dives into the tricky business of defining program correctness, exploring several attempts and their pitfalls along the way. Even with a solid definition, we'll see how formal correctness only goes so far in real-world software development. The talk concludes by looking at the bigger picture: what are we actually trying to achieve with correctness, and are there better ways to get there?
The people who bring you Boost and C++ Now! talk and answer questions about what they see coming. Panelist: Zach Laine David Sankel Michael Caisse Bob Steagall Kristen Shaker Jeff Garland We'll also have the closing ceremonies and make announcements about 2025.
Between memory safety legislation, calls for C++ successors, and Rust's rising popularity, many conclude C++ is going through rough times. Are complaints of fundamental insecurity, over-complexity, and committee dysfunction overblown? Either way, what's to be done? This talk pragmatically evaluates these developments and makes the case that a focus on improving people's lives is the ideal response. We'll see how this outlook leads to guidance on the libraries we build, the talks we give, the features we add, and how we conceptualize C++'s role in humanity.
When programming day to day in C++, we frequently take for granted the hardware instructions we're creating. You may have heard that system calls are expensive, but do you know what a system call actually does? You may have heard of calling conventions, but do you know what that looks like in practice? All too often we take these and other aspects of our systems as a kind of uninvestigated lore. In this talk we're taking a deep dive into how computers work when you strip off the veneer of C++ code. We'll cover assembly basics and delve into system […]