Buchumschlag

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhu, Yifan, Pan, Yekai, Ding, Chen, Wu, Yanghui
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
von: Zhu, Yifan, et al.
Veröffentlicht: (2026)

Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
von: Tomkins-Flanagan, Eilene, et al.
Veröffentlicht: (2025)

(Un)Solvable Loop Analysis
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2023)

Sawtooth Wavefront Reordering: Enhanced CuTile FlashAttention on NVIDIA GB10
von: Zhu, Yifan, et al.
Veröffentlicht: (2026)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
von: de la Torre, Jordi
Veröffentlicht: (2025)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
von: Zhu, Kai, et al.
Veröffentlicht: (2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
von: Andrès, Léo, et al.
Veröffentlicht: (2024)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
von: Li, Tianchi, et al.
Veröffentlicht: (2026)

Quantitative Symbolic Patch Impact Analysis
von: Sarker, Laboni, et al.
Veröffentlicht: (2026)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
von: Dong, Shouyang, et al.
Veröffentlicht: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Ozone: Fully Out-of-Order Choreographies
von: Plyukhin, Dan, et al.
Veröffentlicht: (2024)

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
von: Dias, Adhitha, et al.
Veröffentlicht: (2023)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
von: Diamantakis, Panagiotis, et al.
Veröffentlicht: (2025)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
von: Liu, Chang, et al.
Veröffentlicht: (2023)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
von: Karapetyan, Daniel
Veröffentlicht: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
von: Wang, Yongpan, et al.
Veröffentlicht: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
von: Tang, Xuan, et al.
Veröffentlicht: (2026)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
von: Chang, Fu-Chieh, et al.
Veröffentlicht: (2026)

Large Language Model Powered Symbolic Execution
von: Li, Yihe, et al.
Veröffentlicht: (2025)

Active Learning of Symbolic NetKAT Automata
von: Moeller, Mark, et al.
Veröffentlicht: (2025)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
von: Moosbrugger, Marcel, et al.
Veröffentlicht: (2026)

A Denotational Semantics for Quantum Loops
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Fully Randomized Pointers
von: Phaye, Sai Dhawal, et al.
Veröffentlicht: (2024)

Soteria: Efficient Symbolic Execution as a Functional Library
von: Ayoun, Sacha-Élie, et al.
Veröffentlicht: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

KATch: A Fast Symbolic Verifier for NetKAT
von: Moeller, Mark, et al.
Veröffentlicht: (2024)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
von: Chen, Hongyu, et al.
Veröffentlicht: (2026)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
von: Pointner, Andreas, et al.
Veröffentlicht: (2025)

Series-Parallel-Loop Decompositions of Control-flow Graphs
von: Cai, Xuran, et al.
Veröffentlicht: (2026)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
von: Kumar, Ashish, et al.
Veröffentlicht: (2024)

Prism: Symbolic Superoptimization of Tensor Programs
von: Wu, Mengdi, et al.
Veröffentlicht: (2026)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
von: Zhao, Yifan, et al.
Veröffentlicht: (2025)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
von: He, Mengting, et al.
Veröffentlicht: (2026)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
von: Vijayaraghavan, Prashanth, et al.
Veröffentlicht: (2026)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
von: Karmios, Nat, et al.
Veröffentlicht: (2026)