Synthesizing Round Based Fault-Tolerant Programs using Genetic Programming

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

@TechReport{MSU-CSE-13-9,

• author = "Ling Zhu and Sandeep Kulkarni",
• title = "Synthesizing Round Based Fault-Tolerant Programs using Genetic Programming",
• number = "MSU-CSE-13-9",
• institution = "Department of Computer Science, Michigan State University",
• address = "East Lansing, Michigan, USA",
• keywords = "genetic algorithms, genetic programming, genetic improvement, APR, SBSE, Program synthesis, Distributed programs, Fault-tolerance, NSGA-II",
• month = aug,
• year = "2013",
• author1_email = "zhuling@cse.msu.edu",
• author2_url = "http://www.cse.msu.edu/~sandeep/",
• author2_email = "sandeep@cse.msu.edu",
• size = "15",
• file = "/user/web/htdocs/publications/tech/TR/MSU-CSE-13-9.ps",
• URL = "http://www.cse.msu.edu/cgi-user/web/tech/document?ID=1022",
• URL = "http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-13-9.ps",
• contact = "sandeep@cse.msu.edu",
• abstract = "In this paper, we present an approach to synthesise round based distributed fault-tolerant programs using stack based genetic programming. Our approach evolves a fault-tolerant program based on a round based structure and the program specification. To permit such evolution, we use a multi-objective fitness function that characterises the correctness of the program in the absence of faults, in the presence of a single fault and in the presence of multiple faults. This multi-objective fitness function attempts to synthesise a program that works equally well in all these scenarios. We demonstrate the effectiveness of our approach using two case studies: a byzantine agreement problem and a token ring problem.",
• notes = "Cited by \cite{conf/sss/ZhuK13}. PushGP operator stack and values stack. Program structure (Fig 2) as nested if(cond1)/elseif(condn) then write to variable fixed by user before evolution. Ie GP works only on cond1...condn. May be in future (sec 5) use model checking to evaluate (assign fitness of) generated programs.",

}

Genetic Programming entries for Ling Zhu Sandeep Kulkarni

Citations