Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Explore the complex landscape of C++ safety and security in this keynote conference talk that examines the ongoing efforts to make C++ safer through contracts, library hardening, and emerging proposals like profiles and borrow checking. Delve into the fundamental question of what constitutes a "correct" program and understand how contract assertions relate to program correctness. Learn why safety and security are distinct concepts that go beyond simply removing undefined behavior, and discover how these different approaches interconnect within a comprehensive framework. Examine the challenges facing the C++ standardization process, including the slow ISO procedures, lack of unified strategy, and varying interpretations of what "safety" actually means in the context of C++ development. Gain insights into a holistic, actionable strategy for systematically addressing undefined behavior across the entire C++ language specification. Understand the human dynamics of technical standardization, including the diplomatic skills required to build consensus among passionate and opinionated engineers with diverse perspectives. Benefit from the expertise of Timur Doumler, co-host of CppCast and co-chair of the ISO C++ Contracts study group (SG21), who brings extensive experience from computational astrophysics, audio technology, and C++ tooling development to provide both technical depth and practical insights into the evolution of C++ language safety features.
