[OOPSLA] The Essence of Online Data Processing

(27:26)

[OOPSLA] Data-Driven Lemma Synthesis for Interactive Proofs

(26:4)

[OOPSLA] Automating Ad-hoc Data Representation Transformations

(20:12)

[OOPSLA] Tower: Data Structures in Quantum Superposition

(24:36)

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

(28:36)

[OOPSLA23] Bring Your Own Data Structures to Datalog

(17:20)

OOPSLA Conference: Growing a Language

(54:12)

[OOPSLA] Scalable Race Detection for Android Applications

(19:12)

[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)

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

(7:14:18)

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

(1:12:9)

The Computer Revolution Hasn't Happened Yet OOPSLA 97 Keynote (VPRI 0719)

(1:4:29)

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

(1:4:33)

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

(6:15:34)

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

(1:23:7)

Open Data Foundations across Hudi, Iceberg and Delta

(34:24)

[OOPSLA] Linear types for large-scale systems verification

(31:38)

[OOPSLA23] AtomiS: Data-Centric Synchronization Made Practical

(20:24)

[OOPSLA23] Data Extraction via Semantic Regular Expression Synthesis

(17:58)

[OOPSLA] Synthesis of Layout Engines from Relational Constraints

(20:6)

[OOPSLA] Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation

(18:3)

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

(7:31:21)

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

(7:2:39)

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

(15:42)

[OOPSLA] Scrap your Boilerplate with Object Algebras

(20:52)

[OOPSLA] Oracle-Free Repair Synthesis for Floating-Point Programs

(13:39)