PARKAS - 2014 - Annual activity report

PARKAS

PARKAS - 2014

Project-Team Parkas

Members

Overall Objectives

Research Program

Presentation and originality of the PARKAS team

Application Domains

Provably safe and efficient computing systems

New Software and Platforms

Lucid Synchrone
ReactiveML
Heptagon
Lucy-n: an n-synchronous data-flow programming language
ML-Sundials
Zélus
GCC
isl
ppcg
Tool support for the working semanticist
Cmmtest: a tool for hunting concurrency compiler bugs

New Results

Highlights of the Year
Quasi-synchrony
Hybrid Synchronous Languages
Fidelity in Real-Time Programming
Mechanization of AODV loop freedom proof
Reasoning about C11 Program Transformations
Language design on top of JavaScript
Tiling for Stencils
Portable representation for polyhedral compilation
Correct and efficient runtime systems
A Functional Synchronous Language with Integer Clocks

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Previous |

Home | Next next

Section: New Results

Highlights of the Year

The paper ReactiveML, a reactive extension to ML of Mandel and Pouzet has been declared to be the most influential paper of PPDP (Principles and Practice of Declaractive Programming) 2005. A previous version of the paper, submitted to JFLA'05, has been declared to be “une contribution marquante parmi les articles publiés aux JFLA”.

Previous |

Home | Next next