The 28 and 29 Sept the Scale team organises a small informal workshop on the current and future trends on active-objects, actor languages, and the verification tools for those languages. It will be in rooms Kahn 1 and Kahn 2. Everybody is welcome to attend and participate.
Program (preliminary)
!!! Each talk has a 45 minutes time-slot in order to leave plenty of time for discussions — Consequently, please plan on approx. 30 minutes of presentation; also please try to present your current and future works (at least in the conclusion of your talk) in order to trigger even more discussions.
Monday
12:30 lunch at inria
14:00 introduction and brief presentation of the participants
14:30 sharing objects in ponyrt —Albert Yang — slides
15:15 Deploying ABS active objects using the ProActive library — Justine Rochas and Ludovic Henrio — slides
16:00 coffee break
16:30 Modelling an open-source data center kernel in ABS — Behrooz Nobakht
17:15 State of art and challenges in deductive verification of concurrent programs with cooperative scheduling — Crystal Din — slides
Tuesday
9:15 A Design Pattern for Modelling Parallel and Distributed Applications using ABS and JAVA 8 — Vlad Serbanescu — slides
10:00 Coffee break
10:30 Integrated environment for verifying and running distributed components — Oleksandra Kulankhina
11:15 A workflow for statically verifying program properties — Abel Garcia
12:15 lunch at Restaurant in Sophia (Le Provencal Golf)
14:00 Deadlock analysis for concurrent and distributed programming— Vincenzo Mastandrea
14:45 Integration of active objects with parallel combinators — Kiko Fernandez
15:30 wrap up and global discussions
16:00 coffee break (and discussions)