[OOPSLA23] Mechanizing Session-Types using a Structural View: Enforcing Linearity without ...

(19:17)

[OOPSLA23] A conceptual framework for safe object initialization: a principled and mechani...

(20:20)

[OOPSLA23] Opening and Welcome

(18:32)

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

(16:59)

[OOPSLA23] Complete First-Order Reasoning for Properties of Functional Programs

(19:6)

[POPL'24] Mechanizing Refinement Types

(20:26)

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

(19:8)

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

(17:55)

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

(7:31:21)

[OOPSLA23] Reusing Just-in-Time Compiled Code

(19:3)

Silq: High-Level Quantum Programming | Qiskit Seminar Series with Benjamin Bichsel

(1:17:17)

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

(7:8:57)

Python Decorators: The Complete Guide

(27:59)

\

(39:58)

[OOPSLA23] Inductive Program Synthesis Guided by Observational Program Similarity

(17:55)

Hazelnut: A Bidirectionally Typed Structure Editor Calculus

(22:54)

[OOPSLA] Monadic and Comonadic Aspects of Dependency Analysis

(16:59)

[OOPSLA] Synthesizing Axiomatizations using Logic Learning

(28:59)

[OOPSLA23] The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilo...

(17:43)

[OOPSLA23] How Domain Experts Use an Embedded DSL

(19:10)

[OOPSLA23] AtomiS: Data-Centric Synchronization Made Practical

(20:24)

[OOPSLA23] Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic ...

(21:36)

[OOPSLA23] Synthesizing Precise Static Analyzers for Automatic Differentiation

(17:14)

[OOPSLA23] How Profilers Can Help Navigate Type Migration

(17:49)

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

(16:32)

[OOPSLA23] Grounded Copilot: How Programmers Interact with Code-Generating Models

(18:24)

[OOPSLA23] A Pretty Expressive Printer

(16:56)

[OOPSLA23] Live Pattern Matching with Typed Holes

(18:59)

[OOPSLA23] Scaling up machine learning without tears (and what do programming languages ha...

(1:3:26)