Efficient Markov chain model of machine code program execution and halting

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@InCollection{poli:2006:GPTP,

• author = "Riccardo Poli and William B. Langdon",
• title = "Efficient Markov chain model of machine code program execution and halting",
• booktitle = "Genetic Programming Theory and Practice {IV}",
• year = "2006",
• editor = "Rick L. Riolo and Terence Soule and Bill Worzel",
• volume = "5",
• series = "Genetic and Evolutionary Computation",
• pages = "257--278",
• address = "Ann Arbor",
• month = "11-13 " # may,
• publisher = "Springer",
• keywords = "genetic algorithms, genetic programming",
• ISBN = "0-387-33375-4",
• URL = "http://www.cs.essex.ac.uk/staff/poli/papers/GPTP2006.pdf",
• DOI = "doi:10.1007/978-0-387-49650-4_16",
• size = "16 pages",
• abstract = "We focus on the halting probability and the number of instructions executed by programs that halt for Turing-complete register based machines. The former represents the fraction of programs which provide useful results in a machine code genetic programming system. The latter determines run time and whether or not the distribution of program functionality has reached a fixed-point. We describe a Markov chain model of program execution and halting which accurately fits empirical data allowing us to efficiently estimate the halting probability and the numbers of instructions executed for programs including millions of instructions. We also discuss how this model can be applied to improve GP practice.",
• notes = "Video at (broken Nov 2020) http://video.google.com/videoplay?docid=-3432013567298818193 (broken Nov 2020) http://cswww.essex.ac.uk/staff/rpoli/gptp06/ (high resolution)",
• notes = "part of \cite{Riolo:2006:GPTP} Published Jan 2007 after the workshop",

}

Genetic Programming entries for Riccardo Poli William B Langdon

Citations