Research Program
Application Domains
New Software and Platforms
New Results
- Efficiently Subtyping Union Types
- Fast and reliable unwinding via DWARF tables
- Verified compilation of Lustre
- Specifying multi-clock Lustre programs
- The Zelus Language
- Reactive Probabilistic Programming
- Identification of matrix operations for Compute-In-Memory architectures from a high-level Machine Learning framework
- Applying reinforcement learning to improve a branch-and-bound optimizing compiler
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Software and Platforms
New Results
- Efficiently Subtyping Union Types
- Fast and reliable unwinding via DWARF tables
- Verified compilation of Lustre
- Specifying multi-clock Lustre programs
- The Zelus Language
- Reactive Probabilistic Programming
- Identification of matrix operations for Compute-In-Memory architectures from a high-level Machine Learning framework
- Applying reinforcement learning to improve a branch-and-bound optimizing compiler
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Previous | 
Home