OOPSLA（CCF A）（共 641 篇）
202675 篇 · 10(OOPSLA1)
Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
OOPSLA 10(OOPSLA1)2026
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
OOPSLA 10(OOPSLA1)2026
InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
OOPSLA 10(OOPSLA1)2026
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
OOPSLA 10(OOPSLA1)2026
Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
OOPSLA 10(OOPSLA1)2026
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
OOPSLA 10(OOPSLA1)2026
PLEX: Normalization for Refinement Types
OOPSLA 10(OOPSLA1)2026
Geo: A Query Rewrite Framework for Graph Pattern Mining
OOPSLA 10(OOPSLA1)2026
Differential Execution with Lexical Tracing
OOPSLA 10(OOPSLA1)2026
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
OOPSLA 10(OOPSLA1)2026
Decompiling for Constant-Time Analysis
OOPSLA 10(OOPSLA1)2026
Learning Symmetric Invariants from Symmetric Samples
OOPSLA 10(OOPSLA1)2026
RAT-CAT-SAT: Model Checking Memory Consistency Models
OOPSLA 10(OOPSLA1)2026
OBsmith: LLM-Powered JavaScript Obfuscator Testing
OOPSLA 10(OOPSLA1)2026
IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
OOPSLA 10(OOPSLA1)2026
Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
OOPSLA 10(OOPSLA1)2026
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
OOPSLA 10(OOPSLA1)2026
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
OOPSLA 10(OOPSLA1)2026
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
OOPSLA 10(OOPSLA1)2026
LARTS: Language Abstractions for Real-Time and Secure Systems
OOPSLA 10(OOPSLA1)2026
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
OOPSLA 10(OOPSLA1)2026
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
OOPSLA 10(OOPSLA1)2026
Debugging Debugging Information using Dynamic Call Trees
OOPSLA 10(OOPSLA1)2026
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
OOPSLA 10(OOPSLA1)2026
Detecting Flaky Tests by Controlling Nondeterministic API Behavior
OOPSLA 10(OOPSLA1)2026
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
OOPSLA 10(OOPSLA1)2026
Automatic Propagation of Profile Information through the Optimization Pipeline
OOPSLA 10(OOPSLA1)2026
Understanding and Finding JIT Compiler Performance Bugs
OOPSLA 10(OOPSLA1)2026
Process-Centric Analysis of Agentic Software Systems
OOPSLA 10(OOPSLA1)2026
Localizing Type Errors for Syntactic Sugar by Lifting
OOPSLA 10(OOPSLA1)2026
Mechanised Semantics of Multi-stage Programming
OOPSLA 10(OOPSLA1)2026
(Dis)Proving Spectre Security with Speculation-Passing Style
OOPSLA 10(OOPSLA1)2026
Online Input Grammar Synthesis Aided Symbolic Execution
OOPSLA 10(OOPSLA1)2026
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
OOPSLA 10(OOPSLA1)2026
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
OOPSLA 10(OOPSLA1)2026
Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops
OOPSLA 10(OOPSLA1)2026
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
OOPSLA 10(OOPSLA1)2026
Deegen: A JIT-Capable VM Generator for Dynamic Languages
OOPSLA 10(OOPSLA1)2026
Class-Dictionary Specialization with Rank-2 Polymorphic Functions
OOPSLA 10(OOPSLA1)2026
SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
OOPSLA 10(OOPSLA1)2026
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
OOPSLA 10(OOPSLA1)2026
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
OOPSLA 10(OOPSLA1)2026
Hunting CUDA Bugs at Scale with cuFuzz
OOPSLA 10(OOPSLA1)2026
Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
OOPSLA 10(OOPSLA1)2026
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
OOPSLA 10(OOPSLA1)2026
Sound and Complete Invariant-Based Heap Encodings
OOPSLA 10(OOPSLA1)2026
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
OOPSLA 10(OOPSLA1)2026
Hybrid Game Control Envelope Synthesis
OOPSLA 10(OOPSLA1)2026
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
OOPSLA 10(OOPSLA1)2026
Commuting Conversions and Join Points for Call-by-Push-Value
OOPSLA 10(OOPSLA1)2026
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
OOPSLA 10(OOPSLA1)2026
Context-Free Language Reachability via Efficient Relation Chaining
OOPSLA 10(OOPSLA1)2026
Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
OOPSLA 10(OOPSLA1)2026
Grammar Repair with Examples and Tree Automata
OOPSLA 10(OOPSLA1)2026
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
OOPSLA 10(OOPSLA1)2026
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
OOPSLA 10(OOPSLA1)2026
Frashokereti: Non-aborting Optimistically Replicated Objects
OOPSLA 10(OOPSLA1)2026
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
OOPSLA 10(OOPSLA1)2026
Mixed Choice in Asynchronous Multiparty Session Types
OOPSLA 10(OOPSLA1)2026
Speak Now: Safe Actor Programming with Multiparty Session Types
OOPSLA 10(OOPSLA1)2026
Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
OOPSLA 10(OOPSLA1)2026
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
OOPSLA 10(OOPSLA1)2026
Specy: Learning Specifications for Distributed Systems from Event Traces
OOPSLA 10(OOPSLA1)2026
Fail Faster: Staging and Fast Randomness for High-Performance PBT
OOPSLA 10(OOPSLA1)2026
Effectively Propositional Higher-Order Functional Programming
OOPSLA 10(OOPSLA1)2026
Type-Safe Monotonic Object Evolution
OOPSLA 10(OOPSLA1)2026
Scylla: Translating an Applicative Subset of C to Safe Rust
OOPSLA 10(OOPSLA1)2026
Metamorphic Testing for Infrastructure-as-Code Engines
OOPSLA 10(OOPSLA1)2026
Type Inference for Functional and Imperative Dynamic Languages
OOPSLA 10(OOPSLA1)2026
Designing GPU Data Structures for Efficient Memory Oversubscription
OOPSLA 10(OOPSLA1)2026
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
OOPSLA 10(OOPSLA1)2026
Handling Exceptions and Effects with Automatic Resource Analysis
OOPSLA 10(OOPSLA1)2026
Fully-Automatic Type Inference for Borrows with Lifetimes
OOPSLA 10(OOPSLA1)2026
Block Tests
OOPSLA 10(OOPSLA1)2026
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
OOPSLA 10(OOPSLA1)2026
2025216 篇 · 9(OOPSLA1)
Metamorph: Synthesizing Large Objects from Dafny Specifications
OOPSLA 9(OOPSLA1)2025
PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
OOPSLA 9(OOPSLA1)2025
Finch: Sparse and Structured Tensor Programming with Control Flow
OOPSLA 9(OOPSLA1)2025
Automatically Verifying Replication-Aware Linearizability
OOPSLA 9(OOPSLA1)2025
LOUD: Synthesizing Strongest and Weakest Specifications
OOPSLA 9(OOPSLA1)2025
QbC: Quantum Correctness by Construction
OOPSLA 9(OOPSLA1)2025
Hambazi: Spatial Coordination Synthesis for Augmented Reality
OOPSLA 9(OOPSLA1)2025
Carapace: Static–Dynamic Information Flow Control in Rust
OOPSLA 9(OOPSLA1)2025
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
OOPSLA 9(OOPSLA1)2025
Show Me Why It’s Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
OOPSLA 9(OOPSLA1)2025
Verification of Bit-Flip Attacks against Quantized Neural Networks
OOPSLA 9(OOPSLA1)2025
Checking Observational Correctness of Database Systems
OOPSLA 9(OOPSLA1)2025
A Mechanized Semantics for Dataflow Circuits
OOPSLA 9(OOPSLA1)2025
KestRel: Relational Verification using E-Graphs for Program Alignment
OOPSLA 9(OOPSLA1)2025
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
OOPSLA 9(OOPSLA1)2025
Soundness of Predictive Concurrency Analyses
OOPSLA 9(OOPSLA1)2025
Dependency-Aware Compilation for Surface Code Quantum Architectures
OOPSLA 9(OOPSLA1)2025
IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis
OOPSLA 9(OOPSLA1)2025
Type-Preserving Flat Closure Optimization
OOPSLA 9(OOPSLA1)2025
FO-Complete Program Verification for Heap Logics
OOPSLA 9(OOPSLA1)2025
A Complete Formal Semantics of eBPF Instruction Set Architecture for Solana
OOPSLA 9(OOPSLA1)2025
UTFix: Change Aware Unit Test Repairing using LLM
OOPSLA 9(OOPSLA1)2025
Unveiling Heisenbugs with Diversified Execution
OOPSLA 9(OOPSLA1)2025
Compressed and Parallelized Structured Tensor Algebra
OOPSLA 9(OOPSLA1)2025
API-Guided Dataset Synthesis to Finetune Large Code Models
OOPSLA 9(OOPSLA1)2025
Binary Cryptographic Function Identification via Similarity Analysis with Path-Insensitive Emulation
OOPSLA 9(OOPSLA1)2025
SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention
OOPSLA 9(OOPSLA1)2025
Multi-Language Probabilistic Programming
OOPSLA 9(OOPSLA1)2025
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
OOPSLA 9(OOPSLA1)2025
Laurel: Unblocking Automated Verification with Large Language Models
OOPSLA 9(OOPSLA1)2025
Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice
OOPSLA 9(OOPSLA1)2025
Scaling Optimization over Uncertainty via Compilation
OOPSLA 9(OOPSLA1)2025
Modal Effect Types
OOPSLA 9(OOPSLA1)2025
Adaptive Shielding via Parametric Safety Proofs
OOPSLA 9(OOPSLA1)2025
Fast Constraint Synthesis for C++ Function Templates
OOPSLA 9(OOPSLA1)2025
Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles
OOPSLA 9(OOPSLA1)2025
Denotational Foundations for Expected Cost Analysis
OOPSLA 9(OOPSLA1)2025
Inductive Synthesis of Inductive Heap Predicates
OOPSLA 9(OOPSLA1)2025
Code Style Sheets: CSS for Code
OOPSLA 9(OOPSLA1)2025
QED in Context: An Observation Study of Proof Assistant Users
OOPSLA 9(OOPSLA1)2025
Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation
OOPSLA 9(OOPSLA1)2025
Adequacy for Algebraic Effects Revisited
OOPSLA 9(OOPSLA1)2025
Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis
OOPSLA 9(OOPSLA1)2025
Automated Verification of Soundness of DNN Certifiers
OOPSLA 9(OOPSLA1)2025
JavART: A Lightweight Rule-Based JIT Compiler using Translation Rules Extracted from a Learning Approach
OOPSLA 9(OOPSLA1)2025
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation
OOPSLA 9(OOPSLA1)2025
Polymorphic Records for Dynamic Languages
OOPSLA 9(OOPSLA1)2025
The Simple Essence of Monomorphization
OOPSLA 9(OOPSLA1)2025
Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes
OOPSLA 9(OOPSLA1)2025
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
OOPSLA 9(OOPSLA1)2025
The Simulation Semantics of Synthesisable Verilog
OOPSLA 9(OOPSLA1)2025
Pathological Cases for a Class of Reachability-Based Garbage Collectors
OOPSLA 9(OOPSLA1)2025
Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
OOPSLA 9(OOPSLA1)2025
Notions of Stack-Manipulating Computation and Relative Monads
OOPSLA 9(OOPSLA1)2025
Peepco: Batch-Based Consistency Optimization
OOPSLA 9(OOPSLA1)2025
Efficient Algorithms for the Uniform Tokenization Problem
OOPSLA 9(OOPSLA1)2025
Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness
OOPSLA 9(OOPSLA1)2025
Revealing Sources of (Memory) Errors via Backward Analysis
OOPSLA 9(OOPSLA1)2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
OOPSLA 9(OOPSLA1)2025
Language-Parametric Reference Synthesis
OOPSLA 9(OOPSLA1)2025
Checking δ-Satisfiability of Reals with Integrals
OOPSLA 9(OOPSLA1)2025
Bolt-On Strong Consistency: Specification, Implementation, and Verification
OOPSLA 9(OOPSLA1)2025
Characterizing Implementability of Global Protocols with Infinite States and Data
OOPSLA 9(OOPSLA1)2025
Counterexample-Guided Inference of Modular Specifications
OOPSLA 9(OOPSLA1)2025
Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality
OOPSLA 9(OOPSLA1)2025
HpC: A Calculus for Hybrid and Mobile Systems
OOPSLA 9(OOPSLA1)2025
Semantics of Sets of Programs
OOPSLA 9(OOPSLA1)2025
Opportunistically Parallel Lambda Calculus
OOPSLA 9(OOPSLA2)2025
AccelerQ: Accelerating Quantum Eigensolvers with Machine Learning on Quantum Simulators
OOPSLA 9(OOPSLA2)2025
Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations
OOPSLA 9(OOPSLA2)2025
Large Language Model Powered Symbolic Execution
OOPSLA 9(OOPSLA2)2025
Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification
OOPSLA 9(OOPSLA2)2025
ROSpec: A Domain-Specific Language for ROS-Based Robot Software
OOPSLA 9(OOPSLA2)2025
Work Packets: A New Abstraction for GC Software Engineering, Optimization, and Innovation
OOPSLA 9(OOPSLA2)2025
Correct-by-Construction: Certified Individual Fairness through Neural Network Training
OOPSLA 9(OOPSLA2)2025
A Flow-Sensitive Refinement Type System for Verifying eBPF Programs
OOPSLA 9(OOPSLA2)2025
SafeTree: Expressive Tree Policies for Microservices
OOPSLA 9(OOPSLA2)2025
Detecting and Explaining (In-)equivalence of Context-Free Grammars
OOPSLA 9(OOPSLA2)2025
Multi-modal Sketch-Based Behavior Tree Synthesis
OOPSLA 9(OOPSLA2)2025
An Empirical Evaluation of Property-Based Testing in Python
OOPSLA 9(OOPSLA2)2025
Integrating Resource Analyses via Resource Decomposition
OOPSLA 9(OOPSLA2)2025
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
OOPSLA 9(OOPSLA2)2025
Embedding Quantum Program Verification into Dafny
OOPSLA 9(OOPSLA2)2025
Tracing Just-in-Time Compilation for Effects and Handlers
OOPSLA 9(OOPSLA2)2025
Flix: A Design for Language-Integrated Datalog
OOPSLA 9(OOPSLA2)2025
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
OOPSLA 9(OOPSLA2)2025
Probabilistic Inference for Datalog with Correlated Inputs
OOPSLA 9(OOPSLA2)2025
SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races
OOPSLA 9(OOPSLA2)2025
Structural Abstraction and Refinement for Probabilistic Programs
OOPSLA 9(OOPSLA2)2025
Model-Guided Fuzzing of Distributed Systems
OOPSLA 9(OOPSLA2)2025
Garbage Collection for Rust: The Finalizer Frontier
OOPSLA 9(OOPSLA2)2025
Interleaving Large Language Models for Compiler Testing
OOPSLA 9(OOPSLA2)2025
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
OOPSLA 9(OOPSLA2)2025
The Continuous Tensor Abstraction: Where Indices Are Real
OOPSLA 9(OOPSLA2)2025
On Abstraction Refinement for Bayesian Program Analysis
OOPSLA 9(OOPSLA2)2025
ABC: Towards a Universal Code Styler through Model Merging
OOPSLA 9(OOPSLA2)2025
Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers
OOPSLA 9(OOPSLA2)2025
Complete the Cycle: Reachability Types with Expressive Cyclic References
OOPSLA 9(OOPSLA2)2025
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
OOPSLA 9(OOPSLA2)2025
Heap-Snapshot Matching and Ordering using CAHPs: A Context-Augmented Heap-Path Representation for Exact and Partial Path Matching using Prefix Trees
OOPSLA 9(OOPSLA2)2025
Compositional Symbolic Execution for the Next 700 Memory Models
OOPSLA 9(OOPSLA2)2025
Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines
OOPSLA 9(OOPSLA2)2025
Software Model Checking via Summary-Guided Search
OOPSLA 9(OOPSLA2)2025
Products of Recursive Programs for Hypersafety Verification
OOPSLA 9(OOPSLA2)2025
Advancing Performance via a Systematic Application of Research and Industrial Best Practice
OOPSLA 9(OOPSLA2)2025
Cost of Soundness in Mixed-Precision Tuning
OOPSLA 9(OOPSLA2)2025
ApkDiffer: Accurate and Scalable Cross-Version Diffing Analysis for Android Applications
OOPSLA 9(OOPSLA2)2025
Modal Abstractions for Virtualizing Memory Addresses
OOPSLA 9(OOPSLA2)2025
Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy through Machine Code-Level Slowdown
OOPSLA 9(OOPSLA2)2025
Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis
OOPSLA 9(OOPSLA2)2025
DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
OOPSLA 9(OOPSLA2)2025
Divide and Conquer: A Compositional Approach to Game-Theoretic Security
OOPSLA 9(OOPSLA2)2025
Qualified Types with Boolean Algebras
OOPSLA 9(OOPSLA2)2025
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM
OOPSLA 9(OOPSLA2)2025
PReMM: LLM-Based Program Repair for Multi-method Bugs via Divide and Conquer
OOPSLA 9(OOPSLA2)2025
Quantization with Guaranteed Floating-Point Neural Network Classifications
OOPSLA 9(OOPSLA2)2025
Contract System Metatheories à la Carte: A Transition-System View of Contracts
OOPSLA 9(OOPSLA2)2025
MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
OOPSLA 9(OOPSLA2)2025
Zero-Overhead Lexical Effect Handlers
OOPSLA 9(OOPSLA2)2025
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation
OOPSLA 9(OOPSLA2)2025
MIO: Multiverse Debugging in the Face of Input/Output
OOPSLA 9(OOPSLA2)2025
Agora: Trust Less and Open More in Verification for Confidential Computing
OOPSLA 9(OOPSLA2)2025
Quantified Underapproximation via Labeled Bunches
OOPSLA 9(OOPSLA2)2025
Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations
OOPSLA 9(OOPSLA2)2025
Sound and Modular Activity Analysis for Automatic Differentiation in MLIR
OOPSLA 9(OOPSLA2)2025
TraceLinking Implementations with Their Verified Designs
OOPSLA 9(OOPSLA2)2025
From Linearity to Borrowing
OOPSLA 9(OOPSLA2)2025
Incremental Bidirectional Typing via Order Maintenance
OOPSLA 9(OOPSLA2)2025
Structural Temporal Logic for Mechanized Program Verification
OOPSLA 9(OOPSLA2)2025
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
OOPSLA 9(OOPSLA2)2025
An Empirical Study of Bugs in the rustc Compiler
OOPSLA 9(OOPSLA2)2025
A Hoare Logic for Symmetry Properties
OOPSLA 9(OOPSLA2)2025
Synthesizing DSLs for Few-Shot Learning
OOPSLA 9(OOPSLA2)2025
Certified Decision Procedures for Width-Independent Bitvector Predicates
OOPSLA 9(OOPSLA2)2025
The Power of Regular Constraint Propagation
OOPSLA 9(OOPSLA2)2025
Dynamic Wind for Effect Handlers
OOPSLA 9(OOPSLA2)2025
Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
OOPSLA 9(OOPSLA2)2025
HeapBuffers: Why Not Just Using a Binary Serialization Format for Your Managed Memory?
OOPSLA 9(OOPSLA2)2025
P³: Reasoning about Patches via Product Programs
OOPSLA 9(OOPSLA2)2025
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers
OOPSLA 9(OOPSLA2)2025
REPTILE: Performant Tiling of Recurrences
OOPSLA 9(OOPSLA2)2025
Towards Verifying Crash Consistency
OOPSLA 9(OOPSLA2)2025
A Language for Quantifying Quantum Network Behavior
OOPSLA 9(OOPSLA2)2025
Float Self-Tagging
OOPSLA 9(OOPSLA2)2025
Automated Discovery of Tactic Libraries for Interactive Theorem Proving
OOPSLA 9(OOPSLA2)2025
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
OOPSLA 9(OOPSLA2)2025
Corrigendum: PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
OOPSLA 9(OOPSLA2)2025
Proof Repair across Quotient Type Equivalences
OOPSLA 9(OOPSLA2)2025
A Sound Static Analysis Approach to I/O API Migration
OOPSLA 9(OOPSLA2)2025
A Refinement Methodology for Distributed Programs in Rust
OOPSLA 9(OOPSLA2)2025
Static Inference of Regular Grammars for Ad Hoc Parsers
OOPSLA 9(OOPSLA2)2025
Verifying Asynchronous Hyperproperties in Reactive Systems
OOPSLA 9(OOPSLA2)2025
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
OOPSLA 9(OOPSLA2)2025
What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures
OOPSLA 9(OOPSLA2)2025
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation
OOPSLA 9(OOPSLA2)2025
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools
OOPSLA 9(OOPSLA2)2025
Pyrosome: Verified Compilation for Modular Metatheory
OOPSLA 9(OOPSLA2)2025
Understanding and Improving Flaky Test Classification
OOPSLA 9(OOPSLA2)2025
Homomorphism Calculus for User-Defined Aggregations
OOPSLA 9(OOPSLA2)2025
Fuzzing C++ Compilers via Type-Driven Mutation
OOPSLA 9(OOPSLA2)2025
Compositional Quantum Control Flow with Efficient Compilation in Qunity
OOPSLA 9(OOPSLA2)2025
Structural Information Flow: A Fresh Look at Types for Non-interference
OOPSLA 9(OOPSLA2)2025
React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks
OOPSLA 9(OOPSLA2)2025
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
OOPSLA 9(OOPSLA2)2025
Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis
OOPSLA 9(OOPSLA2)2025
Borrowing from Session Types
OOPSLA 9(OOPSLA2)2025
Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics
OOPSLA 9(OOPSLA2)2025
Efficient Abstract Interpretation via Selective Widening
OOPSLA 9(OOPSLA2)2025
Efficient Decrease-and-Conquer Linearizability Monitoring
OOPSLA 9(OOPSLA2)2025
Syntactic Completions with Material Obligations
OOPSLA 9(OOPSLA2)2025
Liberating Merges via Apartness and Guarded Subtyping
OOPSLA 9(OOPSLA2)2025
Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection
OOPSLA 9(OOPSLA2)2025
Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees
OOPSLA 9(OOPSLA2)2025
Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests
OOPSLA 9(OOPSLA2)2025
Non-interference Preserving Optimising Compilation
OOPSLA 9(OOPSLA2)2025
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
OOPSLA 9(OOPSLA2)2025
TailTracer: Continuous Tail Tracing for Production Use
OOPSLA 9(OOPSLA2)2025
Incremental Certified Programming
OOPSLA 9(OOPSLA2)2025
Synthesizing Implication Lemmas for Interactive Theorem Proving
OOPSLA 9(OOPSLA2)2025
Revamping Verilog Semantics for Foundational Verification
OOPSLA 9(OOPSLA2)2025
Memory-Safety Verification of Open Programs with Angelic Assumptions
OOPSLA 9(OOPSLA2)2025
Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers
OOPSLA 9(OOPSLA2)2025
Shaking Up Quantum Simulators with Fuzzing and Rigour
OOPSLA 9(OOPSLA2)2025
qblaze: An Efficient and Scalable Sparse Quantum Simulator
OOPSLA 9(OOPSLA2)2025
GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler
OOPSLA 9(OOPSLA2)2025
HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming
OOPSLA 9(OOPSLA2)2025
The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking
OOPSLA 9(OOPSLA2)2025
Active Learning for Neurosymbolic Program Synthesis
OOPSLA 9(OOPSLA2)2025
On the Impact of Formal Verification on Software Development
OOPSLA 9(OOPSLA2)2025
Debugging WebAssembly? Put Some Whamm on It!
OOPSLA 9(OOPSLA2)2025
Modular Reasoning about Global Variables and Their Initialization
OOPSLA 9(OOPSLA2)2025
Bennet: Randomized Specification Testing for Heap-Manipulating Programs
OOPSLA 9(OOPSLA2)2025
Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic
OOPSLA 9(OOPSLA2)2025
Interactive Bitvector Reasoning using Verified Bit-Blasting
OOPSLA 9(OOPSLA2)2025
MetaKernel: Enabling Efficient Encrypted Neural Network Inference through Unified MVM and Convolution
OOPSLA 9(OOPSLA2)2025
We’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators
OOPSLA 9(OOPSLA2)2025
im2im: Automatically Converting In-Memory Image Representations using a Knowledge Graph Approach
OOPSLA 9(OOPSLA2)2025
Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits
OOPSLA 9(OOPSLA2)2025
A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)
OOPSLA 9(OOPSLA2)2025
Two Approaches to Fast Bytecode Frontend for Static Analysis
OOPSLA 9(OOPSLA2)2025
Scaling Instruction-Selection Verification against Authoritative ISA Semantics
OOPSLA 9(OOPSLA2)2025
HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition
OOPSLA 9(OOPSLA2)2025
Flexible and Expressive Typed Path Patterns for GQL
OOPSLA 9(OOPSLA2)2025
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
OOPSLA 9(OOPSLA2)2025
Reasoning about External Calls
OOPSLA 9(OOPSLA2)2025
Convex Hull Approximation for Activation Functions
OOPSLA 9(OOPSLA2)2025
A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference
OOPSLA 9(OOPSLA2)2025
DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance
OOPSLA 9(OOPSLA2)2025
CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers
OOPSLA 9(OOPSLA2)2025
Statically Analyzing the Dataflow of R Programs
OOPSLA 9(OOPSLA2)2025
AutoVerus: Automated Proof Generation for Rust Code
OOPSLA 9(OOPSLA2)2025
Translation Validation for LLVM’s AArch64 Backend
OOPSLA 9(OOPSLA2)2025
HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual Machines
OOPSLA 9(OOPSLA2)2025
RestPi: Path-Sensitive Type Inference for REST APIs
OOPSLA 9(OOPSLA2)2025
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
OOPSLA 9(OOPSLA2)2025
Mini-Batch Robustness Verification of Deep Neural Networks
OOPSLA 9(OOPSLA2)2025
2024148 篇 · 8(OOPSLA2)
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
OOPSLA 8(OOPSLA2)2024引用 99
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
OOPSLA 8(OOPSLA2)2024引用 95
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
OOPSLA 8(OOPSLA2)2024引用 32
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
OOPSLA 8(OOPSLA2)2024引用 24
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
OOPSLA 8(OOPSLA2)2024引用 22
Statically Contextualizing Large Language Models with Typed Holes
OOPSLA 8(OOPSLA2)2024引用 21
Rustlantis: Randomized Differential Testing of the Rust Compiler
OOPSLA 8(OOPSLA2)2024引用 17
Fast and Optimal Extraction for Sparse Equality Graphs
OOPSLA 8(OOPSLA2)2024引用 17
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
OOPSLA 8(OOPSLA2)2024引用 17
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
OOPSLA 8(OOPSLA2)2024引用 16
Automatically Reducing Privilege for Access Control Policies
OOPSLA 8(OOPSLA2)2024引用 16
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
OOPSLA 8(OOPSLA2)2024引用 15
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
OOPSLA 8(OOPSLA2)2024引用 14
Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration
OOPSLA 8(OOPSLA2)2024引用 13
HiPy: Extracting High-Level Semantics from Python Code for Data Processing
OOPSLA 8(OOPSLA2)2024引用 12
Non-termination Proving at Scale
OOPSLA 8(OOPSLA2)2024引用 12
Weighted Context-Free-Language Ordered Binary Decision Diagrams
OOPSLA 8(OOPSLA2)2024引用 11
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
OOPSLA 8(OOPSLA2)2024引用 11
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
OOPSLA 8(OOPSLA2)2024引用 11
Practical Verification of Smart Contracts using Memory Splitting
OOPSLA 8(OOPSLA2)2024引用 11
Modular Synthesis of Efficient Quantum Uncomputation
OOPSLA 8(OOPSLA2)2024引用 10
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
OOPSLA 8(OOPSLA2)2024引用 10
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
OOPSLA 8(OOPSLA2)2024引用 10
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
OOPSLA 8(OOPSLA2)2024引用 10
Lexical Effect Handlers, Directly
OOPSLA 8(OOPSLA2)2024引用 10
Model Checking Distributed Protocols in Must
OOPSLA 8(OOPSLA2)2024引用 9
HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism
OOPSLA 8(OOPSLA2)2024引用 9
Realistic Realizability: Specifying ABIs You Can Count On
OOPSLA 8(OOPSLA2)2024引用 9
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
OOPSLA 8(OOPSLA2)2024引用 9
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
OOPSLA 8(OOPSLA2)2024引用 8
Effect Handlers for C via Coroutines
OOPSLA 8(OOPSLA2)2024引用 8
FPCC: Detecting Floating-Point Errors via Chain Conditions
OOPSLA 8(OOPSLA2)2024引用 8
Effects and Coeffects in Call-by-Push-Value
OOPSLA 8(OOPSLA2)2024引用 8
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
OOPSLA 8(OOPSLA2)2024引用 8
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
OOPSLA 8(OOPSLA2)2024引用 8
StarMalloc: Verifying a Modern, Hardened Memory Allocator
OOPSLA 8(OOPSLA2)2024引用 7
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
OOPSLA 8(OOPSLA2)2024引用 7
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
OOPSLA 8(OOPSLA2)2024引用 7
Dependency-Aware Code Naturalness
OOPSLA 8(OOPSLA2)2024引用 6
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
OOPSLA 8(OOPSLA2)2024引用 6
Compiler Support for Sparse Tensor Convolutions
OOPSLA 8(OOPSLA2)2024引用 6
Compilation of Shape Operators on Sparse Arrays
OOPSLA 8(OOPSLA2)2024引用 6
Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages
OOPSLA 8(OOPSLA2)2024引用 6
Finding ∀∃ Hyperbugs using Symbolic Execution
OOPSLA 8(OOPSLA2)2024引用 6
SMT2Test: From SMT Formulas to Effective Test Cases
OOPSLA 8(OOPSLA2)2024引用 6
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
OOPSLA 8(OOPSLA2)2024引用 6
A Typed Multi-level Datalog IR and Its Compiler Framework
OOPSLA 8(OOPSLA2)2024引用 6
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
OOPSLA 8(OOPSLA2)2024引用 6
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
OOPSLA 8(OOPSLA2)2024引用 6
A Low-Level Look at A-Normal Form
OOPSLA 8(OOPSLA2)2024引用 5
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
OOPSLA 8(OOPSLA2)2024引用 5
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
OOPSLA 8(OOPSLA2)2024引用 5
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
OOPSLA 8(OOPSLA2)2024引用 4
Verified Lock-Free Session Channels with Linking
OOPSLA 8(OOPSLA2)2024引用 4
The Ultimate Conditional Syntax
OOPSLA 8(OOPSLA2)2024引用 4
Full Iso-Recursive Types
OOPSLA 8(OOPSLA2)2024引用 4
QuAC: Quick Attribute-Centric Type Inference for Python
OOPSLA 8(OOPSLA2)2024引用 4
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
OOPSLA 8(OOPSLA2)2024引用 4
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
OOPSLA 8(OOPSLA2)2024引用 4
Quantum Probabilistic Model Checking for Time-Bounded Properties
OOPSLA 8(OOPSLA2)2024引用 4
libLISA: Instruction Discovery and Analysis on x86-64
OOPSLA 8(OOPSLA2)2024引用 4
Refinement Type Refutations
OOPSLA 8(OOPSLA2)2024引用 4
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
OOPSLA 8(OOPSLA2)2024引用 3
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions
OOPSLA 8(OOPSLA2)2024引用 3
Object-Oriented Fixpoint Programming with Datalog
OOPSLA 8(OOPSLA2)2024引用 3
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
OOPSLA 8(OOPSLA2)2024引用 3
Type Inference Logics
OOPSLA 8(OOPSLA2)2024引用 3
Merging Gradual Typing
OOPSLA 8(OOPSLA2)2024引用 3
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
OOPSLA 8(OOPSLA2)2024引用 2
Compositionality and Observational Refinement for Linearizability with Crashes
OOPSLA 8(OOPSLA2)2024引用 2
Fully Verified Instruction Scheduling
OOPSLA 8(OOPSLA2)2024引用 2
Programmable MCMC with Soundly Composed Guide Programs
OOPSLA 8(OOPSLA2)2024引用 2
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
OOPSLA 8(OOPSLA2)2024引用 2
Semantics Lifting for Syntactic Sugar
OOPSLA 8(OOPSLA2)2024引用 2
Automated Verification of Parametric Channel-Based Process Communication
OOPSLA 8(OOPSLA2)2024引用 2
Law and Order for Typestate with Borrowing
OOPSLA 8(OOPSLA2)2024引用 2
Semantic-Type-Guided Bug Finding
OOPSLA 8(OOPSLA2)2024引用 2
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
OOPSLA 8(OOPSLA2)2024引用 2
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
OOPSLA 8(OOPSLA2)2024引用 2
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
OOPSLA 8(OOPSLA2)2024引用 1
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
OOPSLA 8(OOPSLA2)2024引用 1
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
OOPSLA 8(OOPSLA2)2024引用 1
Synthesizing Formal Semantics from Executable Interpreters
OOPSLA 8(OOPSLA2)2024引用 1
Computing Precise Control Interface Specifications
OOPSLA 8(OOPSLA2)2024引用 1
On the Expressive Power of Languages for Static Variability
OOPSLA 8(OOPSLA2)2024引用 1
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
OOPSLA 8(OOPSLA2)2024引用 1
MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
OOPSLA 8(OOPSLA2)2024引用 1
A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism
OOPSLA 8(OOPSLA2)2024引用 1
Extending the C/C++ Memory Model with Inline Assembly
OOPSLA 8(OOPSLA2)2024引用 1
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
OOPSLA 8(OOPSLA2)2024引用 1
Sensitivity by Parametricity
OOPSLA 8(OOPSLA2)2024引用 1
Concurrent Data Structures Made Easy
OOPSLA 8(OOPSLA2)2024引用 1
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
OOPSLA 8(OOPSLA1)2024
Cocoon: Static Information Flow Control in Rust
OOPSLA 8(OOPSLA1)2024
Profiling Programming Language Learning
OOPSLA 8(OOPSLA1)2024
Deriving Dependently-Typed OOP from First Principles
OOPSLA 8(OOPSLA1)2024
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
OOPSLA 8(OOPSLA1)2024
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
OOPSLA 8(OOPSLA1)2024
Quarl: A Learning-Based Quantum Circuit Optimizer
OOPSLA 8(OOPSLA1)2024
A Learning-Based Approach to Static Program Slicing
OOPSLA 8(OOPSLA1)2024
Quantitative Bounds on Resource Usage of Probabilistic Programs
OOPSLA 8(OOPSLA1)2024
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
OOPSLA 8(OOPSLA1)2024
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
OOPSLA 8(OOPSLA1)2024
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
OOPSLA 8(OOPSLA1)2024
Distributions for Compositionally Differentiating Parametric Discontinuities
OOPSLA 8(OOPSLA1)2024
Identifying and Correcting Programming Language Behavior Misconceptions
OOPSLA 8(OOPSLA1)2024
Message-Observing Sessions
OOPSLA 8(OOPSLA1)2024
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
OOPSLA 8(OOPSLA1)2024
Finding Cross-Rule Optimization Bugs in Datalog Engines
OOPSLA 8(OOPSLA1)2024
Functional Ownership through Fractional Uniqueness
OOPSLA 8(OOPSLA1)2024
Degrees of Separation: A Flexible Type System for Safe Concurrency
OOPSLA 8(OOPSLA1)2024
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
OOPSLA 8(OOPSLA1)2024
Learning Abstraction Selection for Bayesian Program Analysis
OOPSLA 8(OOPSLA1)2024
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
OOPSLA 8(OOPSLA1)2024
Inductive Diagrams for Causal Reasoning
OOPSLA 8(OOPSLA1)2024
Persimmon: Nested Family Polymorphism with Extensible Variant Types
OOPSLA 8(OOPSLA1)2024
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
OOPSLA 8(OOPSLA1)2024
Hydra: Generalizing Peephole Optimizations with Program Synthesis
OOPSLA 8(OOPSLA1)2024
A Pure Demand Operational Semantics with Applications to Program Analysis
OOPSLA 8(OOPSLA1)2024
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
OOPSLA 8(OOPSLA1)2024
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
OOPSLA 8(OOPSLA1)2024
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
OOPSLA 8(OOPSLA1)2024
UniSparse: An Intermediate Language for General Sparse Format Customization
OOPSLA 8(OOPSLA1)2024
Design and Implementation of an Aspect-Oriented C Programming Language
OOPSLA 8(OOPSLA1)2024
Understanding and Finding Java Decompiler Bugs
OOPSLA 8(OOPSLA1)2024
PROMPT: A Fast and Extensible Memory Profiling Framework
OOPSLA 8(OOPSLA1)2024
CYCLE: Learning to Self-Refine the Code Generation
OOPSLA 8(OOPSLA1)2024
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
OOPSLA 8(OOPSLA1)2024
Qualifying System F<sub><:</sub>: Some Terms and Conditions May Apply
OOPSLA 8(OOPSLA1)2024
Fulfilling OCaml Modules with Transparency
OOPSLA 8(OOPSLA1)2024
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
OOPSLA 8(OOPSLA1)2024
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
OOPSLA 8(OOPSLA1)2024
Forge: A Tool and Language for Teaching Formal Methods
OOPSLA 8(OOPSLA1)2024
Compiling Recurrences over Dense and Sparse Arrays
OOPSLA 8(OOPSLA1)2024
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
OOPSLA 8(OOPSLA1)2024
A Constraint Solving Approach to Parikh Images of Regular Languages
OOPSLA 8(OOPSLA1)2024
Scenario-Based Proofs for Concurrent Objects
OOPSLA 8(OOPSLA1)2024
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
OOPSLA 8(OOPSLA1)2024
Gradually Typed Languages Should Be Vigilant!
OOPSLA 8(OOPSLA1)2024
Mechanizing the CMP Abstraction for Parameterized Verification
OOPSLA 8(OOPSLA1)2024
Verification of Neural Networks’ Global Robustness
OOPSLA 8(OOPSLA1)2024
Newtonian Program Analysis of Probabilistic Programs
OOPSLA 8(OOPSLA1)2024
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
OOPSLA 8(OOPSLA1)2024
Multiverse Notebook: Shifting Data Scientists to Time Travelers
OOPSLA 8(OOPSLA1)2024
HOL4P4: Mechanized Small-Step Semantics for P4
OOPSLA 8(OOPSLA1)2024
A Case for First-Class Environments
OOPSLA 8(OOPSLA2)2024
Intensional Functions
OOPSLA 8(OOPSLA2)2024
Mark–Scavenge: Waiting for Trash to Take Itself Out
OOPSLA 8(OOPSLA2)2024
2023110 篇 · 7(OOPSLA1)
Deep Learning Robustness Verification for Few-Pixel Attacks
OOPSLA 7(OOPSLA1)2023
Verification-Preserving Inlining in Automatic Separation Logic Verifiers
OOPSLA 7(OOPSLA1)2023
Lower Bounds for Possibly Divergent Probabilistic Programs
OOPSLA 7(OOPSLA1)2023
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
OOPSLA 7(OOPSLA1)2023
Proof Automation for Linearizability in Separation Logic
OOPSLA 7(OOPSLA1)2023
Verus: Verifying Rust Programs using Linear Ghost Types
OOPSLA 7(OOPSLA1)2023
Compositional Security Definitions for Higher-Order Where Declassification
OOPSLA 7(OOPSLA1)2023
Grounded Copilot: How Programmers Interact with Code-Generating Models
OOPSLA 7(OOPSLA1)2023
Accelerating Fuzzing through Prefix-Guided Execution
OOPSLA 7(OOPSLA1)2023
User-Customizable Transpilation of Scripting Languages
OOPSLA 7(OOPSLA1)2023
Fluent APIs in Functional Languages
OOPSLA 7(OOPSLA1)2023
Fat Pointers for Temporal Memory Safety of C
OOPSLA 7(OOPSLA1)2023
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
OOPSLA 7(OOPSLA1)2023
Live Pattern Matching with Typed Holes
OOPSLA 7(OOPSLA1)2023
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
OOPSLA 7(OOPSLA1)2023
Back to Direct Style: Typed and Tight
OOPSLA 7(OOPSLA1)2023
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
OOPSLA 7(OOPSLA1)2023
Randomized Testing of Byzantine Fault Tolerant Algorithms
OOPSLA 7(OOPSLA1)2023
A Gradual Probabilistic Lambda Calculus
OOPSLA 7(OOPSLA1)2023
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
OOPSLA 7(OOPSLA1)2023
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
OOPSLA 7(OOPSLA1)2023
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
OOPSLA 7(OOPSLA1)2023
Modular Component-Based Quantum Circuit Synthesis
OOPSLA 7(OOPSLA1)2023
Regular Expression Matching using Bit Vector Automata
OOPSLA 7(OOPSLA1)2023
Automated Translation of Functional Big Data Queries to SQL
OOPSLA 7(OOPSLA1)2023
Aliasing Limits on Translating C to Safe Rust
OOPSLA 7(OOPSLA1)2023
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
OOPSLA 7(OOPSLA1)2023
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
OOPSLA 7(OOPSLA1)2023
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
OOPSLA 7(OOPSLA1)2023
Languages with Decidable Learning: A Meta-theorem
OOPSLA 7(OOPSLA1)2023
Exact Recursive Probabilistic Programming
OOPSLA 7(OOPSLA1)2023
Inductive Program Synthesis Guided by Observational Program Similarity
OOPSLA 7(OOPSLA2)2023
Rapid: Region-Based Pointer Disambiguation
OOPSLA 7(OOPSLA2)2023
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
OOPSLA 7(OOPSLA2)2023
Initializing Global Objects: Time and Order
OOPSLA 7(OOPSLA2)2023
Towards Better Semantics Exploration for Browser Fuzzing
OOPSLA 7(OOPSLA2)2023
Data Extraction via Semantic Regular Expression Synthesis
OOPSLA 7(OOPSLA2)2023
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
OOPSLA 7(OOPSLA2)2023
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
OOPSLA 7(OOPSLA2)2023
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
OOPSLA 7(OOPSLA2)2023
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
OOPSLA 7(OOPSLA2)2023
Synthesizing Precise Static Analyzers for Automatic Differentiation
OOPSLA 7(OOPSLA2)2023
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
OOPSLA 7(OOPSLA2)2023
Synthesizing Efficient Memoization Algorithms
OOPSLA 7(OOPSLA2)2023
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
OOPSLA 7(OOPSLA2)2023
Stuttering for Free
OOPSLA 7(OOPSLA2)2023
Validating IoT Devices with Rate-Based Session Types
OOPSLA 7(OOPSLA2)2023
Simple Reference Immutability for System F
<sub><:</sub>
OOPSLA 7(OOPSLA2)2023
Reference Capabilities for Flexible Memory Management
OOPSLA 7(OOPSLA2)2023
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
OOPSLA 7(OOPSLA2)2023
Reusing Just-in-Time Compiled Code
OOPSLA 7(OOPSLA2)2023
Interactive Debugging of Datalog Programs
OOPSLA 7(OOPSLA2)2023
Inference of Resource Management Specifications
OOPSLA 7(OOPSLA2)2023
Resource-Aware Soundness for Big-Step Semantics
OOPSLA 7(OOPSLA2)2023
Mutually Iso-Recursive Subtyping
OOPSLA 7(OOPSLA2)2023
MemPerf: Profiling Allocator-Induced Performance Slowdowns
OOPSLA 7(OOPSLA2)2023
Type-Safe Dynamic Placement with First-Class Placed Values
OOPSLA 7(OOPSLA2)2023
Formal Abstractions for Packet Scheduling
OOPSLA 7(OOPSLA2)2023
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
OOPSLA 7(OOPSLA2)2023
Synthesizing Specifications
OOPSLA 7(OOPSLA2)2023
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
OOPSLA 7(OOPSLA2)2023
Perception Contracts for Safety of ML-Enabled Systems
OOPSLA 7(OOPSLA2)2023
Equality Saturation Theory Exploration à la Carte
OOPSLA 7(OOPSLA2)2023
How Domain Experts Use an Embedded DSL
OOPSLA 7(OOPSLA2)2023
Complete First-Order Reasoning for Properties of Functional Programs
OOPSLA 7(OOPSLA2)2023
Solving String Constraints with Lengths by Stabilization
OOPSLA 7(OOPSLA2)2023
Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
OOPSLA 7(OOPSLA2)2023
Bring Your Own Data Structures to Datalog
OOPSLA 7(OOPSLA2)2023
Saggitarius: A DSL for Specifying Grammatical Domains
OOPSLA 7(OOPSLA2)2023
Gradual Typing for Effect Handlers
OOPSLA 7(OOPSLA2)2023
The Bounded Pathwidth of Control-Flow Graphs
OOPSLA 7(OOPSLA2)2023
A Deductive Verification Infrastructure for Probabilistic Programs
OOPSLA 7(OOPSLA2)2023
Leaf: Modularity for Temporary Sharing in Separation Logic
OOPSLA 7(OOPSLA2)2023
A Grounded Conceptual Model for Ownership Types in Rust
OOPSLA 7(OOPSLA2)2023
AtomiS: Data-Centric Synchronization Made Practical
OOPSLA 7(OOPSLA2)2023
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
OOPSLA 7(OOPSLA2)2023
Adventure of a Lifetime: Extract Method Refactoring for Rust
OOPSLA 7(OOPSLA2)2023
P4R-Type: A Verified API for P4 Control Plane Programs
OOPSLA 7(OOPSLA2)2023
Hardware-Aware Static Optimization of Hyperdimensional Computations
OOPSLA 7(OOPSLA2)2023
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
OOPSLA 7(OOPSLA2)2023
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
OOPSLA 7(OOPSLA2)2023
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
OOPSLA 7(OOPSLA2)2023
A Pretty Expressive Printer
OOPSLA 7(OOPSLA2)2023
How Profilers Can Help Navigate Type Migration
OOPSLA 7(OOPSLA2)2023
Historia: Refuting Callback Reachability with Message-History Logics
OOPSLA 7(OOPSLA2)2023
When Concurrency Matters: Behaviour-Oriented Concurrency
OOPSLA 7(OOPSLA2)2023
Continuing WebAssembly with Effect Handlers
OOPSLA 7(OOPSLA2)2023
An Explanation Method for Models of Code
OOPSLA 7(OOPSLA2)2023
Compiling Structured Tensor Algebra
OOPSLA 7(OOPSLA2)2023
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
OOPSLA 7(OOPSLA2)2023
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
OOPSLA 7(OOPSLA2)2023
Rhombus: A New Spin on Macros without All the Parentheses
OOPSLA 7(OOPSLA2)2023
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
OOPSLA 7(OOPSLA2)2023
Verifying Indistinguishability of Privacy-Preserving Protocols
OOPSLA 7(OOPSLA2)2023
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
OOPSLA 7(OOPSLA2)2023
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
OOPSLA 7(OOPSLA2)2023
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
OOPSLA 7(OOPSLA2)2023
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
OOPSLA 7(OOPSLA2)2023
Greedy Implicit Bounded Quantification
OOPSLA 7(OOPSLA2)2023
Explainable Program Synthesis by Localizing Specifications
OOPSLA 7(OOPSLA2)2023
Message Chains for Distributed System Verification
OOPSLA 7(OOPSLA2)2023
A Cocktail Approach to Practical Call Graph Construction
OOPSLA 7(OOPSLA2)2023
Static Analysis of Memory Models for SMT Encodings
OOPSLA 7(OOPSLA2)2023
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
OOPSLA 7(OOPSLA2)2023
Structural Subtyping as Parametric Polymorphism
OOPSLA 7(OOPSLA2)2023
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
OOPSLA 7(OOPSLA2)2023
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
OOPSLA 7(OOPSLA2)2023
Automated Ambiguity Detection in Layout-Sensitive Grammars
OOPSLA 7(OOPSLA2)2023
Building Dynamic System Call Sandbox with Partial Order Analysis
OOPSLA 7(OOPSLA2)2023
Formally Verifying Optimizations with Block Simulations
OOPSLA 7(OOPSLA2)2023
202292 篇 · 6(OOPSLA1)
C to checked C by 3c
OOPSLA 6(OOPSLA1)2022
Applying cognitive principles to model-finding output: the positive value of negative information
OOPSLA 6(OOPSLA1)2022
Functional collection programming with semi-ring dictionaries
OOPSLA 6(OOPSLA1)2022
Synthesizing fine-grained synchronization protocols for implicit monitors
OOPSLA 6(OOPSLA1)2022
Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
OOPSLA 6(OOPSLA1)2022
Translating canonical SQL to imperative code in Coq
OOPSLA 6(OOPSLA1)2022
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
OOPSLA 6(OOPSLA1)2022
End-to-end translation validation for the halide language
OOPSLA 6(OOPSLA1)2022
Automated transpilation of imperative to functional code using neural-guided program synthesis
OOPSLA 6(OOPSLA1)2022
SHARP: fast incremental context-sensitive pointer analysis for Java
OOPSLA 6(OOPSLA1)2022
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
OOPSLA 6(OOPSLA1)2022
C4: verified transactional objects
OOPSLA 6(OOPSLA1)2022
Purity of an ST monad: full abstraction by semantically typed back-translation
OOPSLA 6(OOPSLA1)2022
Complexity-guided container replacement synthesis
OOPSLA 6(OOPSLA1)2022
On incorrectness logic for Quantum programs
OOPSLA 6(OOPSLA1)2022
Finding real bugs in big programs with incorrectness logic
OOPSLA 6(OOPSLA1)2022
Bugs in Quantum computing platforms: an empirical study
OOPSLA 6(OOPSLA1)2022
Linear types for large-scale systems verification
OOPSLA 6(OOPSLA1)2022
Weighted programming: a programming paradigm for specifying mathematical models
OOPSLA 6(OOPSLA1)2022
Language-parametric static semantic code completion
OOPSLA 6(OOPSLA1)2022
Plausible sealing for gradual parametricity
OOPSLA 6(OOPSLA1)2022
Elipmoc: advanced decompilation of Ethereum smart contracts
OOPSLA 6(OOPSLA1)2022
Proof transfer for fast certification of multiple approximate neural networks
OOPSLA 6(OOPSLA1)2022
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities
OOPSLA 6(OOPSLA1)2022
Type-directed synthesis of visualizations from natural language queries
OOPSLA 6(OOPSLA2)2022
BFF: foundational and automated verification of bitfield-manipulating programs
OOPSLA 6(OOPSLA2)2022
Overwatch: learning patterns in code edit sequences
OOPSLA 6(OOPSLA2)2022
Fast shadow execution for debugging numerical errors using error free transformations
OOPSLA 6(OOPSLA2)2022
Checking equivalence in a non-strict language
OOPSLA 6(OOPSLA2)2022
Model checking for a multi-execution memory model
OOPSLA 6(OOPSLA2)2022
Katara: synthesizing CRDTs with verified lifting
OOPSLA 6(OOPSLA2)2022
A concurrent program logic with a future and history
OOPSLA 6(OOPSLA2)2022
Scalable linear invariant generation with Farkas’ lemma
OOPSLA 6(OOPSLA2)2022
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
OOPSLA 6(OOPSLA2)2022
Synthesizing abstract transformers
OOPSLA 6(OOPSLA2)2022
Incremental type-checking for free: using scope graphs to derive incremental type-checkers
OOPSLA 6(OOPSLA2)2022
This is the moment for probabilistic loops
OOPSLA 6(OOPSLA2)2022
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing
OOPSLA 6(OOPSLA2)2022
Proving hypersafety compositionally
OOPSLA 6(OOPSLA2)2022
First-class names for effect handlers
OOPSLA 6(OOPSLA2)2022
A fast in-place interpreter for WebAssembly
OOPSLA 6(OOPSLA2)2022
<i>Necessity</i>
specifications for robustness
OOPSLA 6(OOPSLA2)2022
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation
OOPSLA 6(OOPSLA2)2022
Bridging the semantic gap between qualitative and quantitative models of distributed systems
OOPSLA 6(OOPSLA2)2022
The road not taken: exploring alias analysis based optimizations missed by the compiler
OOPSLA 6(OOPSLA2)2022
Data-driven lemma synthesis for interactive proofs
OOPSLA 6(OOPSLA2)2022
Monadic and comonadic aspects of dependency analysis
OOPSLA 6(OOPSLA2)2022
Solo: a lightweight static analysis for differential privacy
OOPSLA 6(OOPSLA2)2022
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
OOPSLA 6(OOPSLA2)2022
The essence of online data processing
OOPSLA 6(OOPSLA2)2022
Symbolic execution for randomized programs
OOPSLA 6(OOPSLA2)2022
Specification-guided component-based synthesis from effectful libraries
OOPSLA 6(OOPSLA2)2022
Coeffects for sharing and mutation
OOPSLA 6(OOPSLA2)2022
Neural architecture search using property guided synthesis
OOPSLA 6(OOPSLA2)2022
CAAT: consistency as a theory
OOPSLA 6(OOPSLA2)2022
UniRec: a unimodular-like framework for nested recursions and loops
OOPSLA 6(OOPSLA2)2022
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning
OOPSLA 6(OOPSLA2)2022
Synthesizing axiomatizations using logic learning
OOPSLA 6(OOPSLA2)2022
Fractional resources in unbounded separation logic
OOPSLA 6(OOPSLA2)2022
SigVM: enabling event-driven execution for truly decentralized smart contracts
OOPSLA 6(OOPSLA2)2022
Scalable verification of GNN-based job schedulers
OOPSLA 6(OOPSLA2)2022
High-level effect handlers in C++
OOPSLA 6(OOPSLA2)2022
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
OOPSLA 6(OOPSLA2)2022
MLstruct: principal type inference in a Boolean algebra of structural types
OOPSLA 6(OOPSLA2)2022
Reasoning about distributed reconfigurable systems
OOPSLA 6(OOPSLA2)2022
Taming transitive redundancy for context-free language reachability
OOPSLA 6(OOPSLA2)2022
Implementing and verifying release-acquire transactional memory in C11
OOPSLA 6(OOPSLA2)2022
A study of inline assembly in solidity smart contracts
OOPSLA 6(OOPSLA2)2022
Neurosymbolic repair for low-code formula languages
OOPSLA 6(OOPSLA2)2022
Optimal heap limits for reducing browser memory use
OOPSLA 6(OOPSLA2)2022
Semi-symbolic inference for efficient streaming probabilistic programming
OOPSLA 6(OOPSLA2)2022
Verified compilation of Quantum oracles
OOPSLA 6(OOPSLA2)2022
Intrinsically-typed definitional interpreters à la carte
OOPSLA 6(OOPSLA2)2022
Oracle-free repair synthesis for floating-point programs
OOPSLA 6(OOPSLA2)2022
Synthesis-powered optimization of smart contracts via data type refactoring
OOPSLA 6(OOPSLA2)2022
Consistency-preserving propagation for SMT solving of concurrent program verification
OOPSLA 6(OOPSLA2)2022
Compositional embeddings of domain-specific languages
OOPSLA 6(OOPSLA2)2022
Synthesizing code quality rules from examples
OOPSLA 6(OOPSLA2)2022
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters
OOPSLA 6(OOPSLA2)2022
Generic go to go: dictionary-passing, monomorphisation, and hybrid
OOPSLA 6(OOPSLA2)2022
Concurrent size
OOPSLA 6(OOPSLA2)2022
Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment
OOPSLA 6(OOPSLA2)2022
Seq2Parse: neurosymbolic parse error repair
OOPSLA 6(OOPSLA2)2022
A general construction for abstract interpretation of higher-order automatic differentiation
OOPSLA 6(OOPSLA2)2022
Compilation of dynamic sparse tensor algebra
OOPSLA 6(OOPSLA2)2022
Modular verification of op-based CRDTs in separation logic
OOPSLA 6(OOPSLA2)2022
Veracity: declarative multicore programming with commutativity
OOPSLA 6(OOPSLA2)2022
Wildcards need witness protection
OOPSLA 6(OOPSLA2)2022
Tower: data structures in Quantum superposition
OOPSLA 6(OOPSLA2)2022
AnICA: analyzing inconsistencies in microarchitectural code analyzers
OOPSLA 6(OOPSLA2)2022
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis
OOPSLA 6(OOPSLA2)2022
Parsing randomness
OOPSLA 6(OOPSLA2)2022