Explore LLVM improvements aimed at enhancing verification processes in this 28-minute conference talk by Alan Jowett. Gain insights into the latest advancements and techniques implemented within the LLVM framework to bolster code verification capabilities, potentially leading to more robust and reliable software development practices.
Overview
Syllabus
LLVM improvements for better verification (Alan Jowett)
Taught by
Linux Foundation
Tags
Related Courses
-
Verifying the LLVM
-
LLVM Optimization Remarks - Helping the Compiler Generate Better Code
-
LLVM in HPC: Enabling Performance Portability, Interoperability, and Novel Features - Part 2
-
LLVM in HPC - Enabling Performance Portability, Interoperability, and Novel Features - Part 1
-
Automated Verification - Session Preview
-
Rustc in Userland
