Delivering Safe C++ - Bjarne Stroustrup - CppCon 2023

CppCon 2023 Early Access: Access All 2023 Session Videos Ahead of Their Official Release To YouTube. At least 30 days exclusive access through the Early Access system. Videos will be released to the CppCon channel on a schedule of one video per business day, with initial releases starting in November. --- Delivering Safe C - Bjarne Stroustrup - CppCon 2023 Type safety was one of the key initial C design ideals. We have evolved C to the point where we can write C with no violations of the type system, no resource leaks, no memory corruption, no garbage collector, no limitation of expressiveness or performance degradation compared to well-written modern C . We face three major challenges: To define what “safe” means in the context of various C uses, to guarantee such safety where guarantees are needed, and to get developers to write such verified safe code. I outline an approach based on safety profiles to address these challenges, describe an approach to eliminate dangling pointers, and suggest how to eliminate all dangling pointers and all range errors. My aim for key applications is verified type-and-resource-safe C . An emphasis is on minimizing costly run-time checks through the use of abstractions. I see the current emphasis on safety as an opportunity to complete one aspect of C ’s fundamental aims in real-world code. --- Bjarne Stroustrup Bjarne Stroustrup is the designer and original implementer of C as well as the author of The C Programming Language (4th Edition) and A Tour of C (3rd edition), Programming: Principles and Practice using C (2nd Edition), and many popular and academic publications. He is a professor of Computer Science in Columbia University in New York City. Dr. Stroustrup is a member of the US National Academy of Engineering, and an IEEE, ACM, and CHM fellow. He received the 2018 Charles Stark Draper Prize, the IEEE Computer Society’s 2018 Computer Pioneer Award, and the 2017 IET Faraday Medal. He did much of his most important work in Bell Labs. His research interests include distributed systems, design, programming techniques, software development tools, and programming languages. To make C a stable and up-to-date base for real-world software development, he has been a leading figure with the ISO C standards effort for more than 30 years. He holds a master’s in Mathematics from Aarhus University, where he is an honorary professor in the Computer Science Department, and a PhD in Computer Science from Cambridge University, where he is an honorary fellow of Churchill College. __ Videos Filmed & Edited by Bash Films: YouTube Channel Managed by Digital Medium Ltd --- Registration for CppCon: #cppcon #cppprogramming #cpp