YoVDO

A Grounded Conceptual Model for Ownership Types in Rust

Offered By: ACM SIGPLAN via YouTube

Tags

Rust Courses Pedagogy Courses Static Analysis Courses Memory Safety 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 teaching Rust's ownership types in this 19-minute conference talk from OOPSLA2 2023. Delve into the systematic design of a new pedagogy that addresses the challenges faced by programmers learning Rust's core mechanism for memory safety. Discover the Ownership Inventory, a novel instrument for measuring understanding of ownership concepts. Learn about a conceptual model that explains borrow checking using flow-sensitive permissions on memory paths, accompanied by a Rust compiler plugin for program visualization. Examine the integration of this model into a revised ownership chapter of The Rust Programming Language textbook. Evaluate the effectiveness of this new pedagogy, which has shown a 9% improvement in learner scores on the Ownership Inventory. Access supplementary materials, including artifacts available for functional evaluation, to further enhance your understanding of this innovative approach to teaching Rust's ownership types.

Syllabus

[OOPSLA23] A Grounded Conceptual Model for Ownership Types in Rust


Taught by

ACM SIGPLAN

Related Courses

Building Your Own Programming Language
Frontend Masters
BeauĀ­tiful Racket
Independent
Rust: A Language for the Next 40 Years
ChariotSolutions via YouTube
Move Deliberately and Don't Break Anything: Lessons from Java Evolution
ChariotSolutions via YouTube
Flex - Lexical Analysis
Write your own Operating System via YouTube