[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back

(29:36)

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism (OOPSLA'20)

(15:11)

[OOPSLA] First-class Names for Effect Handlers

(28:1econd)

[OOPSLA] High-Level Effect Handlers in C++

(31:53)

[OOPSLA] Accurate Profiling in the Presence of Dynamic Compilation

(20:20)

[OOPSLA] Galois Transformers and Modular Abstract Interpreters

(20:18)

[OOPSLA23] From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect ...

(19:5)

OOPSLA Conference: Growing a Language

(54:12)

[SPLASH'24] San Gabriel - OOPSLA (Oct 25th)

(7:28:37)

[SPLASH'24] San Gabriel - OOPSLA (Oct 24th)

(7:2:39)

[SPLASH'24] Pasadena - OOPSLA (Oct 25th)

(7:31:21)

[SPLASH'24] IBR East - OOPSLA (Oct 25th)

(6:20:1econd)

[SPLASH'24] IBR - OOPSLA Keynote (Oct 25th)

(1:34:50)

[SPLASH'24] IBR - OOPSLA Keynote (Oct 23th)

(1:12:9)

[SPLASH'24] San Gabriel - OOPSLA (Oct 23th)

(7:14:18)

[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)

(1:23:7)

[SPLASH'24] IBR West - OOPSLA (Oct 23)

(6:54:22)

[OOPSLA] How Scale Affects Structure in Java Programs

(20:47)

[OOPSLA] Partial Evaluation of Machine Code

(20:19)

OOPSLA 2002: Jerry Michalski's keynote (full quality 720x480)

(1:41:18)

[OOPSLA] Probability Type Inference for Flexible Approximate Programming

(17:46)

[OOPSLA23] Gradual Typing for Effect Handlers

(17:57)

A Type-and-Effect System for Object Initialization

(15:51)

[OOPSLA] Use at Your Own Risk: The Java Unsafe API in the Wild

(18:59)

Compiling Symbolic Execution with Staging and Algebraic Effects

(15:55)