代码大模型 / AI 编程

Guiding Enumerative Program Synthesis with Large Language Models

Yixuan Li, Julian Parsert, Elizabeth Polgreen

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

Comments Accepted at CAV 2024

AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation

Dong Huang, Jie M. Zhang, Michael Luck, Qingwen Bu, Yuhao Qing, Heming Cui

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

Comments 24 pages, 12 figures

Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice

Ranim Khojah, Mazen Mohamad, Philipp Leitner, Francisco Gomes de Oliveira Neto

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

Comments Accepted at the ACM International Conference on the Foundations of Software Engineering (FSE) 2024

Sketch Then Generate: Providing Incremental User Feedback and Guiding LLM Code Generation through Language-Oriented Code Sketches

Chen Zhu-Tian, Zeyu Xiong, Xiaoshuo Yao, Elena Glassman

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

Comments 4 pages

Prototype2Code: End-to-end Front-end Code Generation from UI Design Prototypes

Shuhong Xiao, Yunnong Chen, Jiazhi Li, Liuqing Chen, Lingyun Sun, Tingting Zhou

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

Comments 11 pages, 6 figures

Codexity: Secure AI-assisted Code Generation

Sung Yong Kim, Zhiyu Fan, Yannic Noller, Abhik Roychoudhury

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

Deep Learning Based Code Generation Methods: Literature Review

Zezhou Yang, Sirong Chen, Cuiyun Gao, Zhenhao Li, Ge Li, Michael Lyu

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

Comments in Chinese language

Journal ref Ruan Jian Xue Bao/Journal of Software (in Chinese), 2024 . http://www.jos.org.cn/1000-9825/6981.htm

CreativEval: Evaluating Creativity of LLM-Based Hardware Code Generation

Matthew DeLorenzo, Vasudev Gohil, Jeyavijayan Rajendran

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

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT

Zhijie Liu, Yutian Tang, Xiapu Luo, Yuming Zhou, Liang Feng Zhang

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

Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective

Yijie Chen, Yijin Liu, Fandong Meng, Yufeng Chen, Jinan Xu, Jie Zhou

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

Comments The code is publicly available at https://github.com/pppa2019/Mango

Evaluating In-Context Learning of Libraries for Code Generation

Arkil Patel, Siva Reddy, Dzmitry Bahdanau, Pradeep Dasigi

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

Comments NAACL 2024

Enhancing Code Generation Performance of Smaller Models by Distilling the Reasoning Ability of LLMs

Zhihong Sun, Chen Lyu, Bolun Li, Yao Wan, Hongyu Zhang, Ge Li, Zhi Jin

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

Comments Accepted for LREC-COLING 2024

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