20:44 [OOPSLA24] HiPy: Extracting High-Level Semantics From Python Code For Data Processing ACM SIGPLAN
19:49 [OOPSLA24] Unifying Static and Dynamic Intermediate Languages for Accelerator Generators ACM SIGPLAN
18:49 [OOPSLA24] UniSparse: An Intermediate Language for General Sparse Format Customization ACM SIGPLAN
19:26 [OOPSLA24] The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and(…) ACM SIGPLAN
17:55 [OOPSLA24] Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment(…) ACM SIGPLAN
18:54 [OOPSLA24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in(…) ACM SIGPLAN
21:03 [OOPSLA24] Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials ACM SIGPLAN
21:16 [OOPSLA24] Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural(…) ACM SIGPLAN
19:25 [OOPSLA24] TorchQL: A Programming Framework for Integrity Constraints in Machine Learning ACM SIGPLAN
17:46 [OOPSLA24] Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages ACM SIGPLAN
18:58 [OOPSLA24] HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism ACM SIGPLAN
17:56 [OOPSLA24] Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations ACM SIGPLAN
17:56 [OOPSLA24] Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning ACM SIGPLAN
19:21 [OOPSLA24] Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types ACM SIGPLAN
19:03 [OOPSLA24] Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation ACM SIGPLAN
21:37 [OOPSLA24] Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification ACM SIGPLAN
18:14 [OOPSLA24] Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification ACM SIGPLAN
18:28 [OOPSLA24] Reward Augmentation in Reinforcement Learning for Testing Distributed Systems ACM SIGPLAN
19:23 [OOPSLA24] Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large(…) ACM SIGPLAN
16:38 [OOPSLA24] CoolerSpace: A Language for Physically Correct and Computationally Efficient Color(…) ACM SIGPLAN
19:39 [OOPSLA24] Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization ACM SIGPLAN
21:16 [OOPSLA24] Automated Robustness Verification of Concurrent Data Structure Libraries Against(…) ACM SIGPLAN
15:44 [OOPSLA24] Automated Verification of Parametric Channel-Based Process Communication ACM SIGPLAN
19:35 [OOPSLA24] Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs ACM SIGPLAN
18:26 [OOPSLA24] Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis(…) ACM SIGPLAN
20:00 [OOPSLA24] When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as(…) ACM SIGPLAN
17:00 [OOPSLA24] Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks ACM SIGPLAN
17:05 [OOPSLA24] Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability ACM SIGPLAN
18:17 [OOPSLA24] AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects ACM SIGPLAN
20:08 [OOPSLA24] VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity(…) ACM SIGPLAN
19:20 [OOPSLA24] Seneca: Taint-Based Call Graph Construction for Java Object Deserialization ACM SIGPLAN
17:40 [OOPSLA24] Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach ACM SIGPLAN
23:55 [OOPSLA24] Quantum Control Machine: The Limits of Control Flow in Quantum Programming ACM SIGPLAN
22:03 [OOPSLA24] MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang ACM SIGPLAN
15:50 [OOPSLA24] HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing ACM SIGPLAN
15:16 [OOPSLA24] Sound and partially-complete static analysis of data-races in GPU programs ACM SIGPLAN
21:14 [OOPSLA24] ParDiff: Practical Static Differential Analysis of Network Protocol Parsers ACM SIGPLAN
21:03 [OOPSLA24] FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic(…) ACM SIGPLAN
17:38 [OOPSLA24] Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA(…) ACM SIGPLAN
18:46 [OOPSLA24] A Runtime System for Interruptible Query Processing – When Incremental Computing Meets(…) ACM SIGPLAN
18:49 [OOPSLA24] Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur ACM SIGPLAN
20:30 [OOPSLA24] Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration ACM SIGPLAN
