Programme of SLAP


SUNDAY, March 28

9.00
9.10
Welcome and opening.
9.10
10.00
Invited talk

Hybrid synchronous languages
Vijay Saraswat
10.00
10.30
Coffee
10.30
12.30

From discrete duration calculus to symbolic automata,
L. Gonnord, N. Halbwachs, and P. Raymond.

Syntax-driven behavior partitioning for model-checking of Esterel programs,
E. Vecchié and R. de Simone.

Synchronous dataflow pattern-matching,
G. Hamon.

Discussion
12.30
14.30
Lunch
14.30
16.00

Goto and concurrency: Introducing safe jumps in Esterel,
O. Tardieu.

A verified compiler for synchronous programs with local declarations,
K. Schneider, J. Brandt, and T. Schüle.

Discussion
16.00
16.30
Coffee
16.30
18.00

synERJY - an object-oriented synchronous language,
R. Budde, A. Poigné, and K.-H. Sylla.

Compiling Esterel into static discrete-event code,
S. Edwards, V. Kapadia, and M. Halas.

Discussion

Evening Pre-Conference Workshops Dinner