28-29 Sept Active-object “workshop”

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.

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

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)

Leave a Reply