Salvato in:
| Autori principali: | Zhang, Yinger, Cai, Hui, Song, Xeirui, Chen, Yicheng, Sun, Rui, Zheng, Jing |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| 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)
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)
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)
PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
di: Jing, Huihao, et al.
Pubblicazione: (2026)
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)
di: Liu, Peipei, et al.
Pubblicazione: (2025)
Evaluating LLMs on Sequential API Call Through Automated Test Generation
di: Huang, Yuheng, et al.
Pubblicazione: (2025)
di: Huang, Yuheng, et al.
Pubblicazione: (2025)
Multi-modal Learning for WebAssembly Reverse Engineering
di: Huang, Hanxian, et al.
Pubblicazione: (2024)
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)
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)
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)
di: Chen, Rui, et al.
Pubblicazione: (2025)
Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
di: Zhou, Zixu
Pubblicazione: (2025)
di: Zhou, Zixu
Pubblicazione: (2025)
Rule-Based Error Classification for Analyzing Differences in Frequent Errors
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)
Generating Verifiable Chain of Thoughts from Exection-Traces
di: Thakur, Shailja, et al.
Pubblicazione: (2025)
di: Thakur, Shailja, et al.
Pubblicazione: (2025)
A Trace-based Approach for Code Safety Analysis
di: Xu, Hui
Pubblicazione: (2025)
di: Xu, Hui
Pubblicazione: (2025)
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
di: Feng, Qiong, et al.
Pubblicazione: (2025)
di: Feng, Qiong, et al.
Pubblicazione: (2025)
Enabling Memory Safety of C Programs using LLMs
di: Mohammed, Nausheen, et al.
Pubblicazione: (2024)
di: Mohammed, Nausheen, et al.
Pubblicazione: (2024)
APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
di: Zhong, Hua, et al.
Pubblicazione: (2025)
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)
di: Wu, Valentina, et al.
Pubblicazione: (2025)
Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
di: Fang, Sen, et al.
Pubblicazione: (2025)
di: Fang, Sen, et al.
Pubblicazione: (2025)
Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
di: Rao, Zihao, et al.
Pubblicazione: (2024)
di: Rao, Zihao, et al.
Pubblicazione: (2024)
Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)
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)
di: Gao, Yifei, et al.
Pubblicazione: (2025)
Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)
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)
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)
di: Sun, Zhensu, et al.
Pubblicazione: (2026)
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
di: Tang, Hao, et al.
Pubblicazione: (2024)
di: Tang, Hao, et al.
Pubblicazione: (2024)
Multi-Pass Targeted Dynamic Symbolic Execution
di: Yavuz, Tuba
Pubblicazione: (2024)
di: Yavuz, Tuba
Pubblicazione: (2024)
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
di: Yu, Hao, et al.
Pubblicazione: (2025)
di: Yu, Hao, et al.
Pubblicazione: (2025)
Pareto Optimal Code Generation
di: Orlanski, Gabriel, et al.
Pubblicazione: (2025)
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)
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)
di: Xie, Xiaoheng, et al.
Pubblicazione: (2024)
AutoCode: LLMs as Problem Setters for Competitive Programming
di: Zhou, Shang, et al.
Pubblicazione: (2025)
di: Zhou, Shang, et al.
Pubblicazione: (2025)
VisCoder2: Building Multi-Language Visualization Coding Agents
di: Ni, Yuansheng, et al.
Pubblicazione: (2025)
di: Ni, Yuansheng, et al.
Pubblicazione: (2025)
Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)
Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)
di: Stroustrup, Bjarne
Pubblicazione: (2025)
Generalized Software Product Line Extraction
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)
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)
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)
Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)
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)
di: Saravanos, Antonios, et al.
Pubblicazione: (2026)
A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)
di: Marron, Mark
Pubblicazione: (2024)
A Multi-Expert Large Language Model Architecture for Verilog Code Generation
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)
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)