Project-Team Parkas
Members
Overall Objectives
Research Program
Programming Languages for Cyber-Physical Systems
Efficient Compilation for Parallel and Distributed Computing
Validation and Proof of Compilers
Highlights of the Year
New Software and Platforms
Cmmtest
GCC
Heptagon
Lem
Lucid Synchrone
Lucy-n
Ott
PPCG
ReactiveML
SundialsML
Zélus
isl
New Results
Verified compilation of Lustre
Fence Optimisations for Multicore Architectures
Compiling synchronous languages for multi-processor implementations
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Publications of the year
Inria
|
Raweb 2016
|
Presentation of the Project-Team PARKAS
|
PARKAS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Highlights of the Year
Highlights of the Year
Awards
Marc Pouzet won the Inria/French Académie des Sciences/Dassault Systèmes Innovation award.
Previous |
Home
| Next