Accueil/ conferencier
Julia Lawall

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.

Affiliation : INRIA, LIP 6

Statut : Chargée de recherches

Liens :

   - Université Paris 6

Exposé(s) :
photoExpose
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Julia Lawall

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 spec...
Mots-clés : information , innovation , Langage , linux , ordinateur , programmation , Programme Coccinelle , recherche scientifique , sémantique , Séminaire général du département d'informatique , syntaxe

photoExpose
14 minutes avec 14 scientifiques
Alain Prochiantz , Serge Haroche , François Bouchet , Alain Berthoz , Clotilde Policar , Susan Solomon , Elena Pasquinelli , Rava Da Silveira , Françoise Combes , Gérard Berry , Stanislas Dehaene , Julia Lawall , René Frydman , Eléonore Stutzmann

Un peu plus de 14 minutes en compagnie de 14 scientifiques...

Françoise Combes
Stanislas Dehaene
Serge Haroche
Clotilde Policar
Gérard Berry
Elena Pasquinelli
Alain Prochiantz
Susan Solomon
Franço...
Mots-clés : Quelques minutes avec... , Savoirs+