Project-Team:GALLIUM

Project-Team Gallium

Members

Overall Objectives

Introduction
Highlights of the Year

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

Software and Platforms

OCaml
CompCert C
The diy tool suite
Zenon
JoCaml

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
Technology transfer

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2013 | Presentation of the Project-Team GALLIUM | GALLIUM Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Overall Objectives

Highlights of the Year

Didier Le Botlan (INSA Toulouse) and Didier Rémy received the ACM SIGPLAN Most Influential ICFP Paper Award for their ICFP 2003 paper, MLF: Raising ML to the power of System F [44] .

Previous |

Home | Next next