代码大模型 / AI 编程

From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams

Iddo Drori, Sarah J. Zhang, Reece Shuttleworth, Sarah Zhang, Keith Tyser, Zad Chin, Pedro Lantigua, Saisamrit Surbehera, Gregory Hunter, Derek Austin, Leonard Tang, Yann Hicke, Sage Simhon, Sathwik Karnik, Darnell Granberry, Madeleine Udell

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

Comments 9 pages

Is AI the better programming partner? Human-Human Pair Programming vs. Human-AI pAIr Programming

Qianou Ma, Tongshuang Wu, Kenneth Koedinger

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

Comments 8 pages (without references), 2 tables

Computing Education in the Era of Generative AI

Paul Denny, James Prather, Brett A. Becker, James Finnie-Ansley, Arto Hellas, Juho Leinonen, Andrew Luxton-Reilly, Brent N. Reeves, Eddie Antonio Santos, Sami Sarsa

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

Comments Accepted for publication as a Contributed Article in Communications of the ACM (CACM)

From Perception to Programs: Regularize, Overparameterize, and Amortize

Hao Tang, Kevin Ellis

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

Comments ICML 2023

Autonomous GIS: the next-generation AI-powered GIS

Zhenlong Li, Huan Ning

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

Communicating Natural Programs to Humans and Machines

Samuel Acquaviva, Yewen Pu, Marta Kryven, Theodoros Sechopoulos, Catherine Wong, Gabrielle E Ecanow, Maxwell Nye, Michael Henry Tessler, Joshua B. Tenenbaum

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

Comments equal contributions: (author 1,2) and (author 3,4,5). 36th Conference on Neural Information Processing Systems (NeurIPS 2022) Track on Datasets and Benchmarks

Probabilistic Lexicase Selection

Li Ding, Edward Pantridge, Lee Spector

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

Comments GECCO 2023

Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice

Sira Vegas, Sebastian Elbaum

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

Generate Compilers from Hardware Models!

Gus Henry Smith, Ben Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

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

Comments 3 pages, 2 figures, to be presented at the 2023 PLARCH Workshop at FCRC

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

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

Comments ECOOP 2023

Practices and Challenges of Using GitHub Copilot: An Empirical Study

Beiqi Zhang, Peng Liang, Xiyu Zhou, Aakash Ahmad, Muhammad Waseem

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

Comments The 35th International Conference on Software Engineering and Knowledge Engineering (SEKE)

Semantic Compression With Large Language Models

Henry Gilbert, Michael Sandborn, Douglas C. Schmidt, Jesse Spencer-Smith, Jules White

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

CodeAttack: Code-Based Adversarial Attacks for Pre-trained Programming Language Models

Akshita Jha, Chandan K. Reddy

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

Comments AAAI Conference on Artificial Intelligence (AAAI) 2023

Evaluating AIGC Detectors on Code Content

Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li

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

HOTGP -- Higher-Order Typed Genetic Programming

Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini

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

Learning Fitness Functions for Machine Programming

Shantanu Mandal, Todd A. Anderson, Javier S. Turek, Justin Gottschlich, Shengtian Zhou, Abdullah Muzahid

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

Journal ref Proceedings of Machine Learning and Systems (MLSys), 3 (2021), 139-155

Can Large Language Models assist in Hazard Analysis?

Simon Diemert, Jens H Weber

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

PanGu-Σ: Towards Trillion Parameter Language Model with Sparse Heterogeneous Computing

Xiaozhe Ren, Pingyi Zhou, Xinfan Meng, Xinjing Huang, Yadao Wang, Weichao Wang, Pengfei Li, Xiaoda Zhang, Alexander Podolskiy, Grigory Arshinov, Andrey Bout, Irina Piontkovskaya, Jiansheng Wei, Xin Jiang, Teng Su, Qun Liu, Jun Yao

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

PACIFIC: Towards Proactive Conversational Question Answering over Tabular and Textual Data in Finance

Yang Deng, Wenqiang Lei, Wenxuan Zhang, Wai Lam, Tat-Seng Chua

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

Comments Accepted by EMNLP 2022 (main conference)

Generating 3D Bio-Printable Patches Using Wound Segmentation and Reconstruction to Treat Diabetic Foot Ulcers

Han Joo Chae, Seunghwan Lee, Hyewon Son, Seungyeob Han, Taebin Lim

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

Comments Accepted to CVPR 2022

Multicloud API binding generation from documentation

Michał J. Gajda, Vitor Vitali Barrozzi, Gabriel Araujo

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

Comments Presented on XP 2020: Agility in Microservices workshop

Probabilistic Surrogate Networks for Simulators with Unbounded Randomness

Andreas Munk, Berend Zwartsenberg, Adam Ścibior, Atılım Güneş Baydin, Andrew Stewart, Goran Fernlund, Anoush Poursartip, Frank Wood

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

MTGP: Combining Metamorphic Testing and Genetic Programming

Dominik Sobania, Martin Briesch, Philipp Röchner, Franz Rothlauf

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

Python FPGA Programming with Data-Centric Multi-Level Design

Johannes de Fine Licht, Tiziano De Matteis, Tal Ben-Nun, Andreas Kuster, Oliver Rausch, Manuel Burger, Carl-Johannes Johnsen, Torsten Hoefler

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

Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

Yudong Xu, Elias B. Khalil, Scott Sanner

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

Comments 9 pages, 5 figures, to be published in AAAI-23

Highest-performance Stream Processing

Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos

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

Comments Peer-reviewed, accepted for presentation and presented at the ACM SIGPLAN OCAML 2022 workshop

Generating Sequences by Learning to Self-Correct

Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi

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

Code4ML: a Large-scale Dataset of annotated Machine Learning Code

Anastasia Drozdova, Polina Guseva, Ekaterina Trofimova, Anna Scherbakova, Andrey Ustyuzhanin

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

Comments Under review

Formal Semantics for the Halide Language

Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley

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

Comments 27 pages, 12 figures

Intelligent-Unrolling: Exploiting Regular Patterns in Irregular Applications

Changxi Liu, Hailong Yang, Xu Liu, Zhongzhi Luan, Depei Qian

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