代码大模型 / AI 编程

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification

Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg

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

Effective Code Membership Inference for Code Completion Models via Adversarial Prompts

Yuan Jiang, Zehao Li, Shan Huang, Christoph Treude, Xiaohong Su, Tiantian Wang

机构 * Harbin Institute of Technology（哈尔滨理工大学） ； Singapore Management University（新加坡国立大学） 纠错

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

CoroAMU: Unleashing Memory-Driven Coroutines through Latency-Aware Decoupled Operations

Zhuolun Jiang, Songyue Wang, Xiaokun Pei, Tianyue Lu, Mingyu Chen

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

Journal ref Proceedings of the 2025 International Conference on Parallel Architecture and Compilation (PACT). USA: IEEE Computer Society, 2025, p. 431-444

Castle: Causal Cascade Updates in Relational Databases with Large Language Models

Yongye Su, Yucheng Zhang, Zeru Shi, Bruno Ribeiro, Elisa Bertino

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