YoVDO

LLVM Improvements for Better Verification

Offered By: Linux Foundation via YouTube

Tags

LLVM Courses Code Generation Courses Software Security Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

LLVM improvements for better verification (Alan Jowett)


Taught by

Linux Foundation

Tags

Related Courses

RISC-V Toolchain and Compiler Optimization Techniques
Linux Foundation via edX The State of Julia in 2021 - JuliaCon Keynote
The Julia Programming Language via YouTube Get Started Using WebAssembly (wasm)
egghead.io DataFusion and Apache Arrow: Supercharging Data Analytics with a Rust-Based Query Engine
Databricks via YouTube Compilers - Jared Shumway
White Hat Cal Poly via YouTube