GALLIUM - 2015 - Annual activity report

GALLIUM

GALLIUM - 2015

Project-Team Gallium

Members

Overall Objectives

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

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
International Research Visitors

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

In 2015, Xavier Leroy was appointed Fellow of the ACM “for contributions to safe, high-performance functional programming languages and compilers, and to compiler verification”.

Xavier Leroy will receive the 2016 Royal Society Milner Award .

Previous |

Home | Next next