conftrace_

program transformation

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

tensor program (2) tensor program optimization (1) operator-level optimization (1) search space (1) constraint solver (1) search tree (1) automatic optimization (1) algorithmic search (1) neural-symbolic synthesis (1) hierarchical auto-tuning (1)

Papers

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs OSDI 2026 QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach OSDI 2025 Occualizer: Optimistic Concurrent Search Trees From Sequential Code OSDI 2022 Tensor Program Optimization with Probabilistic Programs NeurIPS 2022 PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021 Searching for More Efficient Dynamic Programs EMNLP 2021