CELTIQUE - 2018 - Annual activity report

CELTIQUE

CELTIQUE - 2018

Project-Team Celtique

Team, Visitors, External Collaborators

Overall Objectives

Project overview

Highlights of the Year

New Software and Platforms

CompcertSSA
Jacal
Javalib
JSCert
SAWJA
Timbuk
jsexplain

New Results

Software Fault Isolation
Compilation and Side-Channels
Semantic study of the Sea-of-Nodes form
Certified Concurrent Garbage Collector
Formalization of Higher-Order Process Calculi
Certified Semantics and Analyses for JavaScript
Skeletal Semantics
Verification of High-Level Transformations with Inductive Refinement Types
Static analysis of functional programs using tree automata and term rewriting

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

The ERC Consolidator grant VESTA on verified static analysis was awarded to David Pichardie and launched in September 2018.
The ANR project scrypt led by Frédéric Besson was accepted and starts in February 2019.

Best Paper Award:

[19]

A. Salim Al-Sibahi, A. S. Dimovski, T. Jensen, A. Wasowski.

Verification of High-Level Transformations with Inductive Refinement Types, in: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Boston, United States, November 2018, pp. 1-14.

https://hal.inria.fr/hal-01898058

Previous |

Home | Next next