Further Decimating the Inductive Programming Search Space with Instruction Digrams

05/22/2023
by   Edward McDaid, et al.
0

Overlapping instruction subsets derived from human originated code have previously been shown to dramatically shrink the inductive programming search space, often by many orders of magnitude. Here we extend the instruction subset approach to consider direct instruction-instruction applications (or instruction digrams) as an additional search heuristic for inductive programming. In this study we analyse the frequency distribution of instruction digrams in a large sample of open source code. This indicates that the instruction digram distribution is highly skewed with over 93 instruction digrams not represnted in the code sample. We demonstrate that instruction digrams can be used to constrain instruction selection during search, further reducing size of the the search space, in some cases by several orders of magnitude. This significantly increases the size of programs that can be generated using search based inductive programming techniques. We discuss the results and provide some suggestions for further work.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/10/2023

Shrinking the Inductive Programming Search Space with Instruction Subsets

Inductive programming frequently relies on some form of search in order ...
research
06/24/2021

A Note on Exhaustive State Space Search for Efficient Code Generation

This note explores state space search to find efficient instruction sequ...
research
12/10/2021

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion

We present a PDR/IC3 algorithm for finding inductive invariants with qua...
research
06/13/2012

Bounding Search Space Size via (Hyper)tree Decompositions

This paper develops a measure for bounding the performance of AND/OR sea...
research
04/12/2017

Parallelized Kendall's Tau Coefficient Computation via SIMD Vectorized Sorting On Many-Integrated-Core Processors

Pairwise association measure is an important operation in data analytics...
research
07/01/2023

InstructEval: Systematic Evaluation of Instruction Selection Methods

In-context learning (ICL) performs tasks by prompting a large language m...
research
02/02/2021

MANA: Microarchitecting an Instruction Prefetcher

L1 instruction (L1-I) cache misses are a source of performance bottlenec...

Please sign up or login with your details

Forgot password? Click here to reset