Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Memory Simulations, Security and Optimization in a Verified Compiler

ACM SIGPLAN via YouTube

Overview

Explore memory simulations, security features, and optimizations in verified compilers through this conference talk from CPP 2024. Delve into the implementation and formal verification of stack canaries, pointer authentication, and tail recursion elimination within the CompCert compiler. Gain insights into complex semantic reasoning about pointers and memory allocation, focusing on how programs maintain simulation despite altered memory layouts. Examine the intricacies of memory extensions, injections, and undefined values in the context of compiler security and optimization techniques.

Syllabus

[CPP'24] Memory simulations, security and optimization in a verified compiler

Taught by

ACM SIGPLAN

Reviews

Start your review of Memory Simulations, Security and Optimization in a Verified Compiler

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.