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.
Overview
Syllabus
[POCL'24] CHERI C semantics
Taught by
ACM SIGPLAN
