This paper proposes an adaptive neural-compilation framework to address the problem of efficient program learning. Traditional code optimisation strategies used in compilers are based on applying pre-specified set of transformations that make the code faster to execute without changing its semantics. In contrast, our work involves adapting programs to make them more efficient while considering correctness only on a target input distribution. Our approach is inspired by the recent works on differentiable representations of programs. We show that it is possible to compile programs written in a low-level language to a differentiable representation. We also show how programs in this representation can be optimised to make them efficient on a ta...
Traditional compilers treat all programs equally -that is, they apply the same set of techniques to ...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
This paper proposes an adaptive neural-compilation framework to address the problem of efficient pro...
We study the problem of learning differentiable functions expressed as programs in a domain-specific...
There are families of neural networks that can learn to compute any function, provided sufficient tr...
We present a new program synthesis approach that combines an encoder-decoder based synthesis archite...
The end of Moore's law is driving the search for new techniques to improve system performance as app...
Program synthesis, or automatically writing programs from high-level specifications has been a long-...
Compile-time optimization is often limited by a lack of target machine and input data set knowledge....
In the recent decade, Intelligent Systems--advanced computer systems that can make useful prediction...
Programming is a task that has accompanied all computer scientists since as early as the vacuum tube...
In this paper we show that programming languages can be translated into recurrent (analog, rational ...
Context: With the prevalence of publicly available source code repositories to train deep neural net...
Classic algorithms and machine learning systems like neural networks are both abundant in everyday l...
Traditional compilers treat all programs equally -that is, they apply the same set of techniques to ...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
This paper proposes an adaptive neural-compilation framework to address the problem of efficient pro...
We study the problem of learning differentiable functions expressed as programs in a domain-specific...
There are families of neural networks that can learn to compute any function, provided sufficient tr...
We present a new program synthesis approach that combines an encoder-decoder based synthesis archite...
The end of Moore's law is driving the search for new techniques to improve system performance as app...
Program synthesis, or automatically writing programs from high-level specifications has been a long-...
Compile-time optimization is often limited by a lack of target machine and input data set knowledge....
In the recent decade, Intelligent Systems--advanced computer systems that can make useful prediction...
Programming is a task that has accompanied all computer scientists since as early as the vacuum tube...
In this paper we show that programming languages can be translated into recurrent (analog, rational ...
Context: With the prevalence of publicly available source code repositories to train deep neural net...
Classic algorithms and machine learning systems like neural networks are both abundant in everyday l...
Traditional compilers treat all programs equally -that is, they apply the same set of techniques to ...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...