~/talk

A Flexible Type System for Fearless Concurrency

on YouTube 19m
Talkat PLDI 2022 · 2022-06-13..06-17· [concurrency]

speakers

name:Mei Milano
links:none on file
name:Josh Takati
links:none on file
name:Andrew C. Myers
links:none on file

resources

video:https://youtu.be/yUtZwdGhxhw
slides:none on file

summary

A type system eliminates destructive data races by treating whole regions as affine resources and tracking exact broken paths with a focus mechanism, requiring only a single iso field annotation. Cross-region references must uniquely dominate targets, allowing arbitrary object graphs inside regions without runtime nulling or swapped dummies. Proofs of progress and preservation show no object is used after being sent. A prototype suite (~2k lines of examples, including a red‑black tree) demonstrates the approach.

AI-written summary · about

chapters (4)

  1. 0:00Introduction
  2. 3:04Circular doubly linked list
  3. 5:50Regions
  4. 9:30Focus

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.