Most implementations of the Single Instruction Multiple Data (SIMD) model available today
require that data elements be packed in vector registers. Operations on disjoint vector …

Smart contract decompilers, converting smart contract bytecode into smart contract source
code, have been used extensively in many scenarios such as binary code analysis, reverse …

This paper presents the design of an induction variable analyzer suitable for the analysis of
typed, low-level, three address representations in SSA form. At the heart of our analyzer is a …

The multi-index matching is an NP-hard combinatorial optimization problem; for two indices
it reduces to the well understood bipartite matching problem that belongs to the polynomial …

The Static Single Assignment (SSA) language is one of the intermediate representations
commonly used in industrial compilers. However, there was little interest from the static …

High-level synthesis (HLS) can be used to create hardware accelerators for compute-
intense software parts such as loop structures. Usually, this process requires significant …

A compiler optimizing transformation called complete inlining to inline and eliminate
recursive calls is presented. The complete inlining can eliminate the recursive calls that …

High-Level synthesis typically tries to generate efficient hardware structures starting from
procedural, imperative programming languages like C. Unfortunately, statements in these …

As transistors size and power limitations stroke computer industry, hardware parallelism
arose as the solution, bringing old forgotten problems back into equation to solve the …

In a system for enabling configuration of an ensemble of several solvers, such that the
ensemble can efficiently solve a constraint problem, for each one of several candidate …