Code Safety Courses and Certifications

ACCU Conference

Enhancing Safety in C++ Code With Modern C++ Quantities and Units Library - ACCU 2024

Explore how modern C++ quantities and units library enhances code safety, addressing engineering mishaps and improving project robustness through practical examples and potential language extensions.

• YouTube
• 1 hour 30 minutes
• On-Demand
• Free Video

Move to Modern C++

308 ratings at Udemy

Refresh and update C++ skills with new language features, safer coding practices, and multithreading. Learn to write more expressive, efficient, and maintainable code using modern C++ techniques.

• Udemy
• 11 hours 33 minutes
• On-Demand
• Paid Course

NDC Conferences

C# and Rust - Combining Managed and Unmanaged Code Without Sacrificing Safety

Explore integrating C# and Rust codebases, focusing on safety and performance benefits. Learn design strategies for robust foreign function interfaces using Seq's storage engine as a case study.

• YouTube
• 58 minutes
• On-Demand
• Conference Talk

JetBrains

Enhance Code Safety: Unveiling IntelliJ IDEA's New Exploitable Path Feature

Discover how IntelliJ IDEA's exploitable path feature enhances code safety, streamlines development, and boosts productivity by prioritizing critical vulnerabilities, allowing developers to focus on crafting quality software.

• YouTube
• 50 minutes
• On-Demand
• Free Video

CppCon

C++ Contracts: Improving Code Safety and Correctness with C++26

Discover how C++26's Contracts MVP feature enhances code safety through preconditions, postconditions, and assertions, offering a robust alternative to traditional assertion macros.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

code::dive conference

C++ Safety, Security, and Correctness - code::dive 2025 Conference Sessions

Explore cutting-edge C++ safety, security, and correctness techniques through expert talks on contracts, tooling, formal verification, and practical applications.

• YouTube
• 10 hours 7 minutes
• On-Demand
• Free Video

Safer JavaScript with the Maybe Type

236 ratings at egghead.io

Explore the Maybe type to enhance JavaScript safety, simplify error handling, and improve code readability by encapsulating type checks and guarding against missing values.

• egghead.io
• 50 minutes
• On-Demand
• Paid Course

IEEE

Towards Automated Safety Vetting of PLC Code in Real World Plants - Mu Zhang

Automated safety vetting for PLC code in industrial plants using temporal context-aware program analysis. Generates timed event sequences to detect hidden safety violations in real-world scenarios.

• YouTube
• 23 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Applying Large Scale Diffing to Declarative Configuration Code for Production Safety

Explore large-scale diffing for declarative configuration code to enhance production safety, addressing unintended consequences and testing challenges in config changes.

• YouTube
• 24 minutes
• On-Demand
• Free Video

ACCU Conference

Writing a Base Level Library for Safety Critical Code in C++ - Lecture

Dive into safety-critical C++ development for modern cars. Explore tools, testing methodologies, coding standards, error handling, and design impacts for creating reliable software where lives are at stake.

• YouTube
• 1 hour 35 minutes
• On-Demand
• Free Video

CppCon

Improving Safety of C++ Code With Quantities and Units Library

Discover how to enhance C++ code safety using quantities and units libraries, focusing on mp-units implementation, real-world engineering mishaps, and practical solutions for preventing measurement-related errors.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

ACCU Conference

Testing, Preconditions, Coverage and Templates in Safety-Critical C++ Code

Explore advanced testing strategies for safety-critical C++ including precondition validation, code coverage requirements, and template instantiation challenges.

• YouTube
• 1 hour 40 minutes
• On-Demand
• Free Video

InfoQ

Site Reliability Engineering and Fire Safety - Lessons from NYC Fire Code Evolution

Discover how Site Reliability Engineering principles parallel NYC's fire code evolution, exploring effective SRE practices, disaster prevention strategies, and software lifecycle reliability considerations.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

BASIL - Traceability as Code for Safety-Critical Software Development

Discover BASIL's innovative "Traceability as Code" approach for automating compliance in safety-critical software development, specifically addressing Linux kernel's complex ecosystem.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Low Level Learning

Writing Safe Code in C - Billions of Deployments

Discover how to write secure C code through the analysis of curl's codebase, which has achieved billions of safe deployments despite using a low-level language.

• YouTube
• 25 minutes
• On-Demand
• Free Video