SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Zhao, Yuwei, Xiao, Yuan-An, Xiao, Qianyu, Zhang, Zhao, Xiong, Yingfei |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)
Reducing Cost of LLM Agents with Trajectory Reduction
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)
On the Effectiveness of Training Data Optimization for LLM-based Code Generation: An Empirical Study
von: Kuang, Shiqi, et al.
Veröffentlicht: (2025)
von: Kuang, Shiqi, et al.
Veröffentlicht: (2025)
GramTrans: A Better Code Representation Approach in Code Generation
von: Zhang, Zhao, et al.
Veröffentlicht: (2025)
von: Zhang, Zhao, et al.
Veröffentlicht: (2025)
RUM: Rule+LLM-Based Comprehensive Assessment on Testing Skills
von: Wang, Yue, et al.
Veröffentlicht: (2025)
von: Wang, Yue, et al.
Veröffentlicht: (2025)
Condor: A Code Discriminator Integrating General Semantics with Code Details
von: Liang, Qingyuan, et al.
Veröffentlicht: (2024)
von: Liang, Qingyuan, et al.
Veröffentlicht: (2024)
On Reasoning-Centric LLM-based Automated Theorem Proving
von: Sun, Yican, et al.
Veröffentlicht: (2026)
von: Sun, Yican, et al.
Veröffentlicht: (2026)
Validity-Preserving Delta Debugging via Generator Trace Reduction
von: Ren, Luyao, et al.
Veröffentlicht: (2024)
von: Ren, Luyao, et al.
Veröffentlicht: (2024)
Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
von: Fang, Jian, et al.
Veröffentlicht: (2026)
von: Fang, Jian, et al.
Veröffentlicht: (2026)
LLM-based Vulnerability Detection at Project Scale: An Empirical Study
von: Li, Fengjie, et al.
Veröffentlicht: (2026)
von: Li, Fengjie, et al.
Veröffentlicht: (2026)
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)
From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
von: Ma, Shang, et al.
Veröffentlicht: (2026)
von: Ma, Shang, et al.
Veröffentlicht: (2026)
SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code
von: Wang, Qinglin, et al.
Veröffentlicht: (2025)
von: Wang, Qinglin, et al.
Veröffentlicht: (2025)
TraceRAG: A LLM-Based Framework for Explainable Android Malware Detection and Behavior Analysis
von: Zhang, Guangyu, et al.
Veröffentlicht: (2025)
von: Zhang, Guangyu, et al.
Veröffentlicht: (2025)
An Empirical Study of Interaction Smells in Multi-Turn Human-LLM Collaborative Code Generation
von: Zhang, Binquan, et al.
Veröffentlicht: (2026)
von: Zhang, Binquan, et al.
Veröffentlicht: (2026)
Line-level Semantic Structure Learning for Code Vulnerability Detection
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)
A Learning Method for Symbolic Systems Using Large Language Models
von: Fang, Jian, et al.
Veröffentlicht: (2026)
von: Fang, Jian, et al.
Veröffentlicht: (2026)
Code vs Serialized AST Inputs for LLM-Based Code Summarization: An Empirical Study
von: Dong, Shijia, et al.
Veröffentlicht: (2026)
von: Dong, Shijia, et al.
Veröffentlicht: (2026)
Where Code Meets Natural Language: Taxonomy-Driven Information Flow Analysis for LLM-Integrated Applications
von: Xu, Zihao, et al.
Veröffentlicht: (2026)
von: Xu, Zihao, et al.
Veröffentlicht: (2026)
EvoCodeBench: A Human-Performance Benchmark for Self-Evolving LLM-Driven Coding Systems
von: Zhang, Wentao, et al.
Veröffentlicht: (2026)
von: Zhang, Wentao, et al.
Veröffentlicht: (2026)
ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers
von: Lin, Hannah, et al.
Veröffentlicht: (2025)
von: Lin, Hannah, et al.
Veröffentlicht: (2025)
M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)
Lyra: A Benchmark for Turducken-Style Code Generation
von: Liang, Qingyuan, et al.
Veröffentlicht: (2021)
von: Liang, Qingyuan, et al.
Veröffentlicht: (2021)
Prompt Optimization for LLM Code Generation via Reinforcement Learning
von: Esfahani, Ali Mohammadi, et al.
Veröffentlicht: (2026)
von: Esfahani, Ali Mohammadi, et al.
Veröffentlicht: (2026)
AXIOM: Benchmarking LLM-as-a-Judge for Code via Rule-Based Perturbation and Multisource Quality Calibration
von: Wang, Ruiqi, et al.
Veröffentlicht: (2025)
von: Wang, Ruiqi, et al.
Veröffentlicht: (2025)
Usability as a Weapon: Attacking the Safety of LLM-Based Code Generation via Usability Requirements
von: Li, Yue, et al.
Veröffentlicht: (2026)
von: Li, Yue, et al.
Veröffentlicht: (2026)
SmartFL: Semantics Based Probabilistic Fault Localization
von: Wu, Yiqian, et al.
Veröffentlicht: (2025)
von: Wu, Yiqian, et al.
Veröffentlicht: (2025)
Defect Category Prediction Based on Multi-Source Domain Adaptation
von: Xing, Ying, et al.
Veröffentlicht: (2024)
von: Xing, Ying, et al.
Veröffentlicht: (2024)
Assessing the Robustness of LLM-based NLP Software via Automated Testing
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2024)
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2024)
Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
von: Trae Research Team, et al.
Veröffentlicht: (2025)
von: Trae Research Team, et al.
Veröffentlicht: (2025)
BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2025)
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2025)
Enhancing LLM-Based Bug Reproduction for Android Apps via Pre-Assessment of Visual Effects
von: Xiao, Xiangyang, et al.
Veröffentlicht: (2026)
von: Xiao, Xiangyang, et al.
Veröffentlicht: (2026)
Efficient Code Analysis via Graph-Guided Large Language Models
von: Gao, Hang, et al.
Veröffentlicht: (2026)
von: Gao, Hang, et al.
Veröffentlicht: (2026)
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
von: Fakhoury, Sarah, et al.
Veröffentlicht: (2024)
von: Fakhoury, Sarah, et al.
Veröffentlicht: (2024)
BitsAI-CR: Automated Code Review via LLM in Practice
von: Sun, Tao, et al.
Veröffentlicht: (2025)
von: Sun, Tao, et al.
Veröffentlicht: (2025)
GeoContra: From Fluent GIS Code to Verifiable Spatial Analysis with Geography-Grounded Repair
von: Xiao, Yinhao, et al.
Veröffentlicht: (2026)
von: Xiao, Yinhao, et al.
Veröffentlicht: (2026)
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
von: Luo, Feng, et al.
Veröffentlicht: (2025)
von: Luo, Feng, et al.
Veröffentlicht: (2025)
LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
von: He, Ruidi, et al.
Veröffentlicht: (2025)
von: He, Ruidi, et al.
Veröffentlicht: (2025)
GraphCodeAgent: Dual Graph-Guided LLM Agent for Retrieval-Augmented Repo-Level Code Generation
von: Li, Jia, et al.
Veröffentlicht: (2025)
von: Li, Jia, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023) -
Reducing Cost of LLM Agents with Trajectory Reduction
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025) -
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025) -
On the Effectiveness of Training Data Optimization for LLM-based Code Generation: An Empirical Study
von: Kuang, Shiqi, et al.
Veröffentlicht: (2025) -
GramTrans: A Better Code Representation Approach in Code Generation
von: Zhang, Zhao, et al.
Veröffentlicht: (2025)