代码大模型 / AI 编程

Autovesk: Automatic vectorized code generation from unstructured static kernels using graph transformations

Hayfa Tayeb, Ludovic Paillat, Berenger Bramas

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

Comments Preprint

ImageEye: Batch Image Processing Using Program Synthesis

Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig

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

Experiences in Building a Composable and Functional API for Runtime SPIR-V Code Generation

Juan Fumero, György Rethy, Athanasios Stratikopoulos, Nikos Foutris, Christos Kotselidis

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

Comments 16 pages, 9 figures, 11 Listings

From Words to Code: Harnessing Data for Program Synthesis from Natural Language

Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari

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

Comments 14 pages

On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot

Antonio Mastropaolo, Luca Pascarella, Emanuela Guglielmi, Matteo Ciniselli, Simone Scalabrino, Rocco Oliveto, Gabriele Bavota

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

Learning Program Synthesis for Integer Sequences from Scratch

Thibault Gauthier, Josef Urban

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

Program Synthesis Using Example Propagation

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

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

Comments 17 pages, 4 figures, 2 tables

Model-Based Engineering of CPPS Functions and Code Generation for Skills

Aljosha Köcher, Alexander Hayward, Alexander Fay

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

Auto-Icon+: An Automated End-to-End Code Generation Tool for Icon Designs in UI Development

Sidong Feng, Minmin Jiang, Tingting Zhou, Yankun Zhen, Chunyang Chen

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

Comments Accepted to ACM Transactions on Interactive Intelligent Systems (TIIS)

Solving the Families In the Wild Kinship Verification Challenge by Program Synthesis

Junyi Huang, Maxwell Benjamin Strome, Ian Jenkins, Parker Williams, Bo Feng, Yaning Wang, Roman Wang, Vaibhav Bagri, Newman Cheng, Iddo Drori

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

Comments 5 pages, 2 figures

Journal ref IEEE International Conference on Automatic Face and Gesture Recognition, 2021

Deep Distilling: automated code generation using explainable deep learning

Paul J. Blazek, Kesavan Venkatesh, Milo M. Lin

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

DPGen: Automated Program Synthesis for Differential Privacy

Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang

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

Comments CCS'21

A Note on Exhaustive State Space Search for Efficient Code Generation

Aart J. C. Bik

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

Comments white paper

ProphetNet-X: Large-Scale Pre-training Models for English, Chinese, Multi-lingual, Dialog, and Code Generation

Weizhen Qi, Yeyun Gong, Yu Yan, Can Xu, Bolun Yao, Bartuer Zhou, Biao Cheng, Daxin Jiang, Jiusheng Chen, Ruofei Zhang, Houqiang Li, Nan Duan

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

Comments Accepted by ACL 2021 demo papers

Reading StackOverflow Encourages Cheating: Adding Question Text Improves Extractive Code Generation

Gabriel Orlanski, Alex Gittens

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

Comments To be published in ACL-IJCNLP NLP4Prog workshop. (The First Workshop on Natural Language Processing for Programming)

iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation

Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa

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

Compact Native Code Generation for Dynamic Languages on Micro-core Architectures

Maurice Jamieson, Nick Brown

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

Comments Preprint of paper accepted to ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)

Analysis of Evolutionary Program Synthesis for Card Games

Rohan Saha, Cassidy Pirlot

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

HipaccVX: Wedding of OpenVX and DSL-based Code Generation

M. Akif Özkan, Burak Ok, Bo Qiao, Jürgen Teich, Frank Hannig

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

Journal ref Journal of Real-Time Image Processing, 2020

CodeGRU: Context-aware Deep Learning with Gated Recurrent Unit for Source Code Modeling

Yasir Hussain, Zhiqiu Huang, Yu Zhou, Senzhang Wang

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

Journal ref Information and Software Technology. Volume 125, September 2020, 106309

Data Migration using Datalog Program Synthesis

Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig

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

Resource-Guided Program Synthesis

Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann

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

Custom Code Generation for a Graph DSL

Bikash Gogoi, Unnikrishnan Cheramangalath, Rupesh Nasre

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

Comments submitted to Conference

Neural Guided Constraint Logic Programming for Program Synthesis

Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard Zemel

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

Comments To appear in NIPS 2018

Code Generation for Higher Inductive Types

Paventhan Vivekanandan

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

Comments 16 pages, Accepted for presentation in WFLP 2018

Hygienic Source-Code Generation Using Functors

Karl Crary

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

Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development

Maher Fakih, Sebastian Warsitz

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

Comments 10 pages, 9 figures, Presented at HIP3ES, 2017

Latent Predictor Networks for Code Generation

Wang Ling, Edward Grefenstette, Karl Moritz Hermann, Tomáš Kočiský, Andrew Senior, Fumin Wang, Phil Blunsom

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

Program Synthesis using Natural Language

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

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

Automated Code Generation for Lattice Quantum Chromodynamics and beyond

Denis Barthou, Olivier Brand-Foissac, Romain Dolbeau, Gilbert Grosdidier, Christina Eisenbeis, Michael Kruse, Olivier Pene, Konstantin Petrov, Claude Tadonki

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