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

1803.08920 2018-03-26 astro-ph.IM 50%

pynucastro: an interface to nuclear reaction rates and code generator for reaction network equations

Donald E. Willcox, Michael Zingale

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

Comments published in the Journal of Open Source Software; 3 pages; all code freely available on github (see text for repo links)

Journal ref Willcox et al., (2018). pynucastro: an interface to nuclear reaction rates and code generator for reaction network equations. Journal of Open Source Software, 3(23), 588, https://doi.org/10.21105/joss.00588

1802.02474 2018-02-08 cs.MS cs.CE 50%

High-level python abstractions for optimal checkpointing in inversion problems

Navjot Kukreja, Jan Hückelheim, Michael Lange, Mathias Louboutin, Andrea Walther, Simon W. Funke, Gerard Gorman

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

1801.04348 2018-01-16 cs.DC cs.SC 50%

Comprehensive Optimization of Parametric Kernels for Graphics Processing Units

Xiaohui Chen, Marc Moreno-Maza, Jeeva Paudel, Ning Xie

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

1801.00829 2018-01-04 cs.DB 50%

On Optimizing Operator Fusion Plans for Large-Scale Machine Learning in SystemML

Matthias Boehm, Berthold Reinwald, Dylan Hutchison, Alexandre V. Evfimievski, Prithviraj Sen

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

1704.01127 2017-11-21 quant-ph cs.DC cs.ET 50%

0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit

Thomas Häner, Damian S. Steiger

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

Journal ref Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. SC 2017. Article No. 33

1711.01229 2017-11-09 cs.DC 50%

Toward real-time data query systems in HEP

Jim Pivarski, David Lange, Thanat Jatuphattharachat

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

Comments 6 pages, 2 figures, proceedings for ACAT 2017

1702.04294 2017-11-03 cs.NI 50%

The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure

Diego Kreutz, Jiangshan Yu, Paulo Esteves-Verissimo, Catia Magalhaes, Fernando M. V. Ramos

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

Comments 12 pages, 7 figures, 2 algorithms, 41 references

1709.09019 2017-09-27 cs.LO 50%

Synthesizing SystemC Code from Delay Hybrid CSP

Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan

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

1705.00355 2017-08-08 cs.LO cs.FL 50%

Domains for Higher-Order Games

Matthew Hague, Roland Meyer, Sebastian Muskalla

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

Comments Conference version accepted for presentation and publication at the 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)

1707.04566 2017-07-17 cs.PF 50%

Pushing the Limits of Online Auto-tuning: Machine Code Optimization in Short-Running Kernels

Fernando Endo, Damien Couroussé, Henri-Pierre Charles

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

Comments Extension of a Conference Paper published in the proceedings of MCSoC-16: IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, France, 2016

1707.03967 2017-07-14 cs.CR 50%

Policy by Example: An Approach for Security Policy Specification

Adwait Nadkarni, William Enck, Somesh Jha, Jessica Staddon

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

1706.06697 2017-06-22 cs.DB cs.DS 50%

Index Search Algorithms for Databases and Modern CPUs

Florian Gross

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

Comments Master Thesis with survey on hardware optimized index search algorithms; 70 pages

1604.05872 2017-05-11 cs.MS 50%

An algorithm for the optimization of finite element integration loops

Fabio Luporini, David A. Ham, Paul H. J. Kelly

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

1705.01598 2017-05-05 cs.MS 50%

cuTT: A High-Performance Tensor Transpose Library for CUDA Compatible GPUs

Antti-Pekka Hynninen, Dmitry I. Lyakh

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

1611.08035 2017-05-01 cs.MS 50%

Automating the Last-Mile for High Performance Dense Linear Algebra

Richard Michael Veras, Tze Meng Low, Tyler Michael Smith, Robert van de Geijn, Franz Franchetti

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

1701.07901 2017-01-30 cs.CV 50%

Deep Region Hashing for Efficient Large-scale Instance Search from Images

Jingkuan Song, Tao He, Lianli Gao, Xing Xu, Heng Tao Shen

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

0908.0497 2016-11-18 cs.NI cs.IT math.IT 50%

Network Coding for Multi-Resolution Multicast

MinJi Kim, Daniel Lucani, Xiaomeng Shi, Fang Zhao, Muriel Medard

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

Comments 9 pages, 16 figures, submitted to IEEE INFOCOM 2010

1510.08393 2016-11-02 cs.LO 50%

What's Decidable about Syntax-Guided Synthesis?

Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis

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

1610.06895 2016-10-24 cs.CY 50%

Model-Driven Design of Clinical Guidance Systems

Maryam Rahmaniheris, Yu Jiang, Lui Sha

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

1608.06462 2016-08-24 cs.DS 50%

On Low-High Orders of Directed Graphs: Incremental Algorithms and Applications

Loukas Georgiadis, Aikaterini Karanasiou, Giannis Konstantinos, Luigi Laura

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

1601.05458 2016-01-22 cs.DC 50%

Efficient Compilation to Event-Driven Task Programs

Benoit Meister, Muthu Baskaran, Benoit Pradelle, Thomas Henretty, Richard Lethin

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

Comments 18 pages, 6 figures

1601.01722 2016-01-11 cs.AR cs.DC 50%

Profiling-Assisted Decoupled Access-Execute

Jonatan Waern, Per Ekemark, Konstantinos Koukos, Stefanos Kaxiras, Alexandra Jimborean

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

Comments Presented at HIP3ES, 2016

1412.6102 2015-07-08 hep-ph 50%

HEPMath 1.4: A Mathematica Package for Semi-Automatic Computations in High Energy Physics

Martin Wiebusch

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

Journal ref Comput. Phys. Commun. 195 (2015) 172

1502.04464 2015-06-24 cs.LO 50%

On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark Barrett

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

1311.2404 2015-06-17 physics.comp-ph physics.flu-dyn 50%

Sailfish: a flexible multi-GPU implementation of the lattice Boltzmann method

Michal Januszewski, Marcin Kostur

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

Comments 36 pages, 15 figures

1202.3074 2015-06-04 physics.comp-ph cs.SI physics.soc-ph 50%

Conedy: a scientific tool to investigate Complex Network Dynamics

Alexander Rothkegel, Klaus Lehnertz

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

1504.02264 2015-04-10 cs.DC 50%

Model Coupling between the Weather Research and Forecasting Model and the DPRI Large Eddy Simulator for Urban Flows on GPU-accelerated Multicore Systems

Wim Vanderbauwhede

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

Comments This work was conducted during a research visit at the Disaster Prevention Research Institute of Kyoto University, supported by an EPSRC Overseas Travel Grant, EP/L026201/1

1503.06532 2015-03-24 cs.DC cs.PF 50%

The Feasibility of Using OpenCL Instead of OpenMP for Parallel CPU Programming

Kamran Karimi

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

Comments 8 pages, 4 figures, 2 tables

1012.5569 2015-03-17 hep-ph 50%

Proper Eighth-Order Vacuum-Polarization Function and its Contribution to the Tenth-Order Lepton g-2

T. Aoyama, M. Hayakawa, T. Kinoshita, M. Nio

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

Comments 48 pages, 6 figures. References are corrected

Journal ref Phys.Rev.D83:053003,2011

1409.4925 2015-01-20 cs.LO 50%

Second-Order Propositional Satisfiability

Cristina David, Daniel Kroening, Matt Lewis

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

Comments 19 pages

1. 代码生成 4102 篇

pynucastro: an interface to nuclear reaction rates and code generator for reaction network equations

High-level python abstractions for optimal checkpointing in inversion problems

Comprehensive Optimization of Parametric Kernels for Graphics Processing Units

On Optimizing Operator Fusion Plans for Large-Scale Machine Learning in SystemML

0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit

Toward real-time data query systems in HEP

The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure

Synthesizing SystemC Code from Delay Hybrid CSP

Domains for Higher-Order Games

Pushing the Limits of Online Auto-tuning: Machine Code Optimization in Short-Running Kernels

Policy by Example: An Approach for Security Policy Specification

Index Search Algorithms for Databases and Modern CPUs

An algorithm for the optimization of finite element integration loops

cuTT: A High-Performance Tensor Transpose Library for CUDA Compatible GPUs

Automating the Last-Mile for High Performance Dense Linear Algebra

Deep Region Hashing for Efficient Large-scale Instance Search from Images

Network Coding for Multi-Resolution Multicast

What's Decidable about Syntax-Guided Synthesis?

Model-Driven Design of Clinical Guidance Systems

On Low-High Orders of Directed Graphs: Incremental Algorithms and Applications

Efficient Compilation to Event-Driven Task Programs

Profiling-Assisted Decoupled Access-Execute

HEPMath 1.4: A Mathematica Package for Semi-Automatic Computations in High Energy Physics

On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4

Sailfish: a flexible multi-GPU implementation of the lattice Boltzmann method

Conedy: a scientific tool to investigate Complex Network Dynamics

Model Coupling between the Weather Research and Forecasting Model and the DPRI Large Eddy Simulator for Urban Flows on GPU-accelerated Multicore Systems

The Feasibility of Using OpenCL Instead of OpenMP for Parallel CPU Programming

Proper Eighth-Order Vacuum-Polarization Function and its Contribution to the Tenth-Order Lepton g-2

Second-Order Propositional Satisfiability