GALLIUM - 2018 - Annual activity report

GALLIUM

GALLIUM - 2018

Project-Team Gallium

Team, Visitors, External Collaborators

Overall Objectives

Research at Gallium

Research Program

Programming languages: design, formalization, implementation
Type systems
Compilation
Interface with formal methods

Application Domains

High-assurance software
Software security
Processing of complex structured data
Rapid development
Teaching programming

Highlights of the Year

New Software and Platforms

Compcert
Diy
Menhir
OCaml
PASL
ZENON
OPAM Builder
TLAPS
CFML
ldrgen

New Results

Formal verification of compilers and static analyzers
Language design and type systems
Shared-memory concurrency
The OCaml language and system
Software specification and verification

Bilateral Contracts and Grants with Industry

Bilateral Contracts 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

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

In 2018, Xavier Leroy received the “Grand prix” jointly awarded by Inria and Académie des sciences.

Gergö Barany received the Best Paper Award for the paper “Finding Missed Compiler Optimizations by Differential Testing” [19] at the 27th International Conference on Compiler Construction (CC 2018).

Previous |

Home | Next next