代码大模型 / AI 编程

Proving Functional Program Equivalence via Directed Lemma Synthesis

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong

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

Comments 21 pages

ACRoBat: Optimizing Auto-batching of Dynamic Deep Learning at Compile Time

Pratik Fegade, Tianqi Chen, Phillip B. Gibbons, Todd C. Mowry

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

Faces that Speak: Jointly Synthesising Talking Face and Speech from Text

Youngjoon Jang, Ji-Hoon Kim, Junseok Ahn, Doyeop Kwak, Hong-Sun Yang, Yoon-Cheol Ju, Il-Hwan Kim, Byeong-Yeol Kim, Joon Son Chung

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

Comments CVPR 2024

PhilHumans: Benchmarking Machine Learning for Personal Health

Vadim Liventsev, Vivek Kumar, Allmin Pradhap Singh Susaiyah, Zixiu Wu, Ivan Rodin, Asfand Yaar, Simone Balloccu, Marharyta Beraziuk, Sebastiano Battiato, Giovanni Maria Farinella, Aki Härmä, Rim Helaoui, Milan Petkovic, Diego Reforgiato Recupero, Ehud Reiter, Daniele Riboni, Raymond Sterling

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

Python-Based Reinforcement Learning on Simulink Models

Georg Schäfer, Max Schirl, Jakob Rehrl, Stefan Huber, Simon Hirlaender

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

Comments Accepted at SMPS2024

LLMs and the Future of Chip Design: Unveiling Security Risks and Building Trust

Zeng Wang, Lilas Alrahis, Likhitha Mankali, Johann Knechtel, Ozgur Sinanoglu

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

Finding structure in logographic writing with library learning

Guangyuan Jiang, Matthias Hofer, Jiayuan Mao, Lionel Wong, Joshua B. Tenenbaum, Roger P. Levy

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

Comments Accepted at CogSci 2024 (Talk)

ComPile: A Large IR Dataset from Production Sources

Aiden Grossman, Ludger Paehler, Konstantinos Parasyris, Tal Ben-Nun, Jacob Hegna, William Moses, Jose M Monsalve Diaz, Mircea Trofin, Johannes Doerfert

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

PECC: Problem Extraction and Coding Challenges

Patrick Haller, Jonas Golde, Alan Akbik

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

Comments This paper got accepted at LREC-COLING 2024 (long)

UIClip: A Data-driven Model for Assessing User Interface Design

Jason Wu, Yi-Hao Peng, Amanda Li, Amanda Swearngin, Jeffrey P. Bigham, Jeffrey Nichols

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

The Power of Words: Generating PowerShell Attacks from Natural Language

Pietro Liguori, Christian Marescalco, Roberto Natella, Vittorio Orbinato, Luciano Pianese

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

Comments 18th USENIX WOOT Conference on Offensive Technologies, GitHub Repo: https://github.com/dessertlab/powershell-offensive-code-generation

Zero-Shot Code Representation Learning via Prompt Tuning

Nan Cui, Xiaodong Gu, Beijun Shen

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

Comments arXiv admin note: substantial text overlap with arXiv:2204.08360

Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation

Daniel Biebert, Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen

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

Compilation of Modular and General Sparse Workspaces

Genghan Zhang, Olivia Hsu, Fredrik Kjolstad

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

Comments 30 pages, 27 figures, to be published in Proc. ACM Program. Lang., Vol. 8, No. PLDI, Article 196. Publication date: June 2024

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian

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

Comments Accepted by DAC 2024, please note that this is not the final camera-ready version

An Investigation into Misuse of Java Security APIs by Large Language Models

Zahra Mousavi, Chadni Islam, Kristen Moore, Alsharif Abuadbba, Muhammad Ali Babar

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

Comments This paper has been accepted by ACM ASIACCS 2024

Adaptive Recursive Query Optimization

Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky

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

A Picture Is Worth a Thousand Words: Exploring Diagram and Video-Based OOP Exercises to Counter LLM Over-Reliance

Bruno Pereira Cipriano, Pedro Alves, Paul Denny

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

Comments This is the author's draft of this paper

UniSparse: An Intermediate Language for General Sparse Format Customization

Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, Zhiru Zhang

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

Comments to be published in OOPSLA'24

Journal ref Proc. ACM Program. Lang. 8, OOPSLA1, Article 99 (April 2024), 29 pages

Large Language Models as Analogical Reasoners

Michihiro Yasunaga, Xinyun Chen, Yujia Li, Panupong Pasupat, Jure Leskovec, Percy Liang, Ed H. Chi, Denny Zhou

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

Comments Published at ICLR 2024

UI Semantic Group Detection: Grouping UI Elements with Similar Semantics in Mobile Graphical User Interface

Shuhong Xiao, Yunnong Chen, Yaxuan Song, Liuqing Chen, Lingyun Sun, Yankun Zhen, Yanfang Chang

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

Comments Accepted at Displays

Generative Explanations for Program Synthesizers

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman

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

Semi-Instruct: Bridging Natural-Instruct and Self-Instruct for Code Large Language Models

Xianzhen Luo, Qingfu Zhu, Zhiming Zhang, Xu Wang, Qing Yang, Dongliang Xu, Wanxiang Che

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

Designing Silicon Brains using LLM: Leveraging ChatGPT for Automated Description of a Spiking Neuron Array

Michael Tomlinson, Joe Li, Andreas Andreou

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

Tool-Augmented LLMs as a Universal Interface for IDEs

Yaroslav Zharov, Yury Khudyakov, Evgeniia Fedotova, Evgeny Grigorenko, Egor Bogomolov

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

Comments First IDE Workshop, ICSE'24

Exploring Hybrid Question Answering via Program-based Prompting

Qi Shi, Han Cui, Haofeng Wang, Qingfu Zhu, Wanxiang Che, Ting Liu

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

DevGPT: Studying Developer-ChatGPT Conversations

Tao Xiao, Christoph Treude, Hideaki Hata, Kenichi Matsumoto

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

Comments MSR 2024 Mining Challenge Proposal

LLMs for Coding and Robotics Education

Peng Shu, Huaqin Zhao, Hanqi Jiang, Yiwei Li, Shaochen Xu, Yi Pan, Zihao Wu, Zhengliang Liu, Guoyu Lu, Le Guan, Gong Chen, Xianqiao Wang Tianming Liu

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

Comments 20 pages, 6 figures, 1 table

DALex: Lexicase-like Selection via Diverse Aggregation

Andrew Ni, Li Ding, Lee Spector

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

Comments 15 pages, 4 figures. Accepted at EuroGP'24

Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning Attacks

Domenico Cotroneo, Cristina Improta, Pietro Liguori, Roberto Natella

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

Comments Accepted for publication at the International Conference on Program Comprehension 2024