:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Yinger, Cai, Hui, Song, Xeirui, Chen, Yicheng, Sun, Rui, Zheng, Jing
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering Artificial Intelligence Programming Languages
Online-Zugang:	https://arxiv.org/abs/2310.04474
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
von: Montesi, Fabrizio, et al.
Veröffentlicht: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
von: Cai, Jianfeng, et al.
Veröffentlicht: (2026)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
von: Jing, Huihao, et al.
Veröffentlicht: (2026)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
von: Liu, Peipei, et al.
Veröffentlicht: (2025)

Evaluating LLMs on Sequential API Call Through Automated Test Generation
von: Huang, Yuheng, et al.
Veröffentlicht: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
von: Huang, Hanxian, et al.
Veröffentlicht: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
von: Qiu, Ruidi, et al.
Veröffentlicht: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
von: Chen, Rui, et al.
Veröffentlicht: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
von: Zhou, Zixu
Veröffentlicht: (2025)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

Generating Verifiable Chain of Thoughts from Exection-Traces
von: Thakur, Shailja, et al.
Veröffentlicht: (2025)

A Trace-based Approach for Code Safety Analysis
von: Xu, Hui
Veröffentlicht: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
von: Feng, Qiong, et al.
Veröffentlicht: (2025)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
von: Zhong, Hua, et al.
Veröffentlicht: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
von: Wu, Valentina, et al.
Veröffentlicht: (2025)

Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
von: Fang, Sen, et al.
Veröffentlicht: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

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

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
von: Gao, Yifei, et al.
Veröffentlicht: (2025)

Incremental Context-free Grammar Inference in Black Box Settings
von: Li, Feifei, 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)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
von: Sun, Zhensu, et al.
Veröffentlicht: (2026)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
von: Tang, Hao, et al.
Veröffentlicht: (2024)

Multi-Pass Targeted Dynamic Symbolic Execution
von: Yavuz, Tuba
Veröffentlicht: (2024)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
von: Yu, Hao, et al.
Veröffentlicht: (2025)

Pareto Optimal Code Generation
von: Orlanski, Gabriel, et al.
Veröffentlicht: (2025)

Generating API Parameter Security Rules with LLM for API Misuse Detection
von: Liu, Jinghua, et al.
Veröffentlicht: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
von: Zhou, Shang, et al.
Veröffentlicht: (2025)

VisCoder2: Building Multi-Language Visualization Coding Agents
von: Ni, Yuansheng, et al.
Veröffentlicht: (2025)

Program Structure Aware Precondition Generation
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2023)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

Generalized Software Product Line Extraction
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
von: Mang, Qiuyang, et al.
Veröffentlicht: (2025)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
von: Saravanos, Antonios, et al.
Veröffentlicht: (2026)

A New Generation of Intelligent Development Environments
von: Marron, Mark
Veröffentlicht: (2024)

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
von: Nadimi, Bardia, et al.
Veröffentlicht: (2024)