代码大模型 / AI 编程

Embedding Code Contexts for Cryptographic API Suggestion:New Methodologies and Comparisons

Ya Xiao, Salman Ahmed, Wenjia Song, Xinyang Ge, Bimal Viswanath, Danfeng Yao

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

Comments 12 pages, 10 figures

IOT: Instance-wise Layer Reordering for Transformer Structures

Jinhua Zhu, Lijun Wu, Yingce Xia, Shufang Xie, Tao Qin, Wengang Zhou, Houqiang Li, Tie-Yan Liu

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

Comments Accepted at ICLR-2021

Learning Differentially Private Mechanisms

Subhajit Roy, Justin Hsu, Aws Albarghouthi

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

Taming the Expressiveness and Programmability of Graph Analytical Queries

Lu Qin, Longbin Lai, Kongzhang Hao, Zhongxin Zhou, Yiwei Zhao, Yuxing Han, Xuemin Lin, Zhengping Qian, Jingren Zhou

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

Comments 22 pages

Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?

Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li

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

Comments 13 pages, accepted to ESEC/FSE '20

Code Building Genetic Programming

Edward Pantridge, Lee Spector

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

Comments Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Genetic Programming Track

Quantitatively Assessing the Benefits of Model-driven Development in Agent-based Modeling and Simulation

Fernando Santos, Ingrid Nunes, Ana L. C. Bazzan

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

Journal ref Simulation Modelling Practice and Theory, v. 104, 1-19 (2020)

PLANS: Robust Program Learning from Neurally Inferred Specifications

Raphaël Dang-Nhu

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

Comments 16 pages, 6 figures, 5 tables

Learning large logic programs by going beyond entailment

Andrew Cropper, Sebastijan Dumančić

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

Comments IJCAI2020 paper

Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings

Austin P. Wright, Herbert Wiklicky

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

Comments 54 Pages, Imperial College London Masters Thesis

GANCoder: An Automatic Natural Language-to-Programming Language Translation Approach based on GAN

Yabing Zhu, Yanfeng Zhang, Huili Yang, Fangjing Wang

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

Comments 10pages, 4 figures

Journal ref NLPCC 2019: Natural Language Processing and Chinese Computing

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Saswat Padhi, Rahul Sharma, Todd Millstein

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

Comments Tool Description ( for technical details, see our PLDI paper at https://doi.org/10.1145/2908080.2908099 ), SyGuS-COMP'19 Competition Contribution, 4 pages

Insertion-based Decoding with automatically Inferred Generation Order

Jiatao Gu, Qi Liu, Kyunghyun Cho

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

Comments Camera ready. Accepted by TACL

SIF: A Framework for Solidity Code Instrumentation and Analysis

Chao Peng, Sefa Akca, Ajitha Rajan

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

Pinpointing Performance Inefficiencies in Java

Pengfei Su, Qingsen Wang, Milind Chabbi, Xu Liu

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

Comments This is a full-version of our ESEC/FSE'2019 paper

Learning to Infer Program Sketches

Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, Armando Solar-Lezama

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

Comments Accepted to ICML 2019

Unsupervised Neural Generative Semantic Hashing

Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma

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

Comments SIGIR 2019

Programming with Applicative-like expressions

Jan Malakhovski, Sergei Soloviev

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

Comments 18 pages

"Why did you do that?": Explaining black box models with Inductive Synthesis

Görkem Paçacı, David Johnson, Steve McKeever, Andreas Hamfelt

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

Comments 12 pages, 1 figure, accepted for publication at the Solving Problems with Uncertainties workshop as part of ICCS 2019, Faro, Portugal, June 12-14

Toward Imitating Visual Attention of Experts in Software Development Tasks

Yoshiharu Ikutani, Nishanth Koganti, Hideaki Hata, Takatomi Kubo, Kenichi Matsumoto

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

Comments 4 pages, EMIP 2019

Algorithms for Runtime Generation of Homogeneous Classes of Objects

Dmytro O. Terletskyi

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

Comments International Conference on Cyber Security and Computer Science (ICONCS'18), October 18-20, 2018, Safranbolu, Turkey

Inference Over Programs That Make Predictions

Yura Perov

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

Comments The International Conference on Probabilistic Programming, 2018

StructVAE: Tree-structured Latent Variable Models for Semi-supervised Semantic Parsing

Pengcheng Yin, Chunting Zhou, Junxian He, Graham Neubig

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

Comments ACL 2018

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

Hubert Garavel, Lina Marsso

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

Comments In Proceedings MARS/VPT 2018, arXiv:1803.08668

Journal ref EPTCS 268, 2018, pp. 41-87

Differentiable Functional Program Interpreters

John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow

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

Summary - TerpreT: A Probabilistic Programming Language for Program Induction

Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow

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

Comments 7 pages, 2 figures, 4 tables in 1st Workshop on Neural Abstract Machines & Program Induction (NAMPI), @NIPS 2016

TerpreT: A Probabilistic Programming Language for Program Induction

Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow

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

Comments 50 pages, 20 figures, 4 tables

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures

Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro

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

A visual programming language for drawing and executing flowcharts

Drazen Lucanin, Ivan Fabek

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

Comments 6 pages, conference paper

Journal ref Proceedings of the 34th International Convention MIPRO, 23-27 May 2011, p. 1679-1684

JaCoText: A Pretrained Model for Java Code-Text Generation

Jessica López Espejel, Mahaman Sanoussi Yahaya Alassan, Walid Dahhane, El Hassane Ettifouri

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

Comments International Conference on Code Generation and Implementation Volume: 17

Journal ref Espejel, J. L., Alassan, M. S. Y., Dahhane, W., & Ettifouri, E. H. (2023). JaCoText: A Pretrained Model for Java Code-Text Generation. International Journal of Computer and Systems Engineering, 17(2), 100-105