代码大模型 / AI 编程

Stripe: Tensor Compilation via the Nested Polyhedral Model

Tim Zerrell, Jeremy Bruestle

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

Compiling with Continuations and LLVM

Kavon Farvardin, John Reppy

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

Comments In Proceedings ML/OCAML 2016, arXiv:1812.10891

Journal ref EPTCS 285, 2018, pp. 131-142

A Verified Timsort C Implementation in Isabelle/HOL

Yu Zhang, Yongwang Zhao, David Sanan

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

Comments 17 pages, 1 figure

FrAngel: Component-Based Synthesis with Control Structures

Kensen Shi, Jacob Steinhardt, Percy Liang

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

Comments 30 pages, 12 figures, to appear in the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)

Structuring the Synthesis of Heap-Manipulating Programs - Extended Version

Nadia Polikarpova, Ilya Sergey

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

Journal ref Proc. ACM Program. Lang. 3, POPL, Article 72 (January 2019)

Trace Abstraction Modulo Probability

Calvin Smith, Justin Hsu, Aws Albarghouthi

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

Automatic Graphics Program Generation using Attention-Based Hierarchical Decoder

Zhihao Zhu, Zhan Xue, Zejian Yuan

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

Comments Asian Conference on Computer Vision

Learning to Infer Graphics Programs from Hand-Drawn Images

Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum

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

Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers

S. O. Semerikov, O. P. Polishchuk

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

Comments 27 pages, 2 tables, in Ukrainian

Journal ref Theory and methods of learning mathematics, physics, informatics 13, 2 (2015) 174-200

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design

Simon Bliudze, Saddek Bensalem

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

Journal ref EPTCS 272, 2018

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications

Maaz Bin Safeer Ahmad, Alvin Cheung

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

Comments 12 pages, additional 4 pages of references and appendix

Journal ref SIGMOD '18 Proceedings of the 2018 International Conference on Management of Data, Pages 1205-1220

Building Language Models for Text with Named Entities

Md Rizwan Parvez, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

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

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen

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

Comments 18 pages, 5 figures, 2 tables

A Domain Specific Language for Performance Portable Molecular Dynamics Algorithms

William R. Saunders, James Grant, Eike H. Müller

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

Comments 24 pages, 12 figures, 11 tables, accepted for publication in Computer Physics Communications on 12 Nov 2017

The Formal Semantics of Rascal Light

Ahmad Salim Al-Sibahi

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

Comments Revision: Minor fixes to proofs and rules

Kayak: Safe Semantic Refactoring to Java Streams

Cristina David, Pascal Kesseli, Daniel Kroening

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

Will humans even write code in 2040 and what would that mean for extreme heterogeneity in computing?

Jay Jay Billings, Alexander J. McCaskey, Geoffroy Vallee, Greg Watson

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

AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis

Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu

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

Long range forces in a performance portable Molecular Dynamics framework

William R. Saunders, James Grant, Eike H. Müller

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

Comments 9 pages, 3 figures, submitted to ParCo 2017 Parallel Computing Conference

P-Tree Programming

Christian Oesch

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

Comments Submitted to IEEE SSCI 2017

Composing inference algorithms as program transformations

Robert Zinkov, Chung-chieh Shan

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

Comments 10 pages, 5 figures. To appear in Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI2017)

Learning Disjunctions of Predicates

Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav

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

Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability

Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen

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

Comments 18 pages, 3 figures

SNMP for Common Lisp

Chun Tian

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

Comments 10 pages; reprinted from ILC '09, Proceedings of the International Lisp Conference, March 22-25, 2009, Cambridge, Massachusetts, USA

Journal ref ILC '09, Proceedings of the International Lisp Conference, March 22-25, 2009, Cambridge, Massachusetts, USA

Synthesis of Recursive ADT Transformations from Reusable Templates

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

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

Flare: Native Compilation for Heterogeneous Workloads in Apache Spark

Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf

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

HPVM: A Portable Virtual Instruction Set for Heterogeneous Parallel Systems

Prakalp Srivastava, Maria Kotsifakou, Vikram Adve

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

Language to Specify Syntax-Guided Synthesis Problems

Mukund Raghothaman, Abhishek Udupa

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

Comments Fixed small typo in the SyGuS grammar specification pointed out by Sergey Mechtaev

Modeling Variability in Template-based Code Generators for Product Line Engineering

Timo Greifenberg, Klaus Müller, Alexander Roth, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann

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

Comments 16 pages, 3 figures, Modellierung 2016 Conference

Journal ref Modellierung 2016 Conference

An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information

Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe

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

Comments 8 pages, 3 figures, Modellierung 2016 Conference