代码大模型 / AI 编程

Evaluating Sequence-to-Sequence Learning Models for If-Then Program Synthesis

Dhairya Dalal, Byron V. Galbraith

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

Comments AAAI IPA workshop submission

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications

Alberto Camacho, Sheila A. McIlraith

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

Program synthesis performance constrained by non-linear spatial relations in Synthetic Visual Reasoning Test

Lu Yihe, Scott C. Lowe, Penelope A. Lewis, Mark C. W. van Rossum

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

Type-Directed Program Synthesis and Constraint Generation for Library Portability

Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle

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

Comments Accepted to PACT 2019

Human-Centric Program Synthesis

Will Crichton

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

Comments To appear at PLATEAU'19

Augmenting Type Signatures for Program Synthesis

Bruce Collie, Michael O'Boyle

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

Comments TyDe 2019 Extended Abstract

Constraint-Based Type-Directed Program Synthesis

Peter-Michael Osera

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

Comments Extended version of report that appeared in TyDe 2019

Learning Neurosymbolic Generative Models via Program Synthesis

Halley Young, Osbert Bastani, Mayur Naik

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

Relational Program Synthesis

Yuepeng Wang, Xinyu Wang, Isil Dillig

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

Retrieval-Based Neural Code Generation

Shirley Anugrah Hayati, Raphael Olivier, Pravalika Avvaru, Pengcheng Yin, Anthony Tomasic, Graham Neubig

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

Comments This paper is accepted in EMNLP 2018. It has 6 pages

Selecting Representative Examples for Program Synthesis

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

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

EgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model

Jiawei Zhang, Limeng Cui, Fisher B. Gouza

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

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli

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

Comments ICLR 2018

Learning Abstractions for Program Synthesis

Xinyu Wang, Greg Anderson, Isil Dillig, K. L. McMillan

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

Neural Program Synthesis with Priority Queue Training

Daniel A. Abolafia, Mohammad Norouzi, Jonathan Shen, Rui Zhao, Quoc V. Le

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

Systematic Mapping Study of Template-based Code Generation

Eugene Syriani, Lechanceux Luhunu, Houari Sahraoui

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

Program Synthesis using Conflict-Driven Learning

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

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

Comments This was a miscommunication and one author did not want to make it publicly available right now

Program Synthesis using Abstraction Refinement

Xinyu Wang, Isil Dillig, Rishabh Singh

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

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

Fabio Fioravanti, John P. Gallagher

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

Comments Papers selected for presentation at LOPSTR 2017

Interactive Program Synthesis

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani

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

Latent Attention For If-Then Program Synthesis

Xinyun Chen, Chang Liu, Richard Shin, Dawn Song, Mingcheng Chen

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

Comments Accepted by NIPS 2016

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Manuel V. Hermenegildo, Pedro Lopez-Garcia

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

Comments Papers selected for presentation at LOPSTR 2016

Program Synthesis from Polymorphic Refinement Types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

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

Code Generation for Event-B

Victor Rivera

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

Comments PhD thesis. Supervisor: Nestor Catano

Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps

Eric Umuhoza

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

Code Generation for High-Level Synthesis of Multiresolution Applications on FPGAs

Moritz Schmid, Oliver Reiche, Christian Schmitt, Frank Hannig, Jürgen Teich

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

Comments Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

Program Synthesis and Linear Operator Semantics

Herbert Wiklicky

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

Comments In Proceedings SYNT 2014, arXiv:1407.4937

Journal ref EPTCS 157, 2014, pp. 17-33

Building on the DEPLOY Legacy: Code Generation and Simulation

Andrew Edmunds, Michael Butler, John Colley

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

Comments In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

PyCUDA and PyOpenCL: A Scripting-Based Approach to GPU Run-Time Code Generation

Andreas Klöckner, Nicolas Pinto, Yunsup Lee, Bryan Catanzaro, Paul Ivanov, Ahmed Fasih

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

Comments Submitted to Parallel Computing, Elsevier

CLOSER-Bench: Evaluating Budgeted Cross-Stage Design Closure for Hardware Agents

CLOSER-Bench：评估硬件代理的预算跨阶段设计封闭性

Peilong Zhou, Zhirong Chen, Cangyuan Li, Haoyu Gao, Kaiyan Chang, Ziming Qu, Ying Wang

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

AI总结 研究硬件代理跨阶段设计封闭性评估难题，提出CLOSER-Bench协议，通过配对任务记录调用，测量多方面指标。经试点和验证揭示差距，构建加速器，促使将硬件封闭视为预算顺序决策问题。

Comments 6 pages, 2 figures, 4 tables