代码大模型 / AI 编程

Making sense of sensory input

Richard Evans, Jose Hernandez-Orallo, Johannes Welbl, Pushmeet Kohli, Marek Sergot

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

An Image Enhancing Pattern-based Sparsity for Real-time Inference on Mobile Devices

Xiaolong Ma, Wei Niu, Tianyun Zhang, Sijia Liu, Sheng Lin, Hongjia Li, Xiang Chen, Jian Tang, Kaisheng Ma, Bin Ren, Yanzhi Wang

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

Comments Paper accepted in the 16th European Conference on Computer Vision (ECCV 2020)

Corrigendum and Supplement to "Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code (with Optimized Memory)"

Yixiao Yang

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

Comments This paper contains the supplement to the implementation details of the origin paper

Adaptive Correlated Monte Carlo for Contextual Categorical Sequence Generation

Xinjie Fan, Yizhe Zhang, Zhendong Wang, Mingyuan Zhou

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

Comments ICLR 2020 (updated to fix a typo in Algorithm 1)

Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture

Evandro Chagas Ribeiro da Rosa, Rafael de Santiago

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

CacheQuery: Learning Replacement Policies from Hardware Caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

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

Comments 17 pages, 5 tables, 5 figures

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés

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

Learning Concise Models from Long Execution Traces

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening, John O'Leary

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

Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code

Abhinav Jangda, Bobby Powers, Emery Berger, Arjun Guha

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

Comments Accepted (to appear) at USENIX Annual Technical Conference 2019

Bringing GNU Emacs to Native Code

Andrea Corallo, Luca Nassi, Nicola Manca

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

Comments 8 pages, 1 figure

Efficient Logging for Blockchain Applications

Christopher Klinkmüller, Ingo Weber, Alexander Ponomarev, An Binh Tran, Wil van der Aalst

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

LIMITS: Lightweight Machine Learning for IoT Systems with Resource Limitations

Benjamin Sliwa, Nico Piatkowski, Christian Wietfeld

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

Optimizing Ordered Graph Algorithms with GraphIt

Yunming Zhang, Ajay Brahmakshatriya, Xinyi Chen, Laxman Dhulipala, Shoaib Kamil, Saman Amarasinghe, Julian Shun

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

Journal ref CGO 2020

CounterExample Guided Neural Synthesis

Elizabeth Polgreen, Ralph Abboud, Daniel Kroening

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

Comments 17 pages, 6 figures

PatDNN: Achieving Real-Time DNN Execution on Mobile Devices with Pattern-based Weight Pruning

Wei Niu, Xiaolong Ma, Sheng Lin, Shihao Wang, Xuehai Qian, Xue Lin, Yanzhi Wang, Bin Ren

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

Comments To be published in the Proceedings of Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 20)

A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained Systems

Oliver Urbann, Simon Camphausen, Arne Moos, Ingmar Schwarz, Sören Kerner, Maximilian Otten

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

Deep Static Modeling of invokedynamic

George Fourtounis, Yannis Smaragdakis

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

Journal ref ECOOP 2019

Interpreting OWL Complex Classes in AutomationML based on Bidirectional Translation

Yingbing Hua, Björn Hein

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

Comments As accepted to IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019)

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation

Baltasar Trancón y Widemann, Markus Lepper

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

Comments Part of DECLARE 19 proceedings

Adversarial Examples to Fool Iris Recognition Systems

Sobhan Soleymani, Ali Dabouei, Jeremy Dawson, Nasser M. Nasrabadi

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

Comments 2019 International Conference on Biometrics (ICB 2019)

Introducing Certified Compilation in Education by a Functional Language Approach

Per Lindgren, Marcus Lindner, Nils Fitinghoff

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

Comments In Proceedings TFPIE 2018, arXiv:1906.10757

Journal ref EPTCS 295, 2019, pp. 65-78

A Modular and Extensible Software Architecture for Particle Dynamics

Sebastian Eibl, Ulrich Rüde

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

Comments Proceedings Of The 8Th International Conference On Discrete Element Methods

Investigating the OPS intermediate representation to target GPUs in the Devito DSL

Vincenzo Pandolfo

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

Synthesizing Datalog Programs Using Numerical Relaxation

Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

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

Comments Per editor's instructions, this is only an early preprint of the paper which will be presented at IJCAI 2019

Synthesizing Symmetric Lenses

Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

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

Comments ICFP 2019

Jointly Learning Semantic Parser and Natural Language Generator via Dual Information Maximization

Hai Ye, Wenjie Li, Lu Wang

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

Comments Accepted to ACL 2019

Smart Contract Design Meets State Machine Synthesis: Case Studies

Dmitrii Suvorov, Vladimir Ulyantsev

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

Interpreted Execution of Business Process Models on Blockchain

Orlenys López-Pintado, Marlon Dumas, Luciano García-Bañuelos, Ingo Weber

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

Comments Preprint for 23rd IEEE International EDOC 2019 Conference (conference proceedings IEEE Computer Society Press)

A Survey on Semantic Parsing

Aishwarya Kamath, Rajarshi Das

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

Comments AKBC 2019

Effects Without Monads: Non-determinism -- Back to the Meta Language

Oleg Kiselyov

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

Comments In Proceedings ML 2017, arXiv:1905.05909

Journal ref EPTCS 294, 2019, pp. 15-40