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

2007.10519 2020-10-13 cs.LO 50%

SynRG: Syntax Guided Synthesis of Expressions with Alternating Quantifiers

Elizabeth Polgreen, Sanjit A. Seshia

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

Comments 20 pages

2009.12861 2020-09-29 cs.NI 50%

The Remaining Improbable: Toward Verifiable Network Services

Pamela Zave, Jennifer Rexford, John Sonchack

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

Comments 6 pages with 4 figures, plus references. This paper has been reviewed extensively as a conference submission. Although some reviewers have found it cryptic due to its length (small) and scope (large), we are satisfied that it contains no factual errors. We welcome your questions!

1704.02549 2020-09-22 math.OC cs.NA math.NA 50%

Solving Parameter Estimation Problems with Discrete Adjoint Exponential Integrators

Ulrich Römer, Mahesh Narayanamurthi, Adrian Sandu

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

Journal ref Optimization Methods and Software, 33 (2018), 750-770

2009.04622 2020-09-11 cs.AR 50%

MicroGrad: A Centralized Framework for Workload Cloning and Stress Testing

Gokul Subramanian Ravi, Ramon Bertran, Pradip Bose, Mikko Lipasti

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

2009.02737 2020-09-08 cs.OS 50%

Secure Memory Management on Modern Hardware

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel Schwyn, David Cock, Timothy Roscoe

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

2003.12923 2020-09-03 physics.chem-ph 50%

An N$^5$-scaling excited-state-specific perturbation theory

Rachel Clune, Jacqueline A. R. Shea, Eric Neuscamman

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

Comments 11 pages, 2 figures, 7 tables, accepted by the Journal of Chemical Theory and Computation

1912.00695 2020-08-05 cs.DC 50%

GPU Support for Automatic Generation of Finite-Differences Stencil Kernels

Vitor Hugo Mickus Rodrigues, Lucas Cavalcante, Maelso Bruno Pereira, Fabio Luporini, István Reguly, Gerard Gorman, Samuel Xavier de Souza

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

Comments This work was accepted and presented to Latin America High Performance Computing (CARLA 2019)

1905.03136 2020-06-25 cs.MS cs.PF 50%

Performance Engineering for Real and Complex Tall & Skinny Matrix Multiplication Kernels on GPUs

Dominik Ernst, Georg Hager, Jonas Thies, Gerhard Wellein

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

Comments 12 pages, 22 figures. Extended version of arXiv:1905.03136v1 for journal submission

2001.04504 2020-05-27 cs.AR 50%

CHIPKIT: An agile, reusable open-source framework for rapid test chip development

Paul Whatmough, Marco Donato, Glenn Ko, Sae-Kyu Lee, David Brooks, Gu-Yeon Wei

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

2005.02562 2020-05-07 cs.CR 50%

Synthesis of Parallel Synchronous Software

Pantea Kiaei, Patrick Schaumont

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

Comments Accepted in IEEE Embedded Systems Letters

1912.01710 2019-12-05 cs.CR cs.AR 50%

SIFO: Secure Computational Infrastructure using FPGA Overlays

Xin Fang, Stratis Ioannidis, Miriam Leeser

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

Comments International Journal of Reconfigurable Computing, to appear

1911.08028 2019-11-20 cs.CV 50%

Simultaneous Region Localization and Hash Coding for Fine-grained Image Retrieval

Haien Zeng, Hanjiang Lai, Jian Yin

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

1910.03478 2019-10-17 cs.NI 50%

Scalable Comparison of JavaScript V8 Bytecode Traces

Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry

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

Comments 10 pages, 6 figures, 2 tables,

Journal ref Proceedings of the SPLASH workshop on Virtual Machines and Language Implementations (VMIL), 2019

1909.13139 2019-10-01 eess.SY cs.FL cs.SY 50%

Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis

Alessandro Trindade, Lucas Cordeiro

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

1709.04854 2019-09-25 cs.GT 50%

Synthesizing Optimally Resilient Controllers

Daniel Neider, Alexander Weinert, Martin Zimmermann

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

1909.03611 2019-09-10 eess.IV cs.CV 50%

An Acceleration Framework for High Resolution Image Synthesis

Jinlin Liu, Yuan Yao, Jianqiang Ren

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

1908.02704 2019-08-08 eess.SY cs.RO cs.SY 50%

Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles

Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai

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

1905.09374 2019-07-04 cs.NE 50%

Comparing and Combining Lexicase Selection and Novelty Search

Lia Jundt, Thomas Helmuth

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

1904.08684 2019-04-19 cs.MS cs.CE 50%

Towards whole program generation of quadrature-free discontinuous Galerkin methods for the shallow water equations

Sara Faghih-Naini, Sebastian Kuckuk, Vadym Aizinger, Daniel Zint, Roberto Grosso, Harald Köstler

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

1903.06693 2019-04-10 cs.DC 50%

Module-per-Object: a Human-Driven Methodology for C++-based High-Level Synthesis Design

Jeferson Santiago da Silva, François-Raymond Boyer, J. M. Pierre Langlois

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

Comments 9 pages. Paper accepted for publication at The 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, San Diego CA, April 28 - May 1, 2019

1812.07778 2018-12-20 cs.PF 50%

AdaptMemBench: Application-Specific MemorySubsystem Benchmarking

Mahesh Lakshminarasimhan, Catherine Olschanowsky

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

1810.12747 2018-10-31 hep-lat nucl-th 50%

Three neutrons from Lattice QCD

Jan-Lukas Wynen, Evan Berkowitz, Thomas Luu, Andrea Shindler, John Bulava

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

Comments Proceedings from Lattice2018, 7 pages, 4 figures

1810.04756 2018-10-12 cs.ET 50%

Stochastic Synthesis for Stochastic Computing

Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin

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

Comments 7 pages, 4 figures, 3 tables

1809.01029 2018-10-12 physics.comp-ph cs.DC physics.chem-ph 50%

Using SIMD and SIMT vectorization to evaluate sparse chemical kinetic Jacobian matrices and thermochemical source terms

Nicholas J. Curtis, Kyle E. Niemeyer, Chih-Jen Sung

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

Comments 53 pages, 13 figures

Journal ref Combust. Flame 198 (2018) 186-204

1810.04312 2018-10-11 cs.LO cs.DS 50%

Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems

David Hardin, Konrad Slind

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

Comments In Proceedings ACL2 2018, arXiv:1810.03762

Journal ref EPTCS 280, 2018, pp. 61-76

1808.05448 2018-08-17 cs.DB 50%

Automatic Generation of a Hybrid Query Execution Engine

Aleksei Kashuba, Hannes Mühleisen

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

1801.04290 2018-07-04 cs.RO math.OC 50%

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

Markus Giftthaler, Michael Neunert, Markus Stäuble, Jonas Buchli

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

1712.08315 2018-05-25 cs.CV 50%

Deep Hashing with Category Mask for Fast Video Retrieval

Xu Liu, Lili Zhao, Dajun Ding, Yajiao Dong

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

1804.10998 2018-05-01 cs.LO cs.AR 50%

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

Marc Dahlem, Anoop Bhagyanath, Klaus Schneider

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

Comments Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 3 PDF figures (arXiv:YYMM.NNNNN)

1709.05394 2018-05-01 cs.NE 50%

A probabilistic and multi-objective analysis of lexicase selection and epsilon-lexicase selection

William La Cava, Thomas Helmuth, Lee Spector, Jason H. Moore

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

Comments 30 pages, 8 figures. To appear in Evolutionary Computation Journal

1. 代码生成 4102 篇

SynRG: Syntax Guided Synthesis of Expressions with Alternating Quantifiers

The Remaining Improbable: Toward Verifiable Network Services

Solving Parameter Estimation Problems with Discrete Adjoint Exponential Integrators

MicroGrad: A Centralized Framework for Workload Cloning and Stress Testing

Secure Memory Management on Modern Hardware

An N$^5$-scaling excited-state-specific perturbation theory

GPU Support for Automatic Generation of Finite-Differences Stencil Kernels

Performance Engineering for Real and Complex Tall & Skinny Matrix Multiplication Kernels on GPUs

CHIPKIT: An agile, reusable open-source framework for rapid test chip development

Synthesis of Parallel Synchronous Software

SIFO: Secure Computational Infrastructure using FPGA Overlays

Simultaneous Region Localization and Hash Coding for Fine-grained Image Retrieval

Scalable Comparison of JavaScript V8 Bytecode Traces

Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis

Synthesizing Optimally Resilient Controllers

An Acceleration Framework for High Resolution Image Synthesis

Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles

Comparing and Combining Lexicase Selection and Novelty Search

Towards whole program generation of quadrature-free discontinuous Galerkin methods for the shallow water equations

Module-per-Object: a Human-Driven Methodology for C++-based High-Level Synthesis Design

AdaptMemBench: Application-Specific MemorySubsystem Benchmarking

Three neutrons from Lattice QCD

Stochastic Synthesis for Stochastic Computing

Using SIMD and SIMT vectorization to evaluate sparse chemical kinetic Jacobian matrices and thermochemical source terms

Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems

Automatic Generation of a Hybrid Query Execution Engine

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

Deep Hashing with Category Mask for Fast Video Retrieval

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

A probabilistic and multi-objective analysis of lexicase selection and epsilon-lexicase selection