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

(1:3:26)

[OOPSLA23] Rapid: Region-Based Pointer Disambiguation

(18:14)

[OOPSLA23] An Explanation Method for Models of Code

(17:9)

[OOPSLA23] Proof Automation for Linearizability in Separation Logic

(18:53)

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

(16:33)

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

(1:34:50)

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

(7:31:21)

haskell.

(1:3)

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

(7:14:18)

Breaking Analysis: Adobe Summit highlights personalization at scale with Gen AI

(38:37)

Open Innovation: Unlocking AI's Potential | Hagay Lupesko

(17:12)

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

(1:12:9)

[POPL'24] Guided Equality Saturation

(21:21)

Scaling New Heights with KEDA: Performance, Extensions, and Beyond - Jorge Turrado \u0026 Zbynek Roubalik

(34:44)

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

(37:30)

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

(19:17)

[OOPSLA23] Synthesizing Precise Static Analyzers for Automatic Differentiation

(17:14)

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

(16:32)

[OOPSLA23] Static Analysis of Memory Models for SMT Encodings

(17:46)

[OOPSLA23] Formally Verifying Optimizations with Block Simulations

(19:6)

[OOPSLA23] Structural Subtyping as Parametric Polymorphism

(17:28)

[OOPSLA23] Randomized Testing of Byzantine Fault Tolerant Algorithms

(17:57)

[OOPSLA23] Bring Your Own Data Structures to Datalog

(17:20)

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

(16:59)

[OOPSLA23] Back to Direct Style: Typed and Tight

(14:36)

[OOPSLA23] Stuttering for Free

(17:8)

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

(17:42)

[OOPSLA23] Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-...

(16:53)

[OOPSLA23] Compiling Structured Tensor Algebra

(19:56)