[OOPSLA23] Formal Abstractions for Packet Scheduling

(17:2)

[OOPSLA23] Formally Verifying Optimizations with Block Simulations

(19:6)

[OOPSLA23] Message Chains for Distributed System Verification

(17:14)

[OOPSLA23] Opening and Welcome

(18:32)

[OOPSLA23] Structural Subtyping as Parametric Polymorphism

(17:28)

[OOPSLA23] Back to Direct Style: Typed and Tight

(14:36)

[OOPSLA23] Generating Proof Certificates for a Language-Agnostic Deductive Program Verifie...

(19:54)

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

(17:43)

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

(7:31:21)

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

(42:7)

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

(10:19:20)

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

(1:34:50)

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

(7:14:18)

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

(1:12:9)

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

(37:30)

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

(19:8)

[OOPSLA23] Equality Saturation Theory Exploration à la Carte

(14:48)

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

(38:28)

[OOPSLA23] A Pretty Expressive Printer

(16:56)

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

(19:6)

[OOPSLA23] Simple Reference Immutability for System F-sub

(14:44)

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

(15:58)

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

(16:32)

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

(18:36)

[OOPSLA23] Proof Automation for Linearizability in Separation Logic

(18:53)

[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] Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasonin...

(15:7)

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

(17:41)