Project-Team:PARKAS

Project-Team Parkas

Team, Visitors, External Collaborators

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
isl
Lem
Lucid Synchrone
Lucy-n
Ott
PPCG
ReactiveML
SundialsML
Zelus

New Results

Verified compilation of Lustre
Julia Subtyping Reconstructed
Comparing Designs for Gradual Types
Fast and reliable unwinding via DWARF tables
Sundials/ML: OCaml interface to Sundials Numeric Solvers
Zélus
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
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

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2018 | Presentation of the Project-Team PARKAS | PARKAS Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Guillaume Baudart was awarded the ACM SIGBED Paul Caspi Memorial Dissertation Award for his thesis “A Synchronous Approach to Quasi-Periodic Systems” [27] prepared in the PARKAS Team under the supervision of Marc Pouzet and Timothy Bourke and defended in 2017.

Previous |

Home | Next next