[OOPSLA] Type-Directed Synthesis of Visualizations from Natural Language Queries

(16:3)

[OOPSLA] Linear types for large-scale systems verification

(31:38)

[OOPSLA] Probability Type Inference for Flexible Approximate Programming

(17:46)

[OOPSLA] MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types

(32:24)

[OOPSLA] Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers

(25:12)

OOPSLA Conference: Growing a Language

(54:12)

[OOPSLA] Intrinsically-Typed Definitional Interpreters à la Carte

(32:49)

[OOPSLA] Solo: A Lightweight Static Analysis for Differential Privacy

(28:18)

[OOPSLA23] Type-Safe Dynamic Placement with First-Class Placed Values

(15:42)

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

(1:34:50)

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

(6:20:1econd)

[SPLASH'24] Pacific - Onward! (Oct 23th)

(7:39:14)

[OOPSLA23] Opening and Welcome

(18:32)

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

(7:8:57)

[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses

(19:8)

Alan Kay at OOPSLA 1997 - The computer revolution hasnt happened yet

(1:4:33)

[OOPSLA23] Reusing Just-in-Time Compiled Code

(19:3)

Fundamental Concepts of Object Oriented Programming

(9:16)

Data-Oriented Demo: SOA, composition

(1:32:47)

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

(29:36)

[OOPSLA Keynote] How Dart Learned From Past Object-Oriented Systems

(1:1:23)

[OOPSLA] Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

(29:8)

[OOPSLA] C to checked C by 3c

(30:5)

[OOPSLA] Galois Transformers and Modular Abstract Interpreters

(20:18)

[OOPSLA] Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring

(28:36)

[OOPSLA] Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid

(23:22)

[OOPSLA23] Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect...

(17:42)

[OOPSLA] Synthesis of Layout Engines from Relational Constraints

(20:6)