Scientific Foundations
Application Domains
Software
New Results
- Reactive Programming
- n-Synchronous Languages
- Strong normal form for large integers, boolean functions and finite automata
- A theory of safe optimisations in the C11/C++11 memory model and applications to compiler testing
- A verified compiler for relaxed-memory concurrency
- Compiling C/C++ concurrency from C++11 to POWER
- Compilation techniques for synchronous languages
- Generation of Parallel Code from Synchronous Programs
- Semantics and Implementation of Hybrid System Modelers
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography