- author = "Conor Ryan and Paul Walsh",
- title = "The Evolution of Provable Parallel Programs",
- booktitle = "Genetic Programming 1997: Proceedings of the Second Annual Conference",
- editor = "John R. Koza and Kalyanmoy Deb and Marco Dorigo and David B. Fogel and Max Garzon and Hitoshi Iba and Rick L. Riolo",
- year = "1997",
- month = "13-16 " # jul,
- keywords = "genetic algorithms, genetic programming, autoparallelisation",
- pages = "295--302",
- address = "Stanford University, CA, USA",
- publisher_address = "San Francisco, CA, USA",
- publisher = "Morgan Kaufmann",
-
URL = "
http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/gp1997/ryan_1997_eppp.pdf",
- size = "8 pages",
- abstract = "We describe an application of genetic programming to the automatic parallelization of serial programs. Not only do converted programs have the usual speed up in performance associated with parallel programs, but it can be proved that the parallel version produced by our system is 100percent functionally identical to the original program. Using a technique we term directed data dependency analysis our system, Paragen II, builds a list of transformations that will convert a serial program to its parallel equivalent. This list can subsequently be used to prove that the two programs are identical.",
-
notes = "Paragen2, PAR, SEQ, normal order = lazy evaluation =
call by need. FSEQ, LSEQ, FPAR, LPAR, P50, S50,
Shift(delay), NULL = (leaf) end of list of
transformations. sec 3.9.3 P50 'examined for [data]
dependency violations'. C source code. 'Paragen II'
'moves away from the time consuming evaluation of
programs' (used in Paragen1).
Piercom Ltd.
GP-97",
