Rewriting is a principled term transformation technique with uses across theorem proving
and compilation. In theorem proving, each rewrite is a proof step; in compilation, rewrites …

In recent years, researchers have proposed a number of automated tools to identify and
improve floating-point rounding error in mathematical expressions. However, users struggle …

Generating high-performance code for diverse hardware and application domains is
challenging. Functional array programming languages with patterns like map and reduce …

Developments in hardware have delivered formidable computing power. Yet, the increased
hardware complexity has made it a real challenge to develop software that exploits the …

In many digital image-processing applications, which are implemented in field
programmable gate arrays, the currently processed image's frames are stored in external …

The need to intensify the extraction process using the influence of chemical reagents on
beet chips was substantiated. The analysis of appli-cation of natural sorbents in food …

While Programming By Example (PBE) holds the promise of putting programming tasks in
reach for nonprogrammer domain experts, PBE for complex programs often requires a large …

In high performance domains like image processing, physics simulation or machine
learning, program performance is critical. Programmers called performance engineers are …