On the one hand, swarm intelligence (SI) is an emerging field of artificial intelligence that takes inspiration in the collective and social behavior of different groups of simple agents. On the other hand, the automatic evolution of programs is an active research area that has attracted a lot of interest and has been mostly promoted by the genetic programming paradigm. The main objective is to...

Genetic programming can be used as an automated invention machine to synthesize designs for complex structures. In particular, genetic programming has automatically synthesized complex structures that infringe, improve upon, or duplicate the functionality of 21 previously patented inventions (including analog electrical circuits, controllers, and mathematical algorithms). Genetic programming ha...

Programming SIMD arrays in languages such as C or FORTRAN is difficult and although work on automatic parallelizing programs has achieved much, it is far from satisfactory. In particular, almost all ‘fully’ automatic parallelizing compilers place fundamental restrictions on the input language. Alternatively OpenMP provides an approach to parallel programming that supports incremental improvemen...

...................................................................................... xviii

Human programmers seem to know a lot about programming. This suggests a way to try to build automatic programming systems: encode this knowledge in some machine-usable form. In order to test the viability of this approach, knowledge about elementary symbolic programming has been codified into a set of about four hundred detailed rules, and a system, called PECOS, has been built for applying the...

The paper presents a design for the Denali-2 super-optimizer, which will generate minimum-instruction-length machine code for realistic machine architectures using automatic theorem-proving technology: specifically, using E-graph matching (a technique for pattern matching in the presence of equality information) and boolean satisfiability solving. The paper presents a precise definition of the ...

Parallel architectures with physically distributed memory providing computing cycles and large amounts of memory are becoming more and more common. To make such architectures truly usable, programming models and support tools are needed to ease the programming eeort for these parallel systems. Automatic data distribution tools and techniques play an important role in achieving that goal. This p...