编译领域仅限通用传统编译与 AI 编译大类，不包括量子编译，WebAssembly，不包括编程语言相关

2025 编译领域论文 (LLVM)

ASPLOS

Volume1

  • ClosureX: Compiler Support for Correct Persistent Fuzzing
  • Composing Distributed Computations Through Task and Kernel Fusion
  • Debugger Toolchain Validation via Cross-Level Debugging
  • PartIR: Composing SPMD Partitioning Strategies for Machine Learning
  • pulse: Accelerating Distributed Pointer-Traversals on Disaggregated Memory
  • RANGE-BLOCKS: A Synchronization Facility for Domain-Specific Architectures
  • RTL Verification for Secure Speculation Using Contract Shadow Logic

Volume2

  • Data Cache for Intermittent Computing Systems with Non-Volatile Main Memory
  • ElasticMiter: Formally Verified Dataflow Circuit Rewrites
  • Extended User Interrupts (xUI): Fast and Flexible Notification without Polling
  • KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
  • MDPeek: Breaking Balanced Branches in SGX with Memory Disambiguation Unit Side Channels
  • Necro-reaper: Pruning away Dead Memory Traffic in Warehouse-Scale Computers
  • Pave: Information Flow Control for Privacy-preserving Online Data Processing Services
  • PICACHU: Plug-In CGRA Handling Upcoming Nonlinear Operations in LLMs
  • Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics
  • Saving Energy with Per-Variable Bitwidth Speculation
  • Tackling ML-based Dynamic Mispredictions using Statically Computed Invariants
  • Virgo: Cluster-level Matrix Unit Integration in GPUs for Scalability and Energy Efficiency

TOSEM

截止 Issue4

  • DiPri: Distance-Based SeedPrioritization for Greybox Fuzzing
  • DiPri: Distance-Based Seed Prioritization for Greybox Fuzzing—RCR Report
  • My Fuzzers Won’t Build: An Empirical Study of Fuzzing Build Failures
  • T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
  • FunFuzz: Greybox Fuzzing with Function Significance
  • Twenty Years Later: Evaluating the Adoption of Control Flow Integrity

TOPLAS

截止 issue1

TOCS

TACO

截止 issue1

  • Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
  • Multiple Function Merging for Code Size Reduction
  • Shining Light on the Inter-procedural Code Obfuscation
  • Tiaozhuan: A General and Efficient Indirect Branch Optimization for Binary Translation
  • Accelerating Strongly Typed Programs with Data Type-Aware Hardware Prefetching
  • Maximizing Data and Hardware Reuse for HLS with Early-Stage Symbolic Partitioning

PPoPP

  • Reciprocating Locks

PACT

OSDI

ISSTA

ICSE

ICS

EuroSys

  • Empowering WebAssembly with Thin Kernel Interfaces
  • Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices
  • Garbage Collection Does Not Only Collect Garbage: Piggybacking-Style Defragmentation for Deduplicated Backup Storage
  • BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis
  • A Hardware-Software Co-Design for Efficient Secure Containers

CGO

  • Synthesis of Sorting Kernels
  • Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization
  • Scalar Interpolation: A Better Balance between Vector and Scalar Execution for SuperScalar Architectures
  • LLM-Vectorizer: LLM-Based Verified Loop Vectorizer
  • Calibro: Compilation-Assisted Linking-Time Binary Code Outlining for Code Size Reduction in Android Applications
  • A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
  • xDSL: Sidekick Compilation for SSA-Based Compilers
  • ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference
  • The MLIR Transform Dialect
  • Combining MLIR Dialects with Domain-Specific Architecture for Efficient Regular Expression Matching
  • MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access
  • Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees
  • PreFix: Optimizing the Performance of Heap-Intensive Applications
  • A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications
  • Asdf: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
  • Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
  • Proteus: Portable Runtime Optimization of GPU Kernel Execution with Just-in-Time Compilation
  • Cage: Hardware-Accelerated Safe WebAssembly
  • Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries
  • Postiz: Extending Post-increment Addressing for Loop Optimization and Code Size Reduction
  • Towards Efficient Compiler Auto-tuning: Leveraging Synergistic Search Spaces
  • Vectron: A Dynamic Programming Auto-vectorization Framework
  • Improving Native-Image Startup Performance
  • Speeding up the Local C++ Development Cycle with Header Substitution

ASE

PLDI