LLVM Improvements for Better Verification
Offered By: Linux Foundation via YouTube
Course Description
Overview
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
CompilersStanford University via Coursera Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Разработка веб-сервисов на Go - основы языка
Moscow Institute of Physics and Technology via Coursera Complete Guide to Protocol Buffers 3 [Java, Golang, Python]
Udemy Angular tooling: Generating code with schematics
Coursera Project Network via Coursera