-----------------------------------------------

Place: Schreiber 309
Time: 11:00 gathering, cookies and coffee
11:15-12:15 colloquium talk

Speaker: Doron Peled,  Bar Ilan University

Title: Synthesis using genetic programming based on Model Checking.

Abstract:

We show how the use of genetic programming, in combination of model checking and testing, provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heauristics. We describe several versions of a method for synthesizing sequential and concurrent systems. To cope with the constraints of model checking and of theorem proving, we combine  such exhaustive verification methods with testing. We show several examples where we used our approach to synthesize, improve and correct code.

-----------------------------------------------

 PL seminar: Shmulik Regev: "Cloud Development and Operations in the real world"

Sun, May 18, 12:30 – 14:30

Schreiber 309 

DescriptionTrusteer, a security company (acquired by IBM), built its entire service using the cloud support the worlds largest banks and 100Ms of clients from it. The lecture will provide an overview of a modern cloud architecture with a lot of practical lessons (learned in the most painful way) on how to design and operate a world class cloud service.

-----------------------------------------------