YoVDO

CHERI C Semantics

Offered By: ACM SIGPLAN via YouTube

Tags

Computer Architecture Courses Semantics Courses Formal Verification Courses Memory Safety Courses Programming Language Design Courses CHERI Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricacies of CHERI C semantics in this 19-minute conference talk presented by Vadim Zaliva at ACM SIGPLAN's POCL'24 event. Delve into the fundamental concepts and unique characteristics of CHERI C, gaining valuable insights into its semantic structure and implications for programming and system design.

Syllabus

[POCL'24] CHERI C semantics


Taught by

ACM SIGPLAN

Related Courses

中级汉语语法 | Intermediate Chinese Grammar
Peking University via edX Miracles of Human Language: An Introduction to Linguistics
Leiden University via Coursera Introduction to Natural Language Processing
University of Michigan via Coursera Linguaggio, identità di genere e lingua italiana
Ca' Foscari University of Venice via EduOpen Natural Language Processing
Indian Institute of Technology, Kharagpur via Swayam