C++Now 2025: David Sankel on Program Correctness and Limitations

View organization page for C++Now

12,400 followers

C++Now 2025 - David Sankel: "C++ Program Correctness and its Limitations" youtu.be/In2elCXQ10A 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? --- David Sankel 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.

To view or add a comment, sign in

Explore content categories