BrighterTube

A Program Logic for Concurrent Objects under Fair Scheduling

Ras Bodik140 subscribers

About this video

Editorial review · 85% confidence

Round-9 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor) passed; strict per-title check + final strict pass; oEmbed verified.

A 23-minute video from Ras Bodik: “A Program Logic for Concurrent Objects under Fair Scheduling”.

Programming & CS

Video by Ras Bodik, played through YouTube's embedded player.