[OOPSLA23] Initializing Global Objects: Time and Order

(18:1econd)

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

(20:20)

[OOPSLA23] Opening and Welcome

(18:32)

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

(16:32)

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

(16:33)

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

(16:59)

[OOPSLA23] Building Dynamic System Call Sandbox with Partial Order Analysis

(18:52)

[OOPSLA23] A Deductive Verification Infrastructure for Probabilistic Programs

(16:37)

[OOPSLA23] Reusing Just-in-Time Compiled Code

(19:3)

[OOPSLA23] AtomiS: Data-Centric Synchronization Made Practical

(20:24)

[OOPSLA23] Data Extraction via Semantic Regular Expression Synthesis

(17:58)

[OOPSLA23] Run-Time Prevention of Software Integration Failures of Machine Learning APIs

(17:43)

[OOPSLA23] Stuttering for Free

(17:8)

[OOPSLA23] Awards and SPLASH 2024

(19:47)

[OOPSLA23] All the Languages Together

(1:4:38)

[OOPSLA23] Continuing WebAssembly with Effect Handlers

(18:11)

[OOPSLA23] A Cocktail Approach to Practical Call Graph Construction

(17:55)

[OOPSLA23] Formal Abstractions for Packet Scheduling

(17:2)

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

(17:55)