代码大模型 / AI 编程

Knowledge-Driven Program Synthesis via Adaptive Replacement Mutation and Auto-constructed Subprogram Archives

Yifan He, Claus Aranha, Tetsuya Sakurai

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

Comments 8 pages, 10 figures, accepted by 2022 IEEE Symposium Series on Computational Intelligence

Polyhedral Specification and Code Generation of Sparse Tensor Contraction with Co-Iteration

Tuowen Zhao, Tobi Popoola, Mary Hall, Catherine Olschanowsky, Michelle Mills Strout

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

SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis

Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim, Eun-Sun Cho, Seokwoo Choi

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

Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

Alicia Villanueva

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

WhyGen: Explaining ML-powered Code Generation by Referring to Training Examples

Weixiang Yan, Yuanchun Li

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

Comments 5 pages,accept by ICSE 2022 Demo track

Efficient Pragmatic Program Synthesis with Informative Specifications

Saujas Vaduguru, Kevin Ellis, Yewen Pu

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

Comments 9 pages, Meaning in Context Workshop 2021

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

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

Comments Fixed some incorrectly rendered citations

Code Generation for Unknown Libraries via Reading API Documentations

Koki Washio, Yusuke Miyao

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

CodeGen-Test: An Automatic Code Generation Model Integrating Program Test Information

Maosheng Zhong, Gen Liu, Hongwei Li, Jiangling Kuang, Jinshan Zeng, Mingwen Wang

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

Comments 10 paper pages, 7 figures; 2 appendix pages, 5 appendix figures

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

Ali Shokri

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

Comments This paper has been accepted in the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) and is going to be published. Please feel free to cite it

Journal ref 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Threaded Code Generation with a Meta-Tracing JIT Compiler

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong

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

Comments to appear in the Journal of Object Technology Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21)

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

Yichen David Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

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

Journal ref NeurIPS 2021

In-IDE Code Generation from Natural Language: Promise and Challenges

Frank F. Xu, Bogdan Vasilescu, Graham Neubig

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

Comments 47 pages, accepted to ACM Transactions on Software Engineering and Methodology

Fine-grained Pseudo-code Generation Method via Code Feature Extraction and Transformer

Guang Yang, Yanlin Zhou, Xiang Chen, Chi Yu

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

Comments Accepted in APSEC2021

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

Emanuele De Angelis, Wim Vanhoof

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

Comments Papers selected for presentation at LOPSTR 2021, Invited talks and Tutorial

Iterative Program Synthesis for Adaptable Social Navigation

Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas

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

Comments IROS 2021

Recent Developments in Program Synthesis with Evolutionary Algorithms

Dominik Sobania, Dirk Schweim, Franz Rothlauf

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

Unsupervised Program Synthesis for Images By Sampling Without Replacement

Chenghui Zhou, Chun-Liang Li, Barnabas Poczos

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

Comments Accepted to UAI 2021

Journal ref UAI 2021

Sample-efficient Linguistic Generalizations through Program Synthesis: Experiments with Phonology Problems

Saujas Vaduguru, Aalok Sathe, Monojit Choudhury, Dipti Misra Sharma

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

Comments SIGMORPHON 2021

PSB2: The Second Program Synthesis Benchmark Suite

Thomas Helmuth, Peter Kelly

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

Comments To be published in GECCO 2021

Exploring Dynamic Selection of Branch Expansion Orders for Code Generation

Hui Jiang, Chulun Zhou, Fandong Meng, Biao Zhang, Jie Zhou, Degen Huang, Qingqiang Wu, Jinsong Su

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

Comments Accepted by ACL 2021 main conference

Improving Tree-Structured Decoder Training for Code Generation via Mutual Learning

Binbin Xie, Jinsong Su, Yubin Ge, Xiang Li, Jianwei Cui, Junfeng Yao, Bin Wang

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

Efficient and Accurate In-Database Machine Learning with SQL Code Generation in Python

Michael Kaufmann, Gabriel Stechschulte, Anna Huber

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

Program Synthesis as Dependency Quantified Formula Modulo Theory

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

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

Comments 12 page excluding reference. To be published in 30th International Joint Conference on Artificial Intelligence (IJCAI-21)

Web Question Answering with Neurosymbolic Program Synthesis

Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig

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

Comments 20 pages

Inductive Program Synthesis Over Noisy Data

Shivam Handa, Martin Rinard

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

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis

Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman

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

Comments Accepted at ICSE 2021

Session-layer Attack Traffic Classification by Program Synthesis

Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo

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

Comments 13 pages

Creating Synthetic Datasets via Evolution for Neural Program Synthesis

Alexander Suh, Yuval Timen

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

Comments 10 pages, 0 figures, submitted to ICML 2020; experiments on Karel domain added

Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study

Simón C. Smith, Subramanian Ramamoorthy

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

Comments In Proceedings AREA 2020, arXiv:2007.11260

Journal ref EPTCS 319, 2020, pp. 81-101