代码大模型 / AI 编程 - arXivDaily 专题

2306.09855 2023-09-01 q-bio.NC cs.NE 50%

Runtime Construction of Large-Scale Spiking Neuronal Network Models on GPU Devices

Bruno Golosio, Jose Villamar, Gianmarco Tiddia, Elena Pastorelli, Jonas Stapmanns, Viviana Fanti, Pier Stanislao Paolucci, Abigail Morrison, Johanna Senk

专题命中代码生成：code generation(abstract)

Comments 29 pages, 9 figures

Journal ref Appl. Sci. 2023, 13(17), 9598

2308.11900 2023-08-24 cs.CV 50%

HashReID: Dynamic Network with Binary Codes for Efficient Person Re-identification

Kshitij Nikhal, Yujunrong Ma, Shuvra S. Bhattacharyya, Benjamin S. Riggan

专题命中代码生成：code generation(abstract)

Comments WACV 2024

2308.06656 2023-08-15 cs.HC 50%

The Usability of Pragmatic Communication in Regular Expression Synthesis

Priyan Vaithilingam, Yewen Pu, Elena L. Glassman

专题命中代码生成：program synthesis(abstract)

2308.00497 2023-08-02 cs.MS 50%

Leveraging MLIR for Loop Vectorization and GPU Porting of FFT Libraries

Yifei He, Artur Podobas, Stefano Markidis

专题命中代码生成：code generation(abstract)

2208.00497 2023-08-01 math.NA cs.NA 50%

Fast Floating-Point Filters for Robust Predicates

Tinko Bartels, Vissarion Fisikopoulos, Martin Weiser

专题命中代码生成：code generation(abstract)

Journal ref Bit Numer Math 63, 31 (2023)

2307.07931 2023-07-18 cs.MS 50%

ProtoX: A First Look

Het Mankad, Sanil Rao, Brian Van Straalen, Phillip Colella, Franz Franchetti

专题命中代码生成：code generation(abstract)

2303.15308 2023-07-12 cs.DB 50%

Learned Query Superoptimization

Ryan Marcus

专题命中代码生成：program synthesis(abstract)

2306.10009 2023-06-19 cs.LO 50%

Fast Approximations of Quantifier Elimination

Isabel Garcia-Contreras, Hari Govind V K, Sharon Shoham, Arie Gurfinkel

专题命中代码生成：program synthesis(abstract)

Comments Published at CAV 2023

2306.09581 2023-06-19 cs.DB cs.FL 50%

Pengembangan Domain Specific Language Untuk Pengelolaan Data Warehouse

Muhamad Taufan, I Made Wiryana

专题命中代码生成：code generation(abstract)

Comments 16 pages, in Indonesian language, 8 figures

2305.19400 2023-06-01 cs.CE 50%

Automating GPU Scalability for Complex Scientific Models: Phonon Boltzman Transport Equation

Eric Heisler, Siddharth Saurav, Aadesh Deshmukh, Sandip Mazumder, Ponnuswamy Sadayappan, Hari Sundar

专题命中代码生成：code generation(abstract)

2305.17867 2023-05-30 math.NA cs.NA 50%

Automatic Synthesis of Low-Complexity Translation Operators for the Fast Multipole Method

Isuru Fernando, Andreas Klöckner

专题命中代码生成：code generation(abstract)

2305.15116 2023-05-25 cs.PF 50%

Model-Based Performance Analysis of the HyTeG Finite Element Framework

Dominik Thönnes, Ulrich Rüde

专题命中代码生成：code generation(abstract)

2305.03317 2023-05-08 cs.DC 50%

StarPlat: A Versatile DSL for Graph Analytics

Nibedita Behera, Ashwina Kumar, Ebenezer Rajadurai T, Sai Nitish, Rajesh Pandian M, Rupesh Nasre

专题命中代码生成：code generation(abstract)

Comments 30 pages, 21 figures

2305.01024 2023-05-03 cs.DC cs.PF 50%

Anatomy of High-Performance GEMM with Online Fault Tolerance on GPUs

Shixun Wu, Yujia Zhai, Jinyang Liu, Jiajun Huang, Zizhe Jian, Bryan M. Wong, Zizhong Chen

专题命中代码生成：code generation(abstract)

Comments 11 pages, 2023 International Conference on Supercomputing

2304.06597 2023-04-14 cs.HC 50%

"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models

Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Ben Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon

专题命中代码生成：code generation(abstract)

2304.03013 2023-04-07 cs.PF cs.AR cs.CV 50%

Tensor Slicing and Optimization for Multicore NPUs

Rafael Sousa, Marcio Pereira, Yongin Kwon, Taeho Kim, Namsoon Jung, Chang Soo Kim, Michael Frank, Guido Araujo

专题命中代码生成：code generation(abstract)

Journal ref Journal of Parallel and Distributed Computing Journal of Parallel and Distributed Computing, Volume 175, May 2023, Pages 66-79

2304.02650 2023-04-07 cs.MS stat.CO 50%

Automatic Differentiation of Binned Likelihoods With Roofit and Clad

Garima Singh, Jonas Rembser, Lorenzo Moneta, David Lange, Vassil Vassilev

专题命中代码生成：code generation(abstract)

Comments 6 pages, 5 figures, 21st International Workshop on Advanced Computing and Analysis Techniques in Physics Research

2109.06976 2023-03-03 cs.RO 50%

GRiD: GPU-Accelerated Rigid Body Dynamics with Analytical Gradients

Brian Plancher, Sabrina M. Neuman, Radhika Ghosal, Scott Kuindersma, Vijay Janapa Reddi

专题命中代码生成：code generation(abstract)

Comments Camera Ready Update: 8 pages, 5 figures, 1 data table, 2 algorithm blocks

2302.07080 2023-02-15 cs.HC 50%

The Programmer's Assistant: Conversational Interaction with a Large Language Model for Software Development

Steven I. Ross, Fernando Martinez, Stephanie Houde, Michael Muller, Justin D. Weisz

专题命中代码生成：code generation(abstract)

Comments 43 pages, 3 figures. To be published in IUI 2023

2302.04301 2023-02-10 cs.NE 50%

Down-Sampled Epsilon-Lexicase Selection for Real-World Symbolic Regression Problems

Alina Geiger, Dominik Sobania, Franz Rothlauf

专题命中代码生成：program synthesis(abstract)

2211.00973 2023-02-07 cs.LO 50%

BAXMC: a CEGAR approach to Max#SAT

Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet

专题命中代码生成：program synthesis(abstract)

Comments FMCAD 2022, Oct 2022, Trente, Italy

2301.04574 2023-01-18 cs.RO 50%

Prototyping Vehicle Control Applications Using the CAT Vehicle Simulator

Rahul Bhadani, Jonathan Sprinkle

专题命中代码生成：code generation(abstract)

Comments 9 pages, technical report, 5 figures

2110.03349 2022-12-16 eess.SY cs.SY 50%

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving

Jean Pierre Allamaa, Petr Listov, Herman Van der Auweraer, Colin Jones, Tong Duy Son

专题命中代码生成：code generation(abstract)

Comments This paper appears in the proceedings of the 2022 American Control Conference (ACC)

2212.03440 2022-12-08 cs.CV 50%

UI Layers Group Detector: Grouping UI Layers via Text Fusion and Box Attention

Shuhong Xiao, Tingting Zhou, Yunnong Chen, Dengming Zhang, Liuqing Chen, Lingyun Sun, Shiyu Yue

专题命中代码生成：code generation(abstract)

Comments 10 pages, accepted to CICAI. This is a preprint version

2211.13310 2022-11-28 cs.RO cs.SY eess.SY 50%

Development of a Mobile Vehicle Manipulator Simulator for the Validation of Shared Control Concepts

Balint Varga, Selina Meier, Soeren Hohmann

专题命中代码生成：code generation(abstract)

Comments in German language

2210.13835 2022-10-26 cs.CV 50%

Synthetic Data Supervised Salient Object Detection

Zhenyu Wu, Lin Wang, Wei Wang, Tengfei Shi, Chenglizhao Chen, Aimin Hao, Shuo Li

专题命中代码生成：code generation(abstract)

Comments 9 pages, 8 figures

Journal ref ACM MM, 2022

2209.00092 2022-09-27 eess.SY cs.SY 50%

A rapid-prototype MPC tool based on gPROMS platform

Liang Wu, Maarten Nauta

专题命中代码生成：code generation(abstract)

Comments 6 pages, 3 figures

2201.02570 2022-09-12 quant-ph 50%

Quantum error correction using squeezed Schrödinger cat states

David S. Schlegel, Fabrizio Minganti, Vincenzo Savona

专题命中代码生成：code generation(abstract)

Comments 19 pages, 5 figures, 2 tables; version 2

2208.14472 2022-09-01 cs.ET 50%

abstractPIM: A Technology Backward-Compatible Compilation Flow for Processing-In-Memory

Adi Eliahu, Rotem Ben-Hur, Ronny Ronen, Shahar Kvatinsky

专题命中代码生成：code generation(abstract)

Comments Link to the book chapter in Springer: https://link.springer.com/chapter/10.1007/978-3-030-81641-4_16

2208.05131 2022-08-30 cs.FL 50%

Synthesizing Transducers from Complex Specifications

Anvay Grover, Ruediger Ehlers, Loris D'Antoni

专题命中代码生成：program synthesis(abstract)

1. 代码生成 4102 篇

Runtime Construction of Large-Scale Spiking Neuronal Network Models on GPU Devices

HashReID: Dynamic Network with Binary Codes for Efficient Person Re-identification

The Usability of Pragmatic Communication in Regular Expression Synthesis

Leveraging MLIR for Loop Vectorization and GPU Porting of FFT Libraries

Fast Floating-Point Filters for Robust Predicates

ProtoX: A First Look

Learned Query Superoptimization

Fast Approximations of Quantifier Elimination

Pengembangan Domain Specific Language Untuk Pengelolaan Data Warehouse

Automating GPU Scalability for Complex Scientific Models: Phonon Boltzman Transport Equation

Automatic Synthesis of Low-Complexity Translation Operators for the Fast Multipole Method

Model-Based Performance Analysis of the HyTeG Finite Element Framework

StarPlat: A Versatile DSL for Graph Analytics

Anatomy of High-Performance GEMM with Online Fault Tolerance on GPUs

"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models

Tensor Slicing and Optimization for Multicore NPUs

Automatic Differentiation of Binned Likelihoods With Roofit and Clad

GRiD: GPU-Accelerated Rigid Body Dynamics with Analytical Gradients

The Programmer's Assistant: Conversational Interaction with a Large Language Model for Software Development

Down-Sampled Epsilon-Lexicase Selection for Real-World Symbolic Regression Problems

BAXMC: a CEGAR approach to Max#SAT

Prototyping Vehicle Control Applications Using the CAT Vehicle Simulator

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving

UI Layers Group Detector: Grouping UI Layers via Text Fusion and Box Attention

Development of a Mobile Vehicle Manipulator Simulator for the Validation of Shared Control Concepts

Synthetic Data Supervised Salient Object Detection

A rapid-prototype MPC tool based on gPROMS platform

Quantum error correction using squeezed Schrödinger cat states

abstractPIM: A Technology Backward-Compatible Compilation Flow for Processing-In-Memory

Synthesizing Transducers from Complex Specifications