YoVDO

Flux: Refinement Types for Rust

Offered By: ACM SIGPLAN via YouTube

Tags

Rust Courses Programming Languages Courses Type System Courses Concurrency Courses Static Analysis Courses Memory Safety Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Learn about Flux, a system that brings refinement types to Rust, in this conference talk from the ACM SIGPLAN SOAP'23 event. Explore how Flux extends Rust's type system with logical predicates, enabling more precise specifications and stronger correctness guarantees. Discover the challenges and solutions in integrating refinement types with Rust's ownership model and borrow checker. Gain insights into Flux's implementation, its impact on code verification, and potential applications in enhancing Rust's safety and expressiveness.

Syllabus

[SOAP'23] Flux: Refinement types for Rust


Taught by

ACM SIGPLAN

Related Courses

Programming Languages
University of Virginia via Udacity Compilers
Stanford University via Coursera Programming Languages, Part A
University of Washington via Coursera CSCI 1730 - Introduction to Programming Languages
Brown University via Independent Intro to Java Programming
San Jose State University via Udacity