Accueil/ expose #carousel1 li{ width:150px; height:180px; } #carousel2 li{ width:150px; height:180px; } A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
jeudi 20 février 2014
Loading the player... Descriptif

Conférence de Julia Lawall organisée par le département d'informatique.

Coccinelle is a program matching and transformation tool for C code, founded on the notion of a semantic patch, in which matching and transformation specifications are expressed using a patch-like syntax. Coccinelle has been extensively used for bug finding and evolution in the context of the Linux kernel, and other C software. In this talk, we provide an overview of Coccinelle and its use on Linux code, as well as describing its internal design, based on a novel variant of the temporal logic CTL.
This is joint work with Julien Brunel, Damien Doligez, Rene Rydhof Hansen, and Gilles Muller.

Thèmes : Informatique
Catégories: Séminaire général du département d'informatique
Mot-clés : recherche scientifique, Langage, syntaxe, information, programmation, ordinateur, sémantique, linux, Programme Coccinelle, innovation

Voir aussi

Auteur(s) Julia Lawall
INRIA, LIP 6
Chargée de recherches

Plus sur cet auteur
Voir la fiche de l'auteur

Cursus :

Julia Lawall est chargée de recherches à Paris 6. Elle a obtenu son doctorat de l'Université de l'Indiana en 1994.

Ses domaines de recherche sont : le langage de programmation, le génie logiciel empirique et les systèmes d'exploitation. Depuis 2005, elle a mis au point, avec Gilles Muller, le programme Coccinelle.

Cliquer ICI pour fermer Annexes Téléchargements :
   - Télécharger la vidéo
   - Télécharger l'audio (mp3)

Dernière mise à jour : 12/02/2015

Liens utiles

Contact
Partenaires
Conditions d'utilisation
Mentions légales
Podcasts

CYCLES

> Colloquium DEC
> Les Ernest
> Les jeudis de l’archéologie
> Actualité critique
> Les jeudis de l’HPS
> Séminaire Médecine
   Humanités
> Journée Georges Bram
> Les lundis de la philo


> Les Nuits de l’ENS
> Semaine du cerveau
> Séminaire général du
   département d'informatique
> Séminaire général
   de physique
> Séminaire Transferts culturels
> La Voix d’un texte

PARTENARIATS

Louvre

France cuture

Institut Français

RESEAUX SOCIAUX

Retrouvez-nous sur Facebook

Twitter

Savoirs ENS
Tous droits réservés
@ 2011 ENS