Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
- Reactive Programming
- -Synchronous Languages
- Mechanization of AODV loop freedom proof
- Hybrid Synchronous Languages
- Fidelity in Real-Time Programming
- A theory of safe optimisations in the C11/C++11 memory model and applications to compiler testing
- A verified compiler for relaxed-memory concurrency
- Language design on top of JavaScript
- Tiling for iterated stencils
- Compilation for scalable on-chip parallelism
- Correct and efficient runtime systems
- Checking Synchronous Compiler Correctness
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
- Reactive Programming
- -Synchronous Languages
- Mechanization of AODV loop freedom proof
- Hybrid Synchronous Languages
- Fidelity in Real-Time Programming
- A theory of safe optimisations in the C11/C++11 memory model and applications to compiler testing
- A verified compiler for relaxed-memory concurrency
- Language design on top of JavaScript
- Tiling for iterated stencils
- Compilation for scalable on-chip parallelism
- Correct and efficient runtime systems
- Checking Synchronous Compiler Correctness
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home