代码大模型 / AI 编程

An Empirical Study of LLM-Based Code Clone Detection

Wenqing Zhu, Norihiro Yoshida, Eunjong Choi, Yutaka Matsubara, Hiroaki Takada

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Typed Embedding of miniKanren for Functional Conversion

Igor Engel, Ekaterina Verbitskaia

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.PL

Can Large Language Models Detect Real-World Android Software Compliance Violations?

Haoyi Zhang, Huaijin Ran, Xunzhu Tang

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with Bézier Curves

Zihao Wan, Pau Tong Lin Xu, Fuwen Luo, Ziyue Wang, Peng Li, Yang Liu

机构 * Dept. of Comp. Sci. & Tech., Institute for AI, Tsinghua University, Beijing, China（计算机科学与技术系，人工智能研究院，清华大学，北京，中国） ； Institute for AI Industry Research (AIR), Tsinghua University, Beijing, China（人工智能产业研究院（AIR），清华大学，北京，中国） 纠错

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.LG

Agentic Large Language Models for Conceptual Systems Engineering and Design

Soheyl Massoudi, Mark Fuge

机构 * ETH Zurich（苏黎世联邦理工学院） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI

Comments 32 pages, 4 figures

Beyond Length: Quantifying Long-Range Information for Long-Context LLM Pretraining Data

Haoran Deng, Yingyu Lin, Zhenghao Lin, Xiao Liu, Yizhou Sun, Yi-An Ma, Yeyun Gong

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

TECS/Rust: Memory-safe Component Framework for Embedded Systems

Nao Yoshimura, Hiroshi Oyama, Takuya Azumi

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 10 pages. This version includes minor lstlisting configuration adjustments for successful compilation. No changes to content or layout. Originally published at IEEE ISORC 2024

Journal ref Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing (ISORC), 2024, pp. 1-11

AMAS: Adaptively Determining Communication Topology for LLM-based Multi-Agent System

Hui Yi Leong, Yuheng Li, Yuqing Wu, Wenwen Ouyang, Wei Zhu, Jiechao Gao, Wei Han

机构 * Johns Hopkins University（约翰霍普金斯大学） ； Carnegie Mellon University（卡内基梅隆大学） ； University of Hong Kong（香港大学） ； Stanford University（斯坦福大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

Comments Accepted by EMNLP-2025

LLM-as-a-Judge for Software Engineering: Literature Review, Vision, and the Road Ahead

Junda He, Jieke Shi, Terry Yue Zhuo, Christoph Treude, Jiamou Sun, Zhenchang Xing, Xiaoning Du, David Lo

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Code Aesthetics with Agentic Reward Feedback

Bang Xiao, Lingjie Jiang, Shaohan Huang, Tengchao Lv, Yupan Huang, Xun Wu, Lei Cui, Furu Wei

机构 * Microsoft Research Asia（微软亚洲研究院） ； Zhiyuan College（智远学院） ； Shanghai Jiao Tong University（上海交通大学） ； Peking University（北京大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

Comments 30 pages, 7 figures

Learning to Focus: Causal Attention Distillation via Gradient-Guided Token Pruning

Yiju Guo, Wenkai Yang, Zexu Sun, Ning Ding, Zhiyuan Liu, Yankai Lin

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

Comments Accepted at NeurIPS 2025, camera-ready version

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies

Jieke Shi, Junda He, Zhou Yang, Đorđe Žikelić, David Lo

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.SE

Comments Accepted by ACM Transactions on Software Engineering and Methodology (TOSEM), 39 pages

Lookahead Routing for Large Language Models

Canbin Huang, Tianyuan Shi, Yuhua Zhu, Ruijun Chen, Xiaojun Quan

机构 * School of Computer Science and Engineering, Sun Yat-sen University, China（中山大学计算机科学与工程学院） ； Shenzhen Loop Area Institute, China（深圳环湖研究所） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

The Continuous Tensor Abstraction: Where Indices are Real

Jaeyeon Won, Willow Ahrens, Teodoro Fields Collin, Joel S. Emer, Saman Amarasinghe

专题命中 代码生成 ：code generation(abstract)；分类 cs.PL

Journal ref Proceedings of the ACM on Programming Languages, Volume 9, Issue OOPSLA2, 2025

VAPU: System for Autonomous Legacy Code Modernization

Valtteri Ala-Salmi, Zeeshan Rasheed, Abdul Malik Sami, Muhammad Waseem, Kai-Kristian Kemell, Jussi Rasku, Mika Saari, Pekka Abrahamsson

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments Table 13, figure 2

BlueCodeAgent: A Blue Teaming Agent Enabled by Automated Red Teaming for CodeGen AI

Chengquan Guo, Yuzhou Nie, Chulin Xie, Zinan Lin, Wenbo Guo, Bo Li

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning

Manvi Jha, Jiaxin Wan, Deming Chen

机构 * Electrical and Computer Engineering（电气与计算机工程系） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI

STARK: Strategic Team of Agents for Refining Kernels

Juncheng Dong, Yang Yang, Tao Liu, Yang Wang, Feng Qi, Vahid Tarokh, Kaushik Rangadurai, Shuang Yang

机构 * Meta Ranking AI Research（Meta 排名人工智能研究） ； Duke University（杜克大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI

Tutoring LLM into a Better CUDA Optimizer

Matyáš Brabec, Jiří Klepl, Michal Töpfer, Martin Kruliš

机构 * Charles University（查理大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI

Comments This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in Euro-Par 2025: Parallel Processing, Part II, and is available online at https://doi.org/10.1007/978-3-031-99857-7_18

Journal ref Euro-Par 2025: Parallel Processing. Euro-Par 2025. Lecture Notes in Computer Science, vol 15901. Springer, Cham

Towards Automated Verification of LLM-Synthesized C Programs

Prasita Mukherjee, Benjamin Delaware

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.PL

Structured Interfaces for Automated Reasoning with 3D Scene Graphs

Aaron Ray, Jacob Arkin, Harel Biggie, Chuchu Fan, Luca Carlone, Nicholas Roy

机构 * Massachusetts Institute of Technology（麻省理工学院） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI

Comments 25 pages, 3 figures

Coder as Editor: Code-driven Interpretable Molecular Optimization

Wenyu Zhu, Chengzhu Li, Xiaohe Tian, Yifan Wang, Yinjun Jia, Jianhui Wang, Bowen Gao, Ya-Qin Zhang, Wei-Ying Ma, Yanyan Lan

机构 * Institute for AI Industry Research, Tsinghua University（人工智能产业研究院，清华大学） ； Department of Computer Science and Technology, Tsinghua University（计算机科学与技术系，清华大学） ； School of Pharmaceutical Sciences, Peking University（北京大学药学院） ； University of Electronic Science and Technology of China（电子科技大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.LG

Cascading Adversarial Bias from Injection to Distillation in Language Models

Harsh Chaudhari, Jamie Hayes, Matthew Jagielski, Ilia Shumailov, Milad Nasr, Alina Oprea

机构 * Northeastern University（东北大学） ； Google Deepmind（谷歌DeepMind） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.LG

ChartGalaxy: A Dataset for Infographic Chart Understanding and Generation

Zhen Li, Duan Li, Yukai Guo, Xinyuan Guo, Bowen Li, Lanxi Xiao, Shenyu Qiao, Jiashu Chen, Zijian Wu, Hui Zhang, Xinhuan Shu, Shixia Liu

机构 * Tsinghua University（清华大学） ； Newcastle University（新castle大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

Comments 58 pages

What Slows Down FMware Development? An Empirical Study of Developer Challenges and Resolution Times

Zitao Wang, Zhimin Zhao, Michael W. Godfrey

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Preserving LLM Capabilities through Calibration Data Curation: From Analysis to Optimization

Bowei He, Lihao Yin, Huiling Zhen, Shuqi Liu, Han Wu, Xiaokun Zhang, Mingxuan Yuan, Chen Ma

机构 * Department of Computer Science, City University of Hong Kong（香港城市大学计算机科学系） ； Huawei（华为） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL

Comments Accepted by NeurIPS 2025

Bridging Developer Instructions and Code Completion Through Instruction-Aware Fill-in-the-Middle Paradigm

Zhensu Sun, Chengran Yang, Chao Peng, Pengfei Gao, Xiaoning Du, Li Li, David Lo

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Can Large Language Models Serve as Data Analysts? A Multi-Agent Assisted Approach for Qualitative Data Analysis

Zeeshan Rasheed, Muhammad Waseem, Aakash Ahmad, Kai-Kristian Kemell, Wang Xiaofeng, Anh Nguyen Duc, Pekka Abrahamsson

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 34 pages and 2 figures

TIT: A Tree-Structured Instruction Tuning Approach for LLM-Based Code Translation

He Jiang, Yufu Wang, Hao Lin, Peiyu Zou, Zhide Zhou, Ang Jia, Xiaochen Li, Zhilei Ren

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Man-Made Heuristics Are Dead. Long Live Code Generators!

Rohit Dwivedula, Divyanshu Saxena, Aditya Akella, Swarat Chaudhuri, Daehyeok Kim

机构 * The University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.LG

Comments 10 pages, 2 figures, 2 tables. To be presented at HotNets 2025