YoVDO

Leveraging Rust Types for Program Synthesis

Offered By: ACM SIGPLAN via YouTube

Tags

Rust Courses Type System Courses Memory Safety Courses Program Synthesis Courses Programming Language Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking approach to program synthesis in Rust presented at the PLDI 2023 conference in this 21-minute video. Discover how researchers from ETH Zurich, Technion, University of California at San Diego, and National University of Singapore leverage Rust's type system to simplify specifications and improve synthesis performance. Learn about Synthetic Ownership Logic, a novel program logic implemented in the RusSOL tool, which generates correct-by-construction Rust programs that satisfy both functional specifications and Rust's complex type system. Gain insights into how this approach reduces annotation burden and enhances synthesis efficiency, particularly beneficial for new Rust developers tackling common programming challenges.

Syllabus

[PLDI'23] Leveraging Rust Types for Program Synthesis


Taught by

ACM SIGPLAN

Related Courses

Stanford Seminar - Concepts and Questions as Programs
Stanford University via YouTube
DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning
Yannic Kilcher via YouTube
A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained
Aleksa Gordić - The AI Epiphany via YouTube
EI Seminar - Recent Papers in Embodied Intelligence
Massachusetts Institute of Technology via YouTube
Using Program Synthesis to Build Compilers
Simons Institute via YouTube