SYNCHRON 2022 Workshop

I did a talk at SYNCHRON 2022 (https://project.inria.fr/synchron2022/) in Fréjus. It focuses on my work on Vélus, specifically on the semantics and compilation of shared variables and state machines. I also discuss how the dependency analysis of Vélus can be adapted to handle activation structures properly.

The slides are available at synchron2022.pdf
The demo website for Vélus is available at https://vertmo.org/jsofocaml/try-velus. You can access the relevant example by clicking File > Open stepper.lus