[OOPSLA23] Quantifying and Mitigating Cache Side Channel Leakage with Differential Set

(16:33)

[OOPSLA23] Greedy Implicit Bounded Quantification

(18:14)

[OOPSLA23] Counterexample Driven Quantifier Instantiations with Applications to Distribute...

(15:58)

[OOPSLA23] Optimization-Aware Compiler-Level Event Profiling

(18:31)

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

(19:6)

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

(19:5)

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

(16:32)

[OOPSLA23] Structural Subtyping as Parametric Polymorphism

(17:28)

Frege, Russell, \u0026 Modern Logic - A. J. Ayer \u0026 Bryan Magee (1987)

(42:7)

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

(6:20:1econd)

SPLASH'23 Room II Oct (26th)

(6:30:16)

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

(7:31:21)

5 - logical operators, conditional, arrays, loops, functions

(2:45:41)

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

(7:8:57)

[OOPSLA23] Reusing Just-in-Time Compiled Code

(19:3)

[POPL'24] Calculational Design of [In]Correctness Transformational Program Logics by Abstr...

(26:11)

Logical Positivism \u0026 its Legacy - A. J. Ayer \u0026 Bryan Magee (1977)

(38:28)

[OOPSLA23] Opening and Welcome

(18:32)

[OOPSLA23] Inductive Program Synthesis Guided by Observational Program Similarity

(17:55)

[OOPSLA23] An Explanation Method for Models of Code

(17:9)

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

(21:36)

[OOPSLA23] Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Program...

(17:29)

[OOPSLA23] Synthesizing Precise Static Analyzers for Automatic Differentiation

(17:14)

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

(16:33)

[OOPSLA23] Mutually Iso-Recursive Subtyping

(18:53)

[OOPSLA23] Hydroflow: A Compiler Target for Fast, Correct Distributed Programs

(1:2:22)

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

(17:55)

[OOPSLA23] Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasonin...

(15:7)