Improving trust in the compilation from F* to C
About this video
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceImproving trust in F* to C compilation (38 min) teaches formal verification and program correctness for code generation. Addresses how to ensure compiled code maintains source-level guarantees.
A 38-minute video from Microsoft Research: “Improving trust in the compilation from F* to C”.
Video by Microsoft Research, played through YouTube's embedded player.