代码大模型 / AI 编程

Viash: from scripts to pipelines

Robrecht Cannoodt, Hendrik Cannoodt, Eric Van de Kerckhove, Andy Boschmans, Dries De Maeyer, Toni Verbeiren

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

Comments 6 pages, 3 figures

Synthesizing Queries via Interactive Sketching

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

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

HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

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

Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs

Shmuel Berman, Mark Santolucito

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

Improving Molecular Design by Stochastic Iterative Target Augmentation

Kevin Yang, Wengong Jin, Kyle Swanson, Regina Barzilay, Tommi Jaakkola

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

Comments ICML 2020

Journal ref PMLR 119:10716-10726, 2020

Version Space Algebras are Acyclic Tree Automata

James Koppel

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

Incremental Sampling Without Replacement for Sequence Models

Kensen Shi, David Bieber, Charles Sutton

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

Loop Transformations using Clang's Abstract Syntax Tree

Michael Kruse

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

Comments LLPP'21 ( The First Workshop on LLVM in Parallel Processing) preprint

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Construction from Human Design Sequences

Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik

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

Comments Accepted to SIGGRAPH 2021; data/code available at https://github.com/AutodeskAILab/Fusion360GalleryDataset

Automated Decision-based Adversarial Attacks

Qi-An Fu, Yinpeng Dong, Hang Su, Jun Zhu

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

Comments 16 pages, 6 figures

Execution of Partial State Machine Models

Mojtaba Bagherzadeh, Nafiseh Kahani, Karim Jahed, Juergen Dingel

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

Journal ref IEEE Transactions on Software Engineering (TSE). (2020) 1-28

FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings

M. Caner Tol, Berk Gulmezoglu, Koray Yurtseven, Berk Sunar

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

Comments IEEE European Symposium on Security and Privacy 2021

A Learned Performance Model for Tensor Processing Units

Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows

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

Comments A version will appear in the Proceedings of the 4th MLSys Conference, San Jose, CA, USA, 2021

Translating declarative control elements to imperative using 'l-value redefinition graphs'

Anthony Savidis

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

Comments 15 pages, 13 figures, includes code

HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description

Kingshuk Majumder, Uday Bondhugula

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

Comments 14 pages, 3 figures

SOAR: A Synthesis Approach for Data Science API Refactoring

Ansong Ni, Daniel Ramos, Aidan Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues

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

The Mathematical Foundations of Physical Systems Modeling Languages

Albert Benveniste, Benoît Caillaud, Mathias Malandain

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

FBGEMM: Enabling High-Performance Low-Precision Deep Learning Inference

Daya Khudia, Jianyu Huang, Protonu Basu, Summer Deng, Haixin Liu, Jongsoo Park, Mikhail Smelyanskiy

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

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

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

Comments 14 pages

Journal ref PLDI 2020

RT3D: Achieving Real-Time Execution of 3D Convolutional Neural Networks on Mobile Devices

Wei Niu, Mengshu Sun, Zhengang Li, Jou-An Chen, Jiexiong Guan, Xipeng Shen, Yanzhi Wang, Sijia Liu, Xue Lin, Bin Ren

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

Comments To appear in Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI-21)

Multi-task Learning based Pre-trained Language Model for Code Completion

Fang Liu, Ge Li, Yunfei Zhao, Zhi Jin

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

Comments Accepted by International Conference on Automated Software Engineering (ASE 2020)

Multi-Plane Program Induction with 3D Box Priors

Yikai Li, Jiayuan Mao, Xiuming Zhang, William T. Freeman, Joshua B. Tenenbaum, Noah Snavely, Jiajun Wu

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

Comments NeurIPS 2020. First two authors contributed equally. Project page: http://bpi.csail.mit.edu

Semantics-Guided Synthesis

Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas Reps

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

Comments Updated version for camera-ready

Goal-directed Generation of Discrete Structures with Conditional Generative Models

Amina Mollaysa, Brooks Paige, Alexandros Kalousis

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

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova

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

Comments Accepted at OOPSLA 2020

M3: Semantic API Migrations

Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael O'Boyle

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

Comments Accepted to ASE 2020

CloudifierNet -- Deep Vision Models for Artificial Image Processing

Andrei Damian, Laurentiu Piciu, Alexandru Purdila, Nicolae Tapus

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

Comments ITQM 2019

Multi-branch Attentive Transformer

Yang Fan, Shufang Xie, Yingce Xia, Lijun Wu, Tao Qin, Xiang-Yang Li, Tie-Yan Liu

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

Comments 17 pages

Synthesis in Uclid5

Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia

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

SketchGraphs: A Large-Scale Dataset for Modeling Relational Geometry in Computer-Aided Design

Ari Seff, Yaniv Ovadia, Wenda Zhou, Ryan P. Adams

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