[OOPSLA23] A Pretty Expressive Printer

(16:56)

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

(18:36)

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

(20:20)

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

(17:55)

[OOPSLA23] A Gradual Probabilistic Lambda Calculus

(19:2)

[OOPSLA23] A Cocktail Approach to Practical Call Graph Construction

(17:55)

[OOPSLA23] A Deductive Verification Infrastructure for Probabilistic Programs

(16:37)

[OOPSLA23] Opening and Welcome

(18:32)

[OOPSLA23] A Verification Methodology for the Arm® Confidential Computing Architecture: Fr...

(19:23)

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

(37:30)

HAAI2022: Hyperdimensional Advances in Artificial Intelligence

(3:12:45)

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

(16:32)

[POPL 2021] PLMW: \

(49:36)

[OOPSLA23] When Concurrency Matters: Behaviour-Oriented Concurrency

(15:36)

[PADL'23] Modern Macros

(1:3:5)

CSE 340 F16: 11-9-16 \

(50:2)

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

(1:3:26)

[OOPSLA23] AST vs. Bytecode: Interpreters in the Age of Meta-Compilation

(16:58)

Program Verification using Abductive Reasoning

(42:21)

[OOPSLA23] An Explanation Method for Models of Code

(17:9)

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

(17:42)

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

(19:8)

[OOPSLA23] Message Chains for Distributed System Verification

(17:14)

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

(21:36)

[OOPSLA23] Inductive Program Synthesis Guided by Observational Program Similarity

(17:55)

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

(15:42)

[OOPSLA23] Structural Subtyping as Parametric Polymorphism

(17:28)

[OOPSLA23] From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect ...

(19:5)

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

(16:33)