代码大模型 / AI 编程

Katara: Synthesizing CRDTs with Verified Lifting

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

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

Programming Autonomous Machines

Shaoshan Liu, Xiaoming Li, Tongsheng Geng, Stephane Zuckerman, Jean-Luc Gaudiot

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

Comments EMSOFT 2022

Selective Annotation Makes Language Models Better Few-Shot Learners

Hongjin Su, Jungo Kasai, Chen Henry Wu, Weijia Shi, Tianlu Wang, Jiayi Xin, Rui Zhang, Mari Ostendorf, Luke Zettlemoyer, Noah A. Smith, Tao Yu

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

UI Layers Merger: Merging UI layers via Visual Learning and Boundary Prior

Yun-nong Chen, Yan-kun Zhen, Chu-ning Shi, Jia-zhi Li, Liu-qing Chen, Ze-jian Li, Ling-yun Sun, Ting-ting Zhou, Yan-fang Chang

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

Comments 15 pages, accepted to Frontiers of Information Technology & Electronic Engineering. This is a preprint version, the copyright belongs to the Springer Nature journals

Limits of an AI program for solving college math problems

Ernest Davis

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

Comments 4 pages, 1 figure

ULDGNN: A Fragmented UI Layer Detector Based on Graph Neural Networks

Jiazhi Li, Tingting Zhou, Yunnong Chen, Yanfang Chang, Yankun Zhen, Lingyun Sun, Liuqing Chen

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

Maniposynth: Bimodal Tangible Functional Programming

Brian Hempel, Ravi Chugh

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

Comments ECOOP 2022 Paper + Appendices. 34 pages, 15 figures. For video figure and artifact, see https://maniposynth.org/

Synthesizing Action Sequences for Modifying Model Decisions

Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi

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

Searching Entangled Program Spaces

James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

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

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu

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

Comments CSF 2022 pre-print with extra appendices

GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis

Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu

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

Syntheto: A Surface Language for APT and ACL2

Alessandro Coglio, Eric McCarthy, Stephen Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai

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

Comments In Proceedings ACL2 2022, arXiv:2205.11103

Journal ref EPTCS 359, 2022, pp. 151-167

SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring

Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

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

Comments Accepted at International Conference on Supercomputing (ICS) '22

Lifting C Semantics for Dataflow Optimization

Alexandru Calotoiu, Tal Ben-Nun, Grzegorz Kwasniewski, Johannes de Fine Licht, Timo Schneider, Philipp Schaad, Torsten Hoefler

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

Predictive Synthesis of API-Centric Code

Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra

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

WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration

Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang

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

Comments Published at PLDI 2022

Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis

Albert Tseng, Jennifer J. Sun, Yisong Yue

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

Comments 8 pages, to appear at CVPR 2022

MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving

Zhenwen Liang, Jipeng Zhang, Lei Wang, Wei Qin, Yunshi Lan, Jie Shao, Xiangliang Zhang

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

Comments Accepted by the Findings of NAACL 2022

Genetic Improvement in the Shackleton Framework for Optimizing LLVM Pass Sequences

Shuyue Stella Li, Hannah Peeler, Andrew N. Sloss, Kenneth N. Reid, Wolfgang Banzhaf

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

Comments 3 pages, 2 figures

Probabilistic Inference of Simulation Parameters via Parallel Differentiable Simulation

Eric Heiden, Christopher E. Denniston, David Millard, Fabio Ramos, Gaurav S. Sukhatme

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

Comments Extended version. To appear at ICRA 2022

A Survey of Machine Learning for Computer Architecture and Systems

Nan Wu, Yuan Xie

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

Journal ref ACM Computing Surveys 2022

DualSC: Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning

Guang Yang, Xiang Chen, Yanlin Zhou, Chi Yu

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

Comments Accepted in SANER 2022

let (rec) insertion without Effects, Lights or Magic

Oleg Kiselyov, Jeremy Yallop

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

Comments Peer-reviewed and accepted for presentation as a short paper at PEPM 2022

FusionStitching: Boosting Memory Intensive Computations for Deep Learning Workloads

Zhen Zheng, Pengzhan Zhao, Guoping Long, Feiwen Zhu, Kai Zhu, Wenyi Zhao, Lansong Diao, Jun Yang, Wei Lin

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

Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions

Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt, Ramesh Karri

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

Comments Accepted for publication in IEEE Symposium on Security and Privacy 2022

A Specification for Typed Template Haskell

Matthew Pickering, Andres Löh, Nicolas Wu

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

Gram Barcodes for Histopathology Tissue Texture Retrieval

Shalev Lifshitz, Abtin Riasatian, H. R. Tizhoosh

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

Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?

Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri

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

Open-Ended Automatic Programming Through Combinatorial Evolution

Sebastian Fix, Thomas Probst, Oliver Ruggli, Thomas Hanne, Patrik Christen

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

Comments 12 pages, 2 tables

Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)

Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka

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