代码大模型 / AI 编程

Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming

Martin Lester, Luke Ong, Max Schaefer

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

MyProLang - My Programming Language: A Template-Driven Automatic Natural Programming Language

Youssef Bassil, Aziz Barbar

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

Comments WCECS 2008, October 22-24, 2008, San Francisco, USA

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

Jan Olaf Blech, Dongyue Mou, Daniel Ratiu

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

Comments In Proceedings MBT 2012, arXiv:1202.5826

Journal ref EPTCS 80, 2012, pp. 13-27

OCamlJIT 2.0 - Faster Objective Caml

Benedikt Meurer

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

Comments 23 pages, 12 figures

A Process Algebra for Supervisory Coordination

Jos Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski

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

Comments In Proceedings PACO 2011, arXiv:1108.1452

Journal ref EPTCS 60, 2011, pp. 36-55

Formal Model Engineering for Embedded Systems Using Real-Time Maude

Peter Csaba Ölveczky

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

Comments In Proceedings AMMSE 2011, arXiv:1106.5962

Journal ref EPTCS 56, 2011, pp. 3-13

A Systematic Approach to Web-Application Development

Joy Dutta, Paul Fodor

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

Octave-GTK: A GTK binding for GNU Octave

Muthiah Annamalai, Hemant Kumar, Leela Velusamy

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

Comments Comments: Presented at Octave2006 Conference, Washington D.C

EPspectra: A Formal Toolkit for Developing DSP Software Applications

Hahnsang Kim, Theirry Turletti, Amar Bouali

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

Comments 31 pages

Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service

Thomas Kistler, Michael Franz

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

Comments 22 pages

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems

Andree Blotz, Franz Huber, Heiko Loetzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zaengerl

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

Comments 16 pages, figures included, paper accepted for ADA Deutschland Tagung 2002, March 6-8, Jena, GERMANY

Insights from the Usage of the Ansible Lightspeed Code Completion Service

Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Gebhardt, Louis Mandel, Luca Buratti

专题命中 代码生成 ：分类 cs.SE、cs.AI、cs.PL；code generation(comments)

Comments This paper has been published at the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Industry Showcase under the title "Ansible Lightspeed: A Code Generation Service for IT Automation"

An experience with PyCUDA: Refactoring an existing implementation of a ray-surface intersection algorithm

Raymond Leung

专题命中 代码生成 ：code generation(abstract,comments)

Comments 14 pages. Keywords: PyCUDA, Python scripting, GPU Run-Time Code Generation (RTCG), ray-mesh intersection, open-source code, learning, shared experience

Remote-Sensing City Layout Extraction with MLLM

基于多模态大语言模型（MLLM）的遥感城市布局提取

Zigan Zhou, Kai Li, Yupeng Deng

机构 * City University of Hong Kong（香港城市大学） ； University of Chinese Academy of Sciences（中国科学院大学） ； Aerospace Information Research Institute（空天信息创新研究院） 纠错

专题命中 代码生成 ：code generation(abstract)

AI总结 本研究提出Code-as-City方法，利用MLLM将遥感顶视图图像转化为含平面与3D输出的可编辑城市布局，在CityLayout-100数据集上取得41.1%、48.3%的交并比，验证了视觉观测转城市代码的可行性。

Comments 4 pages, 2 figures, 4 tables. Accepted to IEEE APGARSS 2026

Validation-Centric AI-Assisted GPU Porting of a 250,000+ Line Legacy Weather Simulation Code

面向验证的25万行以上遗留气象模拟代码的AI辅助GPU移植

Tetsuya Hoshino, Masaya Kato, Kazuhisa Tsuboki, Daichi Mukunoki, Takahiro Katagiri, Toshihiro Hanawa

专题命中 代码生成 ：code generation(abstract)

AI总结 本文以遗留Fortran气象模拟代码CReSS为例，提出面向验证的AI辅助GPU移植工作流，为162个内核生成经数值验证的GPU实现，获5.1倍应用级加速，还检测到5个内核的数值不一致。

Comments 11 pages, 1 figure, 3 tables. Submitted to AgenticAI4HPC 2026

Ortho2CAD: 3D CAD generation from orthographic drawings using vision language models

Ortho2CAD：使用视觉语言模型从正投影图生成3D CAD

Aditya Joglekar, Amit Regmi, Kenji Shimada, Levent Burak Kara

专题命中 代码生成 ：code generation(abstract)

AI总结 研究旨在解决工程设计中从正投影图到3D CAD模型转换的问题，核心方法是利用视觉语言模型Ortho2CAD，通过监督微调与强化学习训练，借助绘图生成器实现大规模学习，主要贡献是代码有效率高且3D CAD精度超基线。

Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination

基于量词消去的SAGIN中多层卸载乘积的精确DC表示

Minh-Tuong Nguyen, Vo Phi Son

专题命中 代码生成 ：code generation(abstract)

AI总结 针对SAGIN任务卸载的非凸规划问题，通过量词消去得到精确DC表示，结合CCP实现SOCP可解，较SGP提速8.9倍且达近全局解。

Embedding Large Language Models into Flow Controls: An Agentic Framework for Adaptive and Trustworthy Automated Cooking

将大语言模型嵌入流程控制：一种用于自适应且可信的自动化烹饪的智能体框架

Zihan Song, Hongwei Huang, Yueshuo Sun, Yonglin Tian, Fei-Yue Wang, Bai Li

专题命中 代码生成 ：code generation(abstract)

AI总结 针对自动化烹饪机器人的个性化与可信性问题，提出智能体框架，通过多智能体分解需求、分阶段生成执行代码，实验验证其在真实场景中可靠且实用。

CommBench: Can LLMs Write Correct and Efficient GPU Communication Code?

CommBench：大语言模型能编写正确且高效的GPU通信代码吗？

Shuang Ma, Yuyi Li, Yihan Zhang, Hezhi Xie, Danyang Chen, Shuyang Ji, Ziming Mao, Cheng Ji, Ansha Prashanth, Wenting Yang, Yiran Wang, Chihan Cui, Pei Yu Lin, Ion Stoica, Yang Zhou

专题命中 代码生成 ：code generation(abstract)

AI总结 本文提出GPU通信编程综合基准CommBench，评估发现最强代码生成模型GPT-5.5仅在30.7%任务中实现正确高效的GPU通信代码，凸显LLMs与专家水平的差距。

Generative AI and Foundation Models in Medical Image

医学影像中的生成式AI与基础模型

Masahiro Oda

机构 * Nagoya University（名古屋大学） ； Graduate School of Informatics, Nagoya University（名古屋大学信息学研究科） 纠错

专题命中 代码生成 ：code generation(abstract)

AI总结 本文概述生成式AI相关的扩散模型、LLMs及基础模型，介绍其在医疗辅助中的应用，探讨基础模型的构建方法与医疗应用，并研究利用国家资源开发医疗辅助AI的路径。

Comments Review Article

Journal ref Radiological Physics and Technology, vol.18, pp.937-948, 2025

Breaking the Rounding Trap: Securing LLMs against Quantization-Conditioned Backdoors

打破舍入陷阱：保护LLM免受量化条件后门攻击

Aoying Zheng, Anqi Du, Zizhuang Deng, Yuxuan Chen

专题命中 代码生成 ：code generation(abstract)

AI总结 提出QuantGuard方法，通过可微舍入控制变量和误差引导的舍入反转约束等机制，在仅使用少量校准数据且不修改量化算法的情况下，阻断后门激活路径，有效降低攻击成功率至接近干净模型水平。

Complex Bounded Operators in Isabelle/HOL

Isabelle/HOL中的复有界算子

Dominique Unruh, José Manuel Rodríguez Caballero

专题命中 代码生成 ：code generation(abstract)

AI总结 本文在Isabelle/HOL中形式化了复向量空间上的有界算子，包括复范数空间、巴拿赫空间、希尔伯特空间，定义了有界算子类型cblinfun，并发展了酉算子、投影算子、有界线性函数延拓定理、伴随算子、Loewner序、闭子空间等理论，同时为有限维情况提供了与矩阵的代码生成支持。

Comments v2: Incorporated ITP reviewer feedback; rewrote incorrect mathlib comparison

Journal ref 17th International Conference on Interactive Theorem Proving (ITP 2026)

Robust Interpretation of Historical Documents in Knowledge Graphs Through Query Inference and Execution

通过查询推理和执行对知识图谱中的历史文档进行鲁棒解释

Sebastià Nicolau, Adrià Molina, Oriol Ramos Terrades, Josep Lladós

专题命中 代码生成 ：code generation(abstract)

AI总结 研究如何在利用大语言模型泛化能力时保证可靠性，提出智能检索系统，比较传统RAG与智能GraphRAG架构，引入半符号框架，通过单词识别与代码生成协作构建鲁棒检索查询，提升历史文档分析准确性与可验证性。

Comments Accepted at ICDAR2026

CircuitWeave: Topology-Behavior Alignment for Executable Multimodal RTL Generation

CircuitWeave：用于可执行多模态RTL生成的拓扑-行为对齐

Jiahao Feng, Haiyan Qin, Zhiwei Xie, Wang Kang

专题命中 代码生成 ：code generation(abstract)

AI总结 研究如何从自然语言规范生成RTL，提出CircuitWeave合同介导多模态框架，从原理图和文本提取合同并融合，通过联合目标监督相关过程，在生成可执行RTL上取得较好效果，部分指标高于无原理图的情况。

Beyond Post-Quantization: Native Hash Learning with a Dedicated HASH Token

超越后量化：使用专用哈希令牌的原生哈希学习

Xinze Liu, Ding Wang, Dayan Wu, Hengjie Zhu, Peng Fu, Zheng Lin, Weiping Wang

机构 * Institute of Information Engineering, CAS（中国科学院信息工程研究所） ； School of Cyber Security, University of Chinese Academy of Sciences（中国科学院大学网络空间安全学院） ； Department of Applied Mathematics and Statistics, Johns Hopkins University（约翰霍普金斯大学应用数学与统计系） 纠错

专题命中 代码生成 ：code generation(abstract)

AI总结 研究高效图像检索的紧凑表示问题，提出HashViT框架，通过专用哈希令牌及相关设计在Transformer内生成二进制表示，经统一目标优化，实验表明其性能优且保留汉明码效率。

Pattern-Guided Design Space Exploration for FPGA Accelerator Design

用于FPGA加速器设计的模式引导设计空间探索

Jialiang Zhang, Weiman Yan, Yuelin Zou

专题命中 代码生成 ：code generation(abstract)

AI总结 研究针对FPGA加速器设计中因调度决策产生的组合设计空间问题，提出PATTERNDSE框架，将重复计算模式映射到调度空间，经多步骤评估候选调度，在六个内核上验证其能大幅减少候选者数量且保持最佳延迟，提升设计效率。

Comments 6 pages, 4 figures, IEEE ICECCME conference

From Interpretation to Compilation: Compilation-Based Execution of Semantic Operators [Vision]

从解释到编译：基于编译的语义算子执行 [视觉]

Wenkai Dong, Yifan Wang

专题命中 代码生成 ：program synthesis(abstract)

AI总结 研究语义算子系统执行效率问题，提出基于编译的执行方法，在编译时调用LLM将算子规范转为可执行代码，本地运行减少调用次数，应用于多种算子并集成到系统，初步结果显示减少了执行时间和调用次数，还拓展了LLM在该领域的角色认知。

PVDetector: Detecting Prompt Injection Attacks on Purpose-Specific LLM Agents through Policy-Violation Concept Analysis

PVDetector：通过策略违规概念分析检测针对特定目的大语言模型代理的提示注入攻击

Junhui Wang, Hangtao Zhang, Zhirun Zheng, Li Zeng, Jiejun Xiao, Xi Luo, Lihua Yin, Saiqin Long

专题命中 代码生成 ：code generation(abstract)

AI总结 研究针对特定目的LLM代理的提示注入攻击，提出PVDetector框架，通过测量与离线派生的PV概念的隐藏状态对齐来检测攻击，实验表明该方法误报率低、开销小，性能优于现有方法。

Comments Accepted to ACM MM 2026. Code: https://github.com/Claresigle/PVDetector

Machine Learning Based Mesh Movement for Non-Hydrostatic Tsunami Simulation

基于机器学习的网格移动用于非静力学 tsunami 模拟

Yezhang Li, Stephan C. Kramer, Matthew D. Piggott

专题命中 代码生成 ：code generation(abstract)

AI总结 本文提出基于机器学习的网格移动方法，用于提高非静力学 tsunami 模拟的效率和准确性。

Comments Submitted to Ocean Modelling (Revised version in response to reviewers' comments; removed line numbers)

Programming-by-Example for Batch-Editing Collision Meshes in 3D Software

3D软件中用于批量编辑碰撞网格的示例编程

Gengyang Xu, Dongwei Xiao, Hengcheng Zhu, Yiteng Peng, Wei Meng, Shuai Wang, Shing-Chi Cheung

机构 * The Hong Kong University of Science and Technology（香港科学与技术大学） ； The Chinese University of Hong Kong（香港中文大学） 纠错

专题命中 代码生成 ：program synthesis(abstract)

AI总结 针对3D软件中碰撞网格编辑难题，提出神经符号程序合成方法，将任务转化为例程编程问题，通过MeshForge工具实现，在6 hundred个碰撞网格的24个任务中评估，成功合成多数任务，平均所需演示次数和合成时间较少。