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

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy