代码大模型 / AI 编程

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

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