Leveraging Rust Types for Program Synthesis
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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 ProgramsStanford 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