6:43

[IWACO23] Welcome to IWACO!

ACM SIGPLAN

1:23:12

[IWACO23] Capture Tracking in Scala

ACM SIGPLAN

28:20

[IWACO23] Borrow checking Hylo

ACM SIGPLAN

25:52

[IWACO23] Degrees of Separation: A Flexible Type System for Data Race Prevention

ACM SIGPLAN

33:15

[IWACO23] Latte: Lightweight Aliasing Tracking for Java

ACM SIGPLAN

21:38

[IWACO23] A Mechanized Theory of the Box Calculus

ACM SIGPLAN

25:16

[IWACO23] Compositional Reasoning about Advanced Iterator Patterns in Rust

ACM SIGPLAN

22:39

[IWACO23] Oxidize: A Step-Debugger for Static Semantics

ACM SIGPLAN