GALLIUM - 2017 - Annual activity report

GALLIUM

GALLIUM - 2017

Project-Team Gallium

Personnel

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 parallelism
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 2017, Jacques-Henri Jourdan received the “prix du GDR GPL” (http://gdr-gpl.cnrs.fr/node/284) for his dissertation, entitled “Verasco: a Formally Verified C Static Analyzer”. Jacques-Henri was a Ph.D. student in the Gallium team, advised by Xavier Leroy.

Previous |

Home | Next next