PLDI（CCF A）（共 369 篇）
2026108 篇 · 10(PLDI)
SSA without Dominance for Higher-Order Programs
PLDI 10(PLDI)2026
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
PLDI 10(PLDI)2026
FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
PLDI 10(PLDI)2026
Redundant Array Computation Elimination
PLDI 10(PLDI)2026
Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
PLDI 10(PLDI)2026
Scalable Floating-Point Satisfiability via Staged Optimization
PLDI 10(PLDI)2026
NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
PLDI 10(PLDI)2026
Fast Atomicity Monitoring
PLDI 10(PLDI)2026
Hybrid Path-Sums for Hybrid Quantum Programs
PLDI 10(PLDI)2026
Solvable Tuple Patterns and Their Applications to Program Verification
PLDI 10(PLDI)2026
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
PLDI 10(PLDI)2026
Typestate via Revocable Capabilities
PLDI 10(PLDI)2026
Navigating AND–OR Graph Modifications to Debug Failing Proof Search
PLDI 10(PLDI)2026
SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior
PLDI 10(PLDI)2026
Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
PLDI 10(PLDI)2026
Categorical Semantics of Probabilistic Symbolic Execution
PLDI 10(PLDI)2026
Weighted NetKAT: A Programming Language for Quantitative Network Verification
PLDI 10(PLDI)2026
Towards Efficient Matching of Regexes with Backreferences using Register Set Automata
PLDI 10(PLDI)2026
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
PLDI 10(PLDI)2026
Synthesizing Backward Error Bounds, Backward
PLDI 10(PLDI)2026
Intrinsically Correct Algorithms and Recursive Coalgebras
PLDI 10(PLDI)2026
EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination
PLDI 10(PLDI)2026
SAIL: Sound Abstract Interpreters with LLMs
PLDI 10(PLDI)2026
Modular GPU Programming with Typed Perspectives
PLDI 10(PLDI)2026
Virtualizing Continuations
PLDI 10(PLDI)2026
Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities
PLDI 10(PLDI)2026
Editorial Message
PLDI 10(PLDI)2026
Syntactic Implicit Parameters with Static Overloading
PLDI 10(PLDI)2026
Fungible Memories for Automated Technology Mapping and Retargeting
PLDI 10(PLDI)2026
Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
PLDI 10(PLDI)2026
Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
PLDI 10(PLDI)2026
Improving Equality Saturation for EDA via Semantic E-Graphs
PLDI 10(PLDI)2026
CoTenN: Constrained Optimization with Tensor Networks
PLDI 10(PLDI)2026
Trace-Guided Synthesis of Effectful Test Generators
PLDI 10(PLDI)2026
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
PLDI 10(PLDI)2026
Cerisier: A Program Logic for Attestation in a Capability Machine
PLDI 10(PLDI)2026
The Downgrading Semantics of Memory Safety
PLDI 10(PLDI)2026
Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
PLDI 10(PLDI)2026
Uniformity Analysis in the WebGPU Shading Language
PLDI 10(PLDI)2026
Optimism in Equality Saturation
PLDI 10(PLDI)2026
The Search for Constrained Random Generators
PLDI 10(PLDI)2026
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
PLDI 10(PLDI)2026
Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
PLDI 10(PLDI)2026
Hyper Separation Logic
PLDI 10(PLDI)2026
Compiling to Recurrent Neurons
PLDI 10(PLDI)2026
Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq
PLDI 10(PLDI)2026
SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
PLDI 10(PLDI)2026
VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
PLDI 10(PLDI)2026
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
PLDI 10(PLDI)2026
Path-Sensitive Abstract Interpretation for WCET Estimation
PLDI 10(PLDI)2026
Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
PLDI 10(PLDI)2026
A Deductive System for Contract Satisfaction Proofs
PLDI 10(PLDI)2026
CRIS: The Power of Imagination in Hybrid Verification
PLDI 10(PLDI)2026
A Compiler for Fused Relational Operations on Multisets
PLDI 10(PLDI)2026
SuperDP: Differential Privacy Refutation via Supermartingales
PLDI 10(PLDI)2026
Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
PLDI 10(PLDI)2026
Towards Removing Undef Values from LLVM IR
PLDI 10(PLDI)2026
Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
PLDI 10(PLDI)2026
Decoupling Data Layouts from Bounding Volume Hierarchies
PLDI 10(PLDI)2026
Verification of Recursively Defined Quantum Circuits
PLDI 10(PLDI)2026
TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
PLDI 10(PLDI)2026
Soteria: Efficient Symbolic Execution as a Functional Library: Perhaps You Should Write Your Own Symbolic Execution Engine!
PLDI 10(PLDI)2026
SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
PLDI 10(PLDI)2026
Equality Saturation for Quantum Circuit Optimization
PLDI 10(PLDI)2026
A Hierarchy of Supermartingales for ω-Regular Verification
PLDI 10(PLDI)2026
Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
PLDI 10(PLDI)2026
Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
PLDI 10(PLDI)2026
Bonsai: Compiling Queries to Pruned Tree Traversals
PLDI 10(PLDI)2026
Contextual Embeddings: Implementing Bound Variables through Instance Resolution
PLDI 10(PLDI)2026
Cpp2Rust: Automatic Translation of C++ to Safe Rust
PLDI 10(PLDI)2026
Flow-Analysis-Based Closure Optimization
PLDI 10(PLDI)2026
Backwards-Compatible Row-Based Exceptions in ML
PLDI 10(PLDI)2026
Implementability of Global Distributed Protocols Modulo Network Architectures
PLDI 10(PLDI)2026
A Categorical Basis for Robust Program Analysis
PLDI 10(PLDI)2026
Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
PLDI 10(PLDI)2026
Persistent Iterators with Value Semantics
PLDI 10(PLDI)2026
A Verified Parallel Scheduler for OCaml 5
PLDI 10(PLDI)2026
GradInf: Gradient Estimation as Probabilistic Inference
PLDI 10(PLDI)2026
Causality and Semantic Separation
PLDI 10(PLDI)2026
Exploiting Sophisticated Static Analysis for Verilog
PLDI 10(PLDI)2026
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
PLDI 10(PLDI)2026
A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs
PLDI 10(PLDI)2026
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
PLDI 10(PLDI)2026
Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels
PLDI 10(PLDI)2026
Semantic Reification: A New Paradigm for Random Program Generation
PLDI 10(PLDI)2026
Fixed Parameter Tractable Linearizability Monitoring
PLDI 10(PLDI)2026
Verifying Array Properties in Pure Data-Parallel Programs
PLDI 10(PLDI)2026
Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
PLDI 10(PLDI)2026
Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
PLDI 10(PLDI)2026
Enumerating Ill-Typed Programs for Testing Type Analyzers
PLDI 10(PLDI)2026
A Formally Verified Foundation for Compositional Heterogeneous Coherence
PLDI 10(PLDI)2026
Versioned E-Graphs
PLDI 10(PLDI)2026
State Space Estimation for DPOR-Based Model Checkers
PLDI 10(PLDI)2026
Responsive Parallelism with Dynamic and First-Class Priorities
PLDI 10(PLDI)2026
MatchBox: A Semantic Foundation for Data Plane Portability
PLDI 10(PLDI)2026
SuperCollider: Scalable and Effective Data Race Detection for CUDA
PLDI 10(PLDI)2026
Diagramming Program Values by Spatial Refinement
PLDI 10(PLDI)2026
Analyzing Bytes: Pre-Disassembly Static Binary Analysis
PLDI 10(PLDI)2026
Pantomime: Constructive Leakage Proofs via Simulation
PLDI 10(PLDI)2026
Dynamically Checked Deep Immutability in Python
PLDI 10(PLDI)2026
Corrigendum: Falcon: A Scalable Analytical Cache Model
PLDI 10(PLDI)2026
Optimal Predicate Pushdown Synthesis
PLDI 10(PLDI)2026
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
PLDI 10(PLDI)2026
Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
PLDI 10(PLDI)2026
&inator: Correct, Precise C-to-Rust Interface Translation
PLDI 10(PLDI)2026
An Efficient Algorithm for Streaming BPE Tokenization
PLDI 10(PLDI)2026
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
PLDI 10(PLDI)2026
Verification Modulo Tested Library Contracts
PLDI 10(PLDI)2026
202589 篇 · 9(PLDI)
Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
PLDI 9(PLDI)2025
Multi-stage Relational Programming
PLDI 9(PLDI)2025
QVM: Quantum Gate Virtualization Machine
PLDI 9(PLDI)2025
Iso: Request-Private Garbage Collection
PLDI 9(PLDI)2025
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
PLDI 9(PLDI)2025
MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
PLDI 9(PLDI)2025
Usability Barriers for Liquid Types
PLDI 9(PLDI)2025
Optimizing Ancilla-Based Quantum Circuits with SPARE
PLDI 9(PLDI)2025
Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
PLDI 9(PLDI)2025
Handling the Selection Monad
PLDI 9(PLDI)2025
Tree Borrows
PLDI 9(PLDI)2025
Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
PLDI 9(PLDI)2025
RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
PLDI 9(PLDI)2025
Efficient Linearizability Monitoring
PLDI 9(PLDI)2025
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
PLDI 9(PLDI)2025
Efficient, Portable, Census-Polymorphic Choreographic Programming
PLDI 9(PLDI)2025
Semantics of Integrating and Differentiating Singularities
PLDI 9(PLDI)2025
Webs and Flow-Directed Well-Typedness Preserving Program Transformations
PLDI 9(PLDI)2025
Ripple: Asynchronous Programming for Spatial Dataflow Architectures
PLDI 9(PLDI)2025
Pointer Analysis for Database-Backed Applications
PLDI 9(PLDI)2025
CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
PLDI 9(PLDI)2025
Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
PLDI 9(PLDI)2025
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
PLDI 9(PLDI)2025
Dynamic Region Ownership for Concurrency Safety
PLDI 9(PLDI)2025
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
PLDI 9(PLDI)2025
Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
PLDI 9(PLDI)2025
Certified Compilers à la Carte
PLDI 9(PLDI)2025
Graphiti: Bridging Graph and Relational Database Queries
PLDI 9(PLDI)2025
Type-Constrained Code Generation with Language Models
PLDI 9(PLDI)2025
Probabilistic Kleene Algebra with Angelic Nondeterminism
PLDI 9(PLDI)2025
LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
PLDI 9(PLDI)2025
Program Skeletons for Automated Program Translation
PLDI 9(PLDI)2025
A Concurrent Approach to String Transformation Synthesis
PLDI 9(PLDI)2025
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
PLDI 9(PLDI)2025
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
PLDI 9(PLDI)2025
DR.FIX: Automatically Fixing Data Races at Industry Scale
PLDI 9(PLDI)2025
Spineless Traversal for Layout Invalidation
PLDI 9(PLDI)2025
Thrust: A Prophecy-Based Refinement Type System for Rust
PLDI 9(PLDI)2025
Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
PLDI 9(PLDI)2025
Scalable, Validated Code Translation of Entire Projects using Large Language Models
PLDI 9(PLDI)2025
StacKAT: Infinite State Network Verification
PLDI 9(PLDI)2025
A Hybrid Approach to Semi-automated Rust Verification
PLDI 9(PLDI)2025
Program Synthesis from Partial Traces
PLDI 9(PLDI)2025
Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
PLDI 9(PLDI)2025
Membership Testing for Semantic Regular Expressions
PLDI 9(PLDI)2025
Programming by Navigation
PLDI 9(PLDI)2025
Making Concurrent Hardware Verification Sequential
PLDI 9(PLDI)2025
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
PLDI 9(PLDI)2025
Active Learning of Symbolic NetKAT Automata
PLDI 9(PLDI)2025
Destabilizing Iris
PLDI 9(PLDI)2025
Link-Time Optimization of Dynamic Casts in C++ Programs
PLDI 9(PLDI)2025
Support Triangle Machine
PLDI 9(PLDI)2025
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
PLDI 9(PLDI)2025
Dynamic Robustness Verification against Weak Memory
PLDI 9(PLDI)2025
RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
PLDI 9(PLDI)2025
Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
PLDI 9(PLDI)2025
Random Variate Generation with Formal Guarantees
PLDI 9(PLDI)2025
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
PLDI 9(PLDI)2025
Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
PLDI 9(PLDI)2025
First-Class Verification Dialects for MLIR
PLDI 9(PLDI)2025
Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis
PLDI 9(PLDI)2025
Robust Constant-Time Cryptography
PLDI 9(PLDI)2025
Bean: A Language for Backward Error Analysis
PLDI 9(PLDI)2025
Verifying Solutions to Semantics-Guided Synthesis Problems
PLDI 9(PLDI)2025
Verified Foundations for Differential Privacy
PLDI 9(PLDI)2025
Verifying Lock-Free Traversals in Relaxed Memory Separation Logic
PLDI 9(PLDI)2025
Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
PLDI 9(PLDI)2025
Circuit Optimization using Arithmetic Table Lookups
PLDI 9(PLDI)2025
Practical Type Inference with Levels
PLDI 9(PLDI)2025
Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
PLDI 9(PLDI)2025
MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
PLDI 9(PLDI)2025
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
PLDI 9(PLDI)2025
Nola: Later-Free Ghost State for Verifying Termination in Iris
PLDI 9(PLDI)2025
Functional Meaning for Parallel Streaming
PLDI 9(PLDI)2025
A Uniform Framework for Handling Position Constraints in String Solving
PLDI 9(PLDI)2025
Solving Floating-Point Constraints with Continuous Optimization
PLDI 9(PLDI)2025
An Interactive Debugger for Rust Trait Errors
PLDI 9(PLDI)2025
Partial Evaluation, Whole-Program Compilation
PLDI 9(PLDI)2025
Automated Exploit Generation for Node.js Packages
PLDI 9(PLDI)2025
Relaxing Alias Analysis: Exploring the Unexplored Space
PLDI 9(PLDI)2025
Efficient Timestamping for Sampling-Based Race Detection
PLDI 9(PLDI)2025
Task-Based Tensor Computations on Modern GPUs
PLDI 9(PLDI)2025
Exact Loop Bound Analysis
PLDI 9(PLDI)2025
Relational Abstractions Based on Labeled Union-Find
PLDI 9(PLDI)2025
Lightweight and Locality-Aware Composition of Black-Box Subroutines
PLDI 9(PLDI)2025
Efficient Formal Verification of Quantum Error Correcting Programs
PLDI 9(PLDI)2025
AWDIT: An Optimal Weak Database Isolation Tester
PLDI 9(PLDI)2025
Probabilistic Refinement Session Types
PLDI 9(PLDI)2025
Guided Tensor Lifting
PLDI 9(PLDI)2025
202489 篇 · 8(PLDI)
Allo: A Programming Model for Composable Accelerator Design
PLDI 8(PLDI)2024引用 63
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
PLDI 8(PLDI)2024引用 55
Boosting Compiler Testing by Injecting Real-World Code
PLDI 8(PLDI)2024引用 40
A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
PLDI 8(PLDI)2024引用 34
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
PLDI 8(PLDI)2024引用 34
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
PLDI 8(PLDI)2024引用 32
Bringing the WebAssembly Standard up to Speed with SpecTec
PLDI 8(PLDI)2024引用 21
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
PLDI 8(PLDI)2024引用 17
Verified Extraction from Coq to OCaml
PLDI 8(PLDI)2024引用 17
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
PLDI 8(PLDI)2024引用 16
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
PLDI 8(PLDI)2024引用 16
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
PLDI 8(PLDI)2024引用 15
Input-Relational Verification of Deep Neural Networks
PLDI 8(PLDI)2024引用 14
Probabilistic Programming with Programmable Variational Inference
PLDI 8(PLDI)2024引用 14
Linear Matching of JavaScript Regular Expressions
PLDI 8(PLDI)2024引用 14
Compiling Conditional Quantum Gates without Using Helper Qubits
PLDI 8(PLDI)2024引用 14
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
PLDI 8(PLDI)2024引用 13
Mechanised Hypersafety Proofs about Structured Data
PLDI 8(PLDI)2024引用 12
Bit Blasting Probabilistic Programs
PLDI 8(PLDI)2024引用 12
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
PLDI 8(PLDI)2024引用 12
Compilation of Modular and General Sparse Workspaces
PLDI 8(PLDI)2024引用 12
Modular Hardware Design of Pipelined Circuits with Hazards
PLDI 8(PLDI)2024引用 11
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
PLDI 8(PLDI)2024引用 11
Falcon: A Scalable Analytical Cache Model
PLDI 8(PLDI)2024引用 10
Reducing Static Analysis Unsoundness with Approximate Interpretation
PLDI 8(PLDI)2024引用 10
Descend: A Safe GPU Systems Programming Language
PLDI 8(PLDI)2024引用 10
Numerical Fuzz: A Type System for Rounding Error Analysis
PLDI 8(PLDI)2024引用 10
Diffy: Data-Driven Bug Finding for Configurations
PLDI 8(PLDI)2024引用 9
Reward-Guided Synthesis of Intelligent Agents with Control Structures
PLDI 8(PLDI)2024引用 9
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
PLDI 8(PLDI)2024引用 8
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
PLDI 8(PLDI)2024引用 8
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
PLDI 8(PLDI)2024引用 8
KATch: A Fast Symbolic Verifier for NetKAT
PLDI 8(PLDI)2024引用 8
Context-Free Language Reachability via Skewed Tabulation
PLDI 8(PLDI)2024引用 7
Jacdac: Service-Based Prototyping of Embedded Systems
PLDI 8(PLDI)2024引用 7
SPORE: Combining Symmetry and Partial Order Reduction
PLDI 8(PLDI)2024引用 7
Quest Complete: The Holy Grail of Gradual Security
PLDI 8(PLDI)2024引用 6
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
PLDI 8(PLDI)2024引用 6
Consolidating Smart Contracts with Behavioral Contracts
PLDI 8(PLDI)2024引用 6
Stream Types
PLDI 8(PLDI)2024引用 6
Robust Resource Bounds with Static Analysis and Bayesian Inference
PLDI 8(PLDI)2024引用 6
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
PLDI 8(PLDI)2024引用 6
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
PLDI 8(PLDI)2024引用 6
Daedalus: Safer Document Parsing
PLDI 8(PLDI)2024引用 6
The Functional Essence of Imperative Binary Search Trees
PLDI 8(PLDI)2024引用 5
Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments
PLDI 8(PLDI)2024引用 5
Wavefront Threading Enables Effective High-Level Synthesis
PLDI 8(PLDI)2024引用 5
Compiling with Abstract Interpretation
PLDI 8(PLDI)2024引用 5
Concurrent Immediate Reference Counting
PLDI 8(PLDI)2024引用 5
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
PLDI 8(PLDI)2024引用 5
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
PLDI 8(PLDI)2024引用 4
VESTA: Power Modeling with Language Runtime Events
PLDI 8(PLDI)2024引用 4
PL4XGL: A Programming Language Approach to Explainable Graph Learning
PLDI 8(PLDI)2024引用 4
Compositional Semantics for Shared-Variable Concurrency
PLDI 8(PLDI)2024引用 3
An Algebraic Language for Specifying Quantum Networks
PLDI 8(PLDI)2024引用 3
Predictable Verification using Intrinsic Definitions
PLDI 8(PLDI)2024引用 3
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
PLDI 8(PLDI)2024引用 3
Inductive Approach to Spacer
PLDI 8(PLDI)2024引用 3
Compilation of Qubit Circuits to Optimized Qutrit Circuits
PLDI 8(PLDI)2024引用 3
Quantitative Robustness for Vulnerability Assessment
PLDI 8(PLDI)2024引用 3
Hashing Modulo Context-Sensitive α-Equivalence
PLDI 8(PLDI)2024引用 3
Floating-Point TVPI Abstract Domain
PLDI 8(PLDI)2024引用 3
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
PLDI 8(PLDI)2024引用 3
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
PLDI 8(PLDI)2024引用 2
Hyperblock Scheduling for Verified High-Level Synthesis
PLDI 8(PLDI)2024引用 2
Program Analysis for Adaptive Data Analysis
PLDI 8(PLDI)2024引用 2
Decidable Subtyping of Existential Types for Julia
PLDI 8(PLDI)2024引用 2
Verification under Intel-x86 with Persistency
PLDI 8(PLDI)2024引用 2
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
PLDI 8(PLDI)2024引用 1
From Batch to Stream: Automatic Generation of Online Algorithms
PLDI 8(PLDI)2024引用 1
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
PLDI 8(PLDI)2024
A Lightweight Polyglot Code Transformation Language
PLDI 8(PLDI)2024
Associated Effects: Flexible Abstractions for Effectful Programming
PLDI 8(PLDI)2024
SpEQ: Translation of Sparse Codes using Equivalences
PLDI 8(PLDI)2024
A Verified Compiler for a Functional Tensor Language
PLDI 8(PLDI)2024
Compiling Probabilistic Programs for Variable Elimination with Information Flow
PLDI 8(PLDI)2024
Automated Verification of Fundamental Algebraic Laws
PLDI 8(PLDI)2024
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
PLDI 8(PLDI)2024
Scaling Type-Based Points-to Analysis with Saturation
PLDI 8(PLDI)2024
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
PLDI 8(PLDI)2024
Equivalence by Canonicalization for Synthesis-Backed Refactoring
PLDI 8(PLDI)2024
Recursive Program Synthesis using Paramorphisms
PLDI 8(PLDI)2024
Symbolic Execution for Quantum Error Correction Programs
PLDI 8(PLDI)2024
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
PLDI 8(PLDI)2024
Qubit Recycling Revisited
PLDI 8(PLDI)2024
Equivalence and Similarity Refutation for Probabilistic Programs
PLDI 8(PLDI)2024
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
PLDI 8(PLDI)2024
Foundational Integration Verification of a Cryptographic Server
PLDI 8(PLDI)2024
Live Verification in an Interactive Proof Assistant
PLDI 8(PLDI)2024
202383 篇 · 7(PLDI)
Performal: Formal Verification of Latency Properties for Distributed Systems
PLDI 7(PLDI)2023
One Pixel Adversarial Attacks via Sketched Programs
PLDI 7(PLDI)2023
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
PLDI 7(PLDI)2023
Fair Operational Semantics
PLDI 7(PLDI)2023
Cakes That Bake Cakes: Dynamic Computation in CakeML
PLDI 7(PLDI)2023
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
PLDI 7(PLDI)2023
cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
PLDI 7(PLDI)2023
Parallelism in a Region Inference Context
PLDI 7(PLDI)2023
Reliable Actors with Retry Orchestration
PLDI 7(PLDI)2023
Modular Control Plane Verification via Temporal Invariants
PLDI 7(PLDI)2023
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
PLDI 7(PLDI)2023
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
PLDI 7(PLDI)2023
Obtaining Information Leakage Bounds via Approximate Model Counting
PLDI 7(PLDI)2023
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
PLDI 7(PLDI)2023
Leveraging Rust Types for Program Synthesis
PLDI 7(PLDI)2023
Repairing Regular Expressions for Extraction
PLDI 7(PLDI)2023
Conflict-Driven Synthesis for Layout Engines
PLDI 7(PLDI)2023
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
PLDI 7(PLDI)2023
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
PLDI 7(PLDI)2023
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
PLDI 7(PLDI)2023
Synthesizing MILP Constraints for Efficient and Robust Optimization
PLDI 7(PLDI)2023
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
PLDI 7(PLDI)2023
Merging Inductive Relations
PLDI 7(PLDI)2023
Responsive Parallelism with Synchronization
PLDI 7(PLDI)2023
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
PLDI 7(PLDI)2023
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
PLDI 7(PLDI)2023
flap: A Deterministic Parser with Fused Lexing
PLDI 7(PLDI)2023
Type-Checking CRDT Convergence
PLDI 7(PLDI)2023
Automated Expected Value Analysis of Recursive Programs
PLDI 7(PLDI)2023
Trace-Guided Inductive Synthesis of Recursive Functional Programs
PLDI 7(PLDI)2023
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
PLDI 7(PLDI)2023
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
PLDI 7(PLDI)2023
Optimal Reads-From Consistency Checking for C11-Style Memory Models
PLDI 7(PLDI)2023
Better Together: Unifying Datalog and Equality Saturation
PLDI 7(PLDI)2023
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
PLDI 7(PLDI)2023
Taype: A Policy-Agnostic Language for Oblivious Computation
PLDI 7(PLDI)2023
ImageEye: Batch Image Processing using Program Synthesis
PLDI 7(PLDI)2023
Mostly Automated Proof Repair for Verified Libraries
PLDI 7(PLDI)2023
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
PLDI 7(PLDI)2023
Memento: A Framework for Detectable Recoverability in Persistent Memory
PLDI 7(PLDI)2023
Loop Rerolling for Hardware Decompilation
PLDI 7(PLDI)2023
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
PLDI 7(PLDI)2023
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
PLDI 7(PLDI)2023
Cutting the Cake: A Language for Fair Division
PLDI 7(PLDI)2023
Lilac: A Modal Separation Logic for Conditional Probability
PLDI 7(PLDI)2023
Synthesizing Quantum-Circuit Optimizers
PLDI 7(PLDI)2023
Modular Hardware Design with Timeline Types
PLDI 7(PLDI)2023
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
PLDI 7(PLDI)2023
Discrete Adversarial Attack to Models of Code
PLDI 7(PLDI)2023
Absynthe: Abstract Interpretation-Guided Synthesis
PLDI 7(PLDI)2023
Defunctionalization with Dependent Types
PLDI 7(PLDI)2023
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
PLDI 7(PLDI)2023
Prompting Is Programming: A Query Language for Large Language Models
PLDI 7(PLDI)2023
Parameterized Algebraic Protocols
PLDI 7(PLDI)2023
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
PLDI 7(PLDI)2023
Extensible Metatheory Mechanization via Family Polymorphism
PLDI 7(PLDI)2023
Flux: Liquid Types for Rust
PLDI 7(PLDI)2023
A Lineage-Based Referencing DSL for Computer-Aided Design
PLDI 7(PLDI)2023
Register Tiling for Unstructured Sparsity in Neural Network Inference
PLDI 7(PLDI)2023
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
PLDI 7(PLDI)2023
Interval Parsing Grammars for File Format Parsing
PLDI 7(PLDI)2023
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
PLDI 7(PLDI)2023
Putting Weak Memory in Order via a Promising Intermediate Representation
PLDI 7(PLDI)2023
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
PLDI 7(PLDI)2023
Proving and Disproving Equivalence of Functional Programming Assignments
PLDI 7(PLDI)2023
PureCake: A Verified Compiler for a Lazy Functional Language
PLDI 7(PLDI)2023
Covering All the Bases: Type-Based Verification of Test Input Generators
PLDI 7(PLDI)2023
Sound Dynamic Deadlock Prediction in Linear Time
PLDI 7(PLDI)2023
Better Defunctionalization through Lambda Set Specialization
PLDI 7(PLDI)2023
Incremental Verification of Neural Networks
PLDI 7(PLDI)2023
Architecture-Preserving Provable Repair of Deep Neural Networks
PLDI 7(PLDI)2023
Embedding Hindsight Reasoning in Separation Logic
PLDI 7(PLDI)2023
Probabilistic Programming with Stochastic Probabilities
PLDI 7(PLDI)2023
Compound Memory Models
PLDI 7(PLDI)2023
Efficient Parallel Functional Programming with Effects
PLDI 7(PLDI)2023
Mosaic: An Interoperable Compiler for Tensor Algebra
PLDI 7(PLDI)2023
Scallop: A Language for Neurosymbolic Programming
PLDI 7(PLDI)2023
A Type System for Safe Intermittent Computing
PLDI 7(PLDI)2023
Search-Based Regular Expression Inference on a GPU
PLDI 7(PLDI)2023
Verified Density Compilation for a Probabilistic Programming Language
PLDI 7(PLDI)2023
Psym: Efficient Symbolic Exploration of Distributed Systems
PLDI 7(PLDI)2023
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
PLDI 7(PLDI)2023
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
PLDI 7(PLDI)2023