GALLIUM - 2016 - Annual activity report

GALLIUM

GALLIUM - 2016

Project-Team Gallium

Members

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
OPAM Builder
PASL
TLAPS
Zenon

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: Dissemination

Popularization

Xavier Leroy gave a popularization talk on formal methods at the plenary days of Inria's DGD-T (may 2016) and another on critical avionics software for first-year students at École Polytechnique (june 2016).

Previous |

Home | Next next