[OOPSLA23] Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Mani...

(17:41)

[OOPSLA23] Structural Subtyping as Parametric Polymorphism

(17:28)

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

(19:8)

Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches

(14:29)

SUI23 - Introducing Bidirectional Programming in Constructive Solid Geometry-Based CAD

(3:48)

[FUNARCH24] Bidirectional Data Transformations

(45:20)

[OOPSLA23] TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism

(16:59)

[OOPSLA23] Back to Direct Style: Typed and Tight

(14:36)

Making a Programming Language \u0026 Interpreter in under 10 minutes!

(10:28)

[SPLASH'23] Room XII (Oct 23rd)

(10:19:20)

Association Mapping - Bidirectional vs 2 Unidirectional

(11:31)

18. PSPACE-Completeness

(1:17:36)

Blender Tutorial - Boolean Modifier (3D Modeling Essentials)

(3:53)

Python Decorators: The Complete Guide

(27:59)

Inventor - Chapter 8 - Constructive Solid Geometry Concepts

(6:25)

Walking The AST - Programming Language From Scratch

(25:43)

SPLASH'23 Room II Oct (26th)

(6:30:16)

Constructive Solid Geometry

(29:25)

[OOPSLA23] Greedy Implicit Bounded Quantification

(18:14)

[OOPSLA23] Continuing WebAssembly with Effect Handlers

(18:11)

[OOPSLA23] Accelerating Fuzzing through Prefix-Guided Execution

(18:23)

[OOPSLA23] Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction

(16:33)

[OOPSLA23] How Domain Experts Use an Embedded DSL

(19:10)

[OOPSLA23] Rapid: Region-Based Pointer Disambiguation

(18:14)

[OOPSLA23] A Grounded Conceptual Model for Ownership Types in Rust

(18:36)

Program Sketching with Live Bidirectional Evaluation (ICFP 2020)

(14:33)

[OOPSLA23] Languages with Decidable Learning: A Meta-theorem

(17:32)

[OOPSLA23] Reusing Just-in-Time Compiled Code

(19:3)

[OOPSLA23] A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitiv...

(17:55)