代码大模型 / AI 编程

Developments in Performance and Portability for MadGraph5_aMC@NLO

Andrea Valassi, Taylor Childers, Laurence Field, Stefan Hageböck, Walter Hopkins, Olivier Mattelaer, Nathan Nichols, Stefan Roiser, David Smith

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

Comments 6 pages, 2 figures, 2 tables; submitted to ICHEP2022 proceedings in PoS

Journal ref PoS(ICHEP2022)212

PaLM: Scaling Language Modeling with Pathways

Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel

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

CodeDSI: Differentiable Code Search

Usama Nadeem, Noah Ziems, Shaoen Wu

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

Comments 6 pages, 2 figures

Learning programs with magic values

Céline Hocquette, Andrew Cropper

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

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