代码大模型 / AI 编程

Towards an Efficient Prolog System by Code Introspection

George Souza Oliveira, Anderson Faustino da Silva

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

Comments 10 pages

Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

Jochen Burghardt

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

Comments 13 pages; 11 figures

Journal ref T. Lindner and C. Lewerentz (eds.), Formal development of reactive systems - Case study production cell, Springer LNCS, Vol.891, p.297-311, 1995

Survey on Instruction Selection: An Extensive and Modern Literature Review

Gabriel S. Hjort Blindell

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

Comments Major changes: - Merged simulation chapter with macro expansion chapter - Addressed misunderstandings of several approaches - Completely rewrote many parts of the chapters; strengthened the discussion of many approaches - Revised the drawing of all trees and graphs to put the root at the top instead of at the bottom - Added appendix for listing the approaches in a table See doc for more info

Model-driven engineering approach to design and implementation of robot control system

Piotr Trojanek

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

Comments Presented at DSLRob 2011 (arXiv:cs/1212.3308)

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