[OOPSLA] Synthesizing Abstract Transformers

(28:14)

[OOPSLA] Synthesizing Axiomatizations using Logic Learning

(28:59)

[OOPSLA] Synthesis of Layout Engines from Relational Constraints

(20:6)

[OOPSLA] Synthesizing Code Quality Rules from Examples

(32:3)

[OOPSLA] Katara: Synthesizing CRDTs with Verified Lifting

(22:3)

[OOPSLA] Synthesizing fine-grained synchronization protocols for implicit monitors

(30:41)

[OOPSLA] Neural Architecture Search using Property Guided Synthesis

(29:53)

[OOPSLA] FlashMeta: A Framework for Inductive Program Synthesis

(16:59)

Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques

(53:35)

OOPSLA Conference: Growing a Language

(54:12)

[SPLASH'24] Pacific A - LIVE (Oct 21th)

(9:2:40)

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

(1:34:50)

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

(6:33:28)

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

(7:28:37)

The Unified Modeling Language, Part I, lecture by Grady Booch, Ivar Jacobson and James Rumbaugh

(1:26:53)

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

(7:31:21)

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

(6:20:1econd)

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

(19:8)

[OOPSLA23] Synthesizing Efficient Memoization Algorithms

(17:49)

OOPSLA '21: Formal Verification of High-Level Synthesis

(15:)

[OOPSLA23] Synthesizing Precise Static Analyzers for Automatic Differentiation

(17:14)

[OOPSLA] Data-Driven Lemma Synthesis for Interactive Proofs

(26:4)

[OOPSLA] Specification-Guided Component-Based Synthesis from Effectful Libraries

(36:29)

[OOPSLA] Complexity-guided container replacement synthesis

(29:35)

[OOPSLA23] Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates

(18:15)

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

(16:3)

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

(28:36)