Synthesis of Concurrent Programs Using Genetic Programming
Prof. Doron Peled, Bar Ilan University
We present a method to automatically generate concurrent code using genetic programming, based on automatic verification. As the problem of constructing concurrent code is in general undecidable, the user needs the intervene by tuning various parameters and supplying specification and hints that would steer the search for correct code in the right direction. We demonstrate how various hard-to-program protocols are generated using our method and our developed tool. We show how a commonly used protocol for coordinating concurrent interactions was found to be incorrect using our tool, and was then subsequently fixed.
Prof. Doron Peled received his Phd from the Technion, Israel Institute of Technology at 1991. After postdoc at the university of Warwick, he bacame a Bell Labs scientist. In 2001 Doron moved to the university of Texas in Austin as an associate Professor and in 2002 he was offerred the chair of software engineering at the University of Warwick in England. Since 2007, Doron is a professor of Computer Science at Bar Ilan University. Doron is a coauthor of the book Model Checking, with Clarke and Grumberg, and the author of the book Software Reliability Methods. His research interests are verification, automata theory and software synthesis.