:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Yinger, Cai, Hui, Song, Xeirui, Chen, Yicheng, Sun, Rui, Zheng, Jing
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Software Engineering Artificial Intelligence Programming Languages
Accesso online:	https://arxiv.org/abs/2310.04474
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
di: Montesi, Fabrizio, et al.
Pubblicazione: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
di: Jing, Huihao, et al.
Pubblicazione: (2026)

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

Evaluating LLMs on Sequential API Call Through Automated Test Generation
di: Huang, Yuheng, et al.
Pubblicazione: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
di: Qiu, Ruidi, et al.
Pubblicazione: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
di: Chen, Rui, et al.
Pubblicazione: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
di: Zhou, Zixu
Pubblicazione: (2025)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

Generating Verifiable Chain of Thoughts from Exection-Traces
di: Thakur, Shailja, et al.
Pubblicazione: (2025)

A Trace-based Approach for Code Safety Analysis
di: Xu, Hui
Pubblicazione: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
di: Feng, Qiong, et al.
Pubblicazione: (2025)

Enabling Memory Safety of C Programs using LLMs
di: Mohammed, Nausheen, et al.
Pubblicazione: (2024)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
di: Zhong, Hua, et al.
Pubblicazione: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
di: Wu, Valentina, et al.
Pubblicazione: (2025)

Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
di: Fang, Sen, et al.
Pubblicazione: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
di: Rao, Zihao, et al.
Pubblicazione: (2024)

Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
di: Gao, Yifei, et al.
Pubblicazione: (2025)

Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
di: Zhang, Shuoming, et al.
Pubblicazione: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
di: Sun, Zhensu, et al.
Pubblicazione: (2026)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
di: Tang, Hao, et al.
Pubblicazione: (2024)

Multi-Pass Targeted Dynamic Symbolic Execution
di: Yavuz, Tuba
Pubblicazione: (2024)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
di: Yu, Hao, et al.
Pubblicazione: (2025)

Pareto Optimal Code Generation
di: Orlanski, Gabriel, et al.
Pubblicazione: (2025)

Generating API Parameter Security Rules with LLM for API Misuse Detection
di: Liu, Jinghua, et al.
Pubblicazione: (2024)

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

AutoCode: LLMs as Problem Setters for Competitive Programming
di: Zhou, Shang, et al.
Pubblicazione: (2025)

VisCoder2: Building Multi-Language Visualization Coding Agents
di: Ni, Yuansheng, et al.
Pubblicazione: (2025)

Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

Generalized Software Product Line Extraction
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

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

A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)