TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Mahathevan, Kabilan, Zhang, Yining, Gulzar, Muhammad Ali, Sundararajah, Kirshanthan |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software
von: Nguyen, Tien, et al.
Veröffentlicht: (2026)
von: Nguyen, Tien, et al.
Veröffentlicht: (2026)
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)
Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
von: An, Junwen, et al.
Veröffentlicht: (2026)
von: An, Junwen, et al.
Veröffentlicht: (2026)
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023)
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023)
Local Software Buildability across Java Versions (Registered Report)
von: Sulír, Matúš, et al.
Veröffentlicht: (2024)
von: Sulír, Matúš, 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)
von: Dias, Adhitha, et al.
Veröffentlicht: (2023)
RVISmith: Fuzzing Compilers for RVV Intrinsics
von: He, Yibo, et al.
Veröffentlicht: (2025)
von: He, Yibo, et al.
Veröffentlicht: (2025)
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)
von: Szabo, Violet, et al.
Veröffentlicht: (2024)
Accurate Coverage Metrics for Compiler-Generated Debugging Information
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)
BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
von: Zhou, Xintong, et al.
Veröffentlicht: (2025)
von: Zhou, Xintong, et al.
Veröffentlicht: (2025)
Enhancing Translation Validation of Compiler Transformations with Large Language Models
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)
Compilation of Commit Changes within Java Source Code Repositories
von: Schott, Stefan, et al.
Veröffentlicht: (2024)
von: Schott, Stefan, et al.
Veröffentlicht: (2024)
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
von: Zhang, Shuoming, et al.
Veröffentlicht: (2026)
von: Zhang, Shuoming, et al.
Veröffentlicht: (2026)
LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
von: Zhang, Shuoming, et al.
Veröffentlicht: (2025)
von: Zhang, Shuoming, et al.
Veröffentlicht: (2025)
Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
von: Zhou, Zixu
Veröffentlicht: (2025)
von: Zhou, Zixu
Veröffentlicht: (2025)
Fuzzing Processing Pipelines for Zero-Knowledge Circuits
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2024)
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2024)
COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)
MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
von: Ates, Berke, et al.
Veröffentlicht: (2026)
von: Ates, Berke, et al.
Veröffentlicht: (2026)
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
von: Feng, Qiong, et al.
Veröffentlicht: (2025)
von: Feng, Qiong, et al.
Veröffentlicht: (2025)
Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
von: Antal, Gábor, et al.
Veröffentlicht: (2024)
von: Antal, Gábor, et al.
Veröffentlicht: (2024)
Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)
MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
von: Sadr, Amirhosein, et al.
Veröffentlicht: (2026)
von: Sadr, Amirhosein, et al.
Veröffentlicht: (2026)
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)
Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models
von: Feng, Xiaotao, et al.
Veröffentlicht: (2025)
von: Feng, Xiaotao, et al.
Veröffentlicht: (2025)
An Empirical Study on the Performance and Energy Usage of Compiled Python Code
von: Stoico, Vincenzo, et al.
Veröffentlicht: (2025)
von: Stoico, Vincenzo, et al.
Veröffentlicht: (2025)
R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
von: Lin, Jiayi, et al.
Veröffentlicht: (2025)
von: Lin, Jiayi, et al.
Veröffentlicht: (2025)
Reinforcement Learning from Compiler and Language Server Feedback
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
von: Sun, Maolin, et al.
Veröffentlicht: (2025)
von: Sun, Maolin, et al.
Veröffentlicht: (2025)
Compiling Away the Overhead of Race Detection
von: Paznikov, Alexey, et al.
Veröffentlicht: (2025)
von: Paznikov, Alexey, et al.
Veröffentlicht: (2025)
Understanding Accelerator Compilers via Performance Profiling
von: Yorihiro, Ayaka, et al.
Veröffentlicht: (2025)
von: Yorihiro, Ayaka, et al.
Veröffentlicht: (2025)
Finding Missed Code Size Optimizations in Compilers using LLMs
von: Italiano, Davide, et al.
Veröffentlicht: (2024)
von: Italiano, Davide, et al.
Veröffentlicht: (2024)
BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
von: Zhang, Zehua, et al.
Veröffentlicht: (2025)
von: Zhang, Zehua, et al.
Veröffentlicht: (2025)
Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
von: Vaidya, Sairam, et al.
Veröffentlicht: (2025)
von: Vaidya, Sairam, et al.
Veröffentlicht: (2025)
Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
von: Wallraven, Stephan, et al.
Veröffentlicht: (2026)
von: Wallraven, Stephan, et al.
Veröffentlicht: (2026)
Advancing Automated In-Isolation Validation in Repository-Level Code Translation
von: Ke, Kaiyao, et al.
Veröffentlicht: (2025)
von: Ke, Kaiyao, et al.
Veröffentlicht: (2025)
Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
von: Ravikumar, Shruthi, et al.
Veröffentlicht: (2024)
von: Ravikumar, Shruthi, et al.
Veröffentlicht: (2024)
Library Liberation: Competitive Performance Matmul Through Compiler-composed Nanokernels
von: Thangamani, Arun, et al.
Veröffentlicht: (2025)
von: Thangamani, Arun, et al.
Veröffentlicht: (2025)
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
von: Sim, HoHyun, et al.
Veröffentlicht: (2025)
von: Sim, HoHyun, et al.
Veröffentlicht: (2025)
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)
Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
von: Zhang, Jiahao, et al.
Veröffentlicht: (2025)
von: Zhang, Jiahao, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software
von: Nguyen, Tien, et al.
Veröffentlicht: (2026) -
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023) -
Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
von: An, Junwen, et al.
Veröffentlicht: (2026) -
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023) -
Local Software Buildability across Java Versions (Registered Report)
von: Sulír, Matúš, et al.
Veröffentlicht: (2024)