1:03:26 [OOPSLA23] Scaling up machine learning without tears (and what do programming languages ha... ACM SIGPLAN
18:08 [OOPSLA23] Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contrac... ACM SIGPLAN
16:33 [OOPSLA23] Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction ACM SIGPLAN
18:32 [OOPSLA23] Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Progr... ACM SIGPLAN
18:18 [OOPSLA23] Concrete Type Inference for Code Optimization using Machine Learning with SMT S... ACM SIGPLAN
18:15 [OOPSLA23] Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates ACM SIGPLAN
17:29 [OOPSLA23] Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Program... ACM SIGPLAN
17:43 [OOPSLA23] Run-Time Prevention of Software Integration Failures of Machine Learning APIs ACM SIGPLAN
14:46 [OOPSLA23] Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free P... ACM SIGPLAN
17:43 [OOPSLA23] The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilo... ACM SIGPLAN
17:41 [OOPSLA23] Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Mani... ACM SIGPLAN
17:55 [OOPSLA23] A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitiv... ACM SIGPLAN
20:29 [OOPSLA23] Getting into the Flow: Towards Better Type Error Messages for Constraint-Based ... ACM SIGPLAN
18:25 [OOPSLA23] Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Af... ACM SIGPLAN
21:36 [OOPSLA23] Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic ... ACM SIGPLAN
16:53 [OOPSLA23] Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-... ACM SIGPLAN
16:09 [OOPSLA23] Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection ACM SIGPLAN
17:42 [OOPSLA23] Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect... ACM SIGPLAN
19:05 [OOPSLA23] From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect ... ACM SIGPLAN
17:50 [OOPSLA23] Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data ACM SIGPLAN
20:48 [OOPSLA23] Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based S... ACM SIGPLAN
14:44 [OOPSLA23] Solving Conditional Linear Recurrences for Program Verification: The Periodic C... ACM SIGPLAN
18:19 [OOPSLA23] Melocoton: A Program Logic for Verified Interoperability Between OCaml and C ACM SIGPLAN
15:07 [OOPSLA23] Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasonin... ACM SIGPLAN
19:29 [OOPSLA23] Compositional Security Definitions for Higher-Order Where Declassification ACM SIGPLAN
16:33 [OOPSLA23] Quantifying and Mitigating Cache Side Channel Leakage with Differential Set ACM SIGPLAN
19:23 [OOPSLA23] A Verification Methodology for the Arm® Confidential Computing Architecture: Fr... ACM SIGPLAN
15:58 [OOPSLA23] Counterexample Driven Quantifier Instantiations with Applications to Distribute... ACM SIGPLAN
20:20 [OOPSLA23] A conceptual framework for safe object initialization: a principled and mechani... ACM SIGPLAN
19:37 [OOPSLA23] Verification-Preserving Inlining in Automatic Separation Logic Verifiers ACM SIGPLAN
16:32 [OOPSLA23] Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic ACM SIGPLAN
