:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Yinger, Cai, Hui, Song, Xeirui, Chen, Yicheng, Sun, Rui, Zheng, Jing
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering Artificial Intelligence Programming Languages
Accès en ligne:	https://arxiv.org/abs/2310.04474
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
par: Montesi, Fabrizio, et autres
Publié: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
par: Cai, Jianfeng, et autres
Publié: (2026)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
par: Jing, Huihao, et autres
Publié: (2026)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

Evaluating LLMs on Sequential API Call Through Automated Test Generation
par: Huang, Yuheng, et autres
Publié: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
par: Huang, Hanxian, et autres
Publié: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
par: Chatterjee, Bodhisatwa, et autres
Publié: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
par: Qiu, Ruidi, et autres
Publié: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
par: Chen, Rui, et autres
Publié: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
par: Zhou, Zixu
Publié: (2025)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
par: Shirafuji, Atsushi, et autres
Publié: (2023)

Generating Verifiable Chain of Thoughts from Exection-Traces
par: Thakur, Shailja, et autres
Publié: (2025)

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)

Enabling Memory Safety of C Programs using LLMs
par: Mohammed, Nausheen, et autres
Publié: (2024)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
par: Zhong, Hua, et autres
Publié: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)

Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
par: Fang, Sen, et autres
Publié: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
par: Rao, Zihao, et autres
Publié: (2024)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
par: Gao, Yifei, et autres
Publié: (2025)

Incremental Context-free Grammar Inference in Black Box Settings
par: Li, Feifei, et autres
Publié: (2024)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
par: Zhang, Shuoming, et autres
Publié: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
par: Tang, Hao, et autres
Publié: (2024)

Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

Pareto Optimal Code Generation
par: Orlanski, Gabriel, et autres
Publié: (2025)

Generating API Parameter Security Rules with LLM for API Misuse Detection
par: Liu, Jinghua, et autres
Publié: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
par: Zhou, Shang, et autres
Publié: (2025)

VisCoder2: Building Multi-Language Visualization Coding Agents
par: Ni, Yuansheng, et autres
Publié: (2025)

Program Structure Aware Precondition Generation
par: Dinella, Elizabeth, et autres
Publié: (2023)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

Generalized Software Product Line Extraction
par: Bruzzone, Federico, et autres
Publié: (2026)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
par: Mang, Qiuyang, et autres
Publié: (2025)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
par: Saravanos, Antonios, et autres
Publié: (2026)

A New Generation of Intelligent Development Environments
par: Marron, Mark
Publié: (2024)

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
par: Nadimi, Bardia, et autres
Publié: (2024)