1st International Workshop on Practical Synthesis for Concurrent Systems

Aim and Scope

Concurrent systems are notoriously hard to design, implement, and verify. Formal synthesis has been investigated in various contexts, but had limited success in practice. The increasing importance of concurrent systems, and the inherent difficulty in verifying them postfactum, provide an exciting practical setting for investigation of formal synthesis.

The aim of this workshop is to bring together researchers to exchange and develop new ideas in all aspects of formal program synthesis, with emphasis on concurrent systems. We invite contributions from a wide spectrum of areas, ranging from basic theory to applied practical work.




Videos of PSY talks are available here


9:00 -09:10Opening
9:10 -10:00 Dietmar Berwanger and Laurent Doyen Imperfect-Information Games for System Design. Models, Applications, and Tools
10:00-10:30break (across all workshops)
10:30-11:00Satnam Singh C-to-Gates Synthesis of Dynamic Data Structures
11:00-11:30Tom Henzinger Quantitative Synthesis
11:30-12:00Barbara Jobstmann Environment Assumptions for Synthesis
12:00-14:00lunch (across all workshops)
14:00-14:30Cliff JonesRely/guarantee thinking and its role in splitting atoms safely
14:30-15:00 Amir Pnueli"Practical" Synthesis of Programs from Temporal Property Specifications
15:00-15:30Armando Solar-Lezama The Sketching Approach to Practical Synthesis
15:30-16:00 break (across all workshops)
16:00-16:30Yoad Lustig Synthesis from Component Libraries
16:30-17:00 discussion



PSY 2009 will take place at Europole in Grenoble. More details can be found here.


PSY 2009 is supported by: