代码大模型 / AI 编程

Autonomous GIS: the next-generation AI-powered GIS

Zhenlong Li, Huan Ning

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

Communicating Natural Programs to Humans and Machines

Samuel Acquaviva, Yewen Pu, Marta Kryven, Theodoros Sechopoulos, Catherine Wong, Gabrielle E Ecanow, Maxwell Nye, Michael Henry Tessler, Joshua B. Tenenbaum

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

Comments equal contributions: (author 1,2) and (author 3,4,5). 36th Conference on Neural Information Processing Systems (NeurIPS 2022) Track on Datasets and Benchmarks

Probabilistic Lexicase Selection

Li Ding, Edward Pantridge, Lee Spector

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

Comments GECCO 2023

Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice

Sira Vegas, Sebastian Elbaum

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

Generate Compilers from Hardware Models!

Gus Henry Smith, Ben Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

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

Comments 3 pages, 2 figures, to be presented at the 2023 PLARCH Workshop at FCRC

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

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

Comments ECOOP 2023

Practices and Challenges of Using GitHub Copilot: An Empirical Study

Beiqi Zhang, Peng Liang, Xiyu Zhou, Aakash Ahmad, Muhammad Waseem

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

Comments The 35th International Conference on Software Engineering and Knowledge Engineering (SEKE)

Semantic Compression With Large Language Models

Henry Gilbert, Michael Sandborn, Douglas C. Schmidt, Jesse Spencer-Smith, Jules White

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

CodeAttack: Code-Based Adversarial Attacks for Pre-trained Programming Language Models

Akshita Jha, Chandan K. Reddy

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

Comments AAAI Conference on Artificial Intelligence (AAAI) 2023

Evaluating AIGC Detectors on Code Content

Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li

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

HOTGP -- Higher-Order Typed Genetic Programming

Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini

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

Learning Fitness Functions for Machine Programming

Shantanu Mandal, Todd A. Anderson, Javier S. Turek, Justin Gottschlich, Shengtian Zhou, Abdullah Muzahid

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

Journal ref Proceedings of Machine Learning and Systems (MLSys), 3 (2021), 139-155

Can Large Language Models assist in Hazard Analysis?

Simon Diemert, Jens H Weber

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

PanGu-Σ: Towards Trillion Parameter Language Model with Sparse Heterogeneous Computing

Xiaozhe Ren, Pingyi Zhou, Xinfan Meng, Xinjing Huang, Yadao Wang, Weichao Wang, Pengfei Li, Xiaoda Zhang, Alexander Podolskiy, Grigory Arshinov, Andrey Bout, Irina Piontkovskaya, Jiansheng Wei, Xin Jiang, Teng Su, Qun Liu, Jun Yao

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

PACIFIC: Towards Proactive Conversational Question Answering over Tabular and Textual Data in Finance

Yang Deng, Wenqiang Lei, Wenxuan Zhang, Wai Lam, Tat-Seng Chua

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

Comments Accepted by EMNLP 2022 (main conference)

Generating 3D Bio-Printable Patches Using Wound Segmentation and Reconstruction to Treat Diabetic Foot Ulcers

Han Joo Chae, Seunghwan Lee, Hyewon Son, Seungyeob Han, Taebin Lim

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

Comments Accepted to CVPR 2022

Multicloud API binding generation from documentation

Michał J. Gajda, Vitor Vitali Barrozzi, Gabriel Araujo

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

Comments Presented on XP 2020: Agility in Microservices workshop

Probabilistic Surrogate Networks for Simulators with Unbounded Randomness

Andreas Munk, Berend Zwartsenberg, Adam Ścibior, Atılım Güneş Baydin, Andrew Stewart, Goran Fernlund, Anoush Poursartip, Frank Wood

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

MTGP: Combining Metamorphic Testing and Genetic Programming

Dominik Sobania, Martin Briesch, Philipp Röchner, Franz Rothlauf

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

Python FPGA Programming with Data-Centric Multi-Level Design

Johannes de Fine Licht, Tiziano De Matteis, Tal Ben-Nun, Andreas Kuster, Oliver Rausch, Manuel Burger, Carl-Johannes Johnsen, Torsten Hoefler

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

Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

Yudong Xu, Elias B. Khalil, Scott Sanner

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

Comments 9 pages, 5 figures, to be published in AAAI-23

Highest-performance Stream Processing

Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos

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

Comments Peer-reviewed, accepted for presentation and presented at the ACM SIGPLAN OCAML 2022 workshop

Generating Sequences by Learning to Self-Correct

Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi

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

Code4ML: a Large-scale Dataset of annotated Machine Learning Code

Anastasia Drozdova, Polina Guseva, Ekaterina Trofimova, Anna Scherbakova, Andrey Ustyuzhanin

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

Comments Under review

Formal Semantics for the Halide Language

Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley

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

Comments 27 pages, 12 figures

Intelligent-Unrolling: Exploiting Regular Patterns in Irregular Applications

Changxi Liu, Hailong Yang, Xu Liu, Zhongzhi Luan, Depei Qian

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

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