YoVDO

Generation of Verified Assembly Code Using Dafny and Reinforcement Learning

Offered By: ACM SIGPLAN via YouTube

Tags

Formal Verification Courses Reinforcement Learning Courses Assembly Language Courses Code Generation Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the innovative approach of using Dafny and reinforcement learning to generate verified assembly code in this 18-minute conference talk from ACM SIGPLAN. Discover how Christopher Brix and Jean-Baptiste Tristan address the challenge of ensuring correctness in machine-generated assembly code, particularly for complex tasks where exhaustive testing is not feasible. Learn about the integration of Dafny into the reinforcement learning process, enabling automatic verification of assembly programs against input-output constraints without human intervention. Gain insights into how this method can guide AI agents to develop efficient and verified solutions for intricate programming tasks, building upon the recent success of algorithms like AlphaDev in generating high-performance assembly code.

Syllabus

[Dafny'24] Generation of Verified Assembly Code Using Dafny and Reinforcement Learning


Taught by

ACM SIGPLAN

Related Courses

The Computing Technology Inside Your Smartphone
Cornell University via edX
Computer Architecture
Indian Institute of Technology Madras via Swayam
Computation Structures 2: Computer Architecture
Massachusetts Institute of Technology via edX
Product Design and Manufacturing
Indian Institute of Technology Kanpur via Swayam
Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam