PARKAS

The PARKAS project focuses on the design, semantics and compilation of high-level languages which allow to go, all the way down, from a parallel deterministic specification to a target embedded code that may execute on parallel (multi-core) architectures. The team bases its research on the theory and practice of synchronous languages, typed functional languages and modern compilation techniques (polyhedral compilation) to obtain provably safe and efficient code. The team develops languages and compilers (e.g., Zelus, Vélus, Lucid Synchrone, ReactiveML, contributions to GCC) used as vehicules for validating, communicating and transfering research results. Lucid Synchrone, for example, is the basis of the new SCADE 6 language commercialized since 2008 by Esterel-Technologies.