代码大模型 / AI 编程

IPSynth: Interprocedural Program Synthesis for Software Security Implementation

Ali Shokri, Ibrahim Jameel Mujhid, Mehdi Mirakhorli

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

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems

Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan

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

LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation

Zeyuan Ma, Hongshu Guo, Jiacheng Chen, Guojun Peng, Zhiguang Cao, Yining Ma, Yue-Jiao Gong

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

Template-based Program Synthesis using Stellensätze

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J Motwani

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

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes

Shuling Wang, Zekun Ji, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan

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

Origami: (un)folding the abstraction of recursion schemes for program synthesis

Matheus Campos Fernandes, Fabricio Olivetti de Franca, Emilio Francesquini

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

RoboCodeX: Multimodal Code Generation for Robotic Behavior Synthesis

Yao Mu, Junting Chen, Qinglong Zhang, Shoufa Chen, Qiaojun Yu, Chongjian Ge, Runjian Chen, Zhixuan Liang, Mengkang Hu, Chaofan Tao, Peize Sun, Haibao Yu, Chao Yang, Wenqi Shao, Wenhai Wang, Jifeng Dai, Yu Qiao, Mingyu Ding, Ping Luo

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

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models

Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Qianxiang Wang, Tao Xie

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

Journal ref ICSE (2024)

Text-to-Code Generation with Modality-relative Pre-training

Fenia Christopoulou, Guchun Zhang, Gerasimos Lampouras

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

Comments Accepted at EACL 2024. 15 pages, 5 figures, 6 tables

Opening the AI black box: program synthesis via mechanistic interpretability

Eric J. Michaud, Isaac Liao, Vedang Lad, Ziming Liu, Anish Mudide, Chloe Loughridge, Zifan Carl Guo, Tara Rezaei Kheirkhah, Mateja Vukelić, Max Tegmark

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

Comments 24 pages

Knowledge-Aware Code Generation with Large Language Models

Tao Huang, Zhihong Sun, Zhi Jin, Ge Li, Chen Lyu

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

Comments Accepted in ICPC 2024

FPGA Technology Mapping Using Sketch-Guided Program Synthesis

Gus Henry Smith, Ben Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock

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

The Good, the Bad, and the Missing: Neural Code Generation for Machine Learning Tasks

Jiho Shin, Moshi Wei, Junjie Wang, Lin Shi, Song Wang

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

Comments 20 pages

Journal ref ACM Transactions on Software Engineering and Methodology 33-2 (2023) 1-24

TACO: Topics in Algorithmic COde generation dataset

Rongao Li, Jie Fu, Bo-Wen Zhang, Tao Huang, Zhihong Sun, Chen Lyu, Guang Liu, Zhi Jin, Ge Li

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

CoLadder: Supporting Programmers with Hierarchical Code Generation in Multi-Level Abstraction

Ryan Yen, Jiawen Zhu, Sangho Suh, Haijun Xia, Jian Zhao

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

Selecting Source Code Generation Tools Based on Bandit Algorithms

Ryoto Shima, Masateru Tsunoda, Yukasa Murakami, Akito Monden, Amjed Tahir, Kwabena Ebo Bennin, Koji Toda, Keitaro Nakasai

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

DeceptPrompt: Exploiting LLM-driven Code Generation via Adversarial Natural Language Instructions

Fangzhou Wu, Xiaogeng Liu, Chaowei Xiao

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

Code Swarm: A Code Generation Tool Based on the Automatic Derivation of Transformation Rule Set

Hina Mahmood, Atif Aftab Jilani, Abdul Rauf

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

Comments 11 pages, 4 figures

Journal ref International Journal of Software Engineering & Applications (IJSEA), Vol. 14, No. 6, November 2023

YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs

Cyrus Zhou, Zack Hassman, Ruize Xu, Dhirpal Shah, Vaugnn Richard, Yanjing Li

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

LLM-based Control Code Generation using Image Recognition

Heiko Koziolek, Anne Koziolek

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

Comments 8 pages, 8 figures

A Neurodiversity-Inspired Solver for the Abstraction \& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis

James Ainooson, Deepayan Sanyal, Joel P. Michelson, Yuan Yang, Maithilee Kunda

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

Bridging Code Semantic and LLMs: Semantic Chain-of-Thought Prompting for Code Generation

Yingwei Ma, Yue Yu, Shanshan Li, Yu Jiang, Yong Guo, Yuanliang Zhang, Yutao Xie, Xiangke Liao

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

Comments There may be calculation errors in Table 4 of the paper. We need time to verify and supplement, so the manuscript needs to be withdrawn. Thanks!

Evaluating the Code Quality of AI-Assisted Code Generation Tools: An Empirical Study on GitHub Copilot, Amazon CodeWhisperer, and ChatGPT

Burak Yetiştiren, Işık Özsoy, Miray Ayerdem, Eray Tüzün

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

ClarifyGPT: Empowering LLM-based Code Generation with Intention Clarification

Fangwen Mu, Lin Shi, Song Wang, Zhuohao Yu, Binquan Zhang, Chenxue Wang, Shichao Liu, Qing Wang

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

Toward Trustworthy Neural Program Synthesis

Darren Key, Wen-Ding Li, Kevin Ellis

专题命中 代码生成 ：program synthesis(title)；分类 cs.SE、cs.AI、cs.LG

Comments 9 pages, 8 figures

Program Synthesis with Best-First Bottom-Up Search

Saqib Ameen, Levi H. S. Lelis

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

Comments Published at the Journal of Artificial Intelligence Research (JAIR)

From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining

Xiaoxue Ren, Xinyuan Ye, Dehai Zhao, Zhenchang Xing, Xiaohu Yang

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

Comments Accepted by 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)

ToolCoder: Teach Code Generation Models to use API search tools

Kechi Zhang, Huangzhao Zhang, Ge Li, Jia Li, Zhuo Li, Zhi Jin

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

SkCoder: A Sketch-based Approach for Automatic Code Generation

Jia Li, Yongmin Li, Ge Li, Zhi Jin, Yiyang Hao, Xing Hu

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

Comments Accepted by the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)

COCO: Testing Code Generation Systems via Concretized Instructions

Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman

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