An Overview of the Checked C Project
Offered By: Paul G. Allen School via YouTube
Course Description
Overview
Explore an in-depth overview of the Checked C project in this informative seminar talk by David Tarditi. Learn about the motivation behind extending C with bounds checking to improve security and reliability in system programming. Discover the language extension design, which puts bounds checking under programmer control and introduces new pointer and array types. Understand how static checking ensures consistency of bounds declarations and how runtime checks are implemented. Gain insights into the project's implementation in the clang compiler front-end and its open-source nature. Delve into Tarditi's background in compilers, programming languages, and operating systems, and his work on projects like System C#, Midori, and Singularity. Grasp the challenges of integrating different programming models and the importance of improving system reliability and security in widely-used C and C++ codebases.
Syllabus
PLSE Seminar Series David Tarditi "An Overview of the Checked C Project"
Taught by
Paul G. Allen School
Related Courses
UNSW Computing 1 - The Art of ProgrammingOpenLearning C++ For C Programmers, Part A
University of California, Santa Cruz via Coursera Beginning Game Programming with C#
University of Colorado System via Coursera Introduction to Computing 计算概论A
Peking University via Coursera Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera