Team Lande

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Contracts and Grants with Industry

Keywords : Java, Term Rewriting, Reachability Analysis, Application certification.

The ANR SETIN PARSEC

Participants : Frédéric Besson, Frédéric Dabrowski, Thomas Jensen, David Pichardie.

The ParSec project (2007–2010) intends to study concurrent programming techniques for new computing architectures like multicore processors or multiprocessor machines, focusing on the security issues that arise in multi-threaded systems. In this project the LANDE team focuses on static analysis of multi-threaded Java programs and specially on data race checkers. The other members of the project are INRIA Sophia-Antipolis, INRIA Rocquencourt and PPS (Université Paris 7).


previous
next

Logo Inria