Synthesis of concurrent programs using genetic programming

7^th April 2015, 13:00 Ashton Lecture Theater
Prof Doron Peled
Department of Computer Science
Bar Ilan University
Israel

Abstract

We prosent 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 to intervene by tuning various parameters and supplying specifications 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.