BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260914T075350Z
UID:Seminar-dept-373@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20150407T130000
DTEND:20150407T140000
SUMMARY:School Seminar Series
DESCRIPTION:Prof Doron Peled: Synthesis of concurrent programs using genetic programming\n\nWe 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\n\nneeds 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.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=373
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR