Accueil/ expose
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.

Voir aussi


  • 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
  • Recent Progress in Leakage-Resilient Cry...
    Yevgeniy Dodis
  • Composer le temps
    Gérard Berry
  • Approximation Bounds for Sparse Principa...
    Alexandre D’Aspremont
  • Diviser-pour-Régner & Inférence Statisti...
    Michael I. Jordan
  • Logarithmes discrets dans les corps fini...
    Antoine Joux
  • Une théorie de l'information mentale
    Claude Berrou
  • Exponential Mechanism for Social Welfar...
    Sampath Kannan
  • Untangling knots using combinatorial opt...
    Benjamin Burton
  • De la convexité tropicale aux jeux répé...
    Stéphane Gaubert
  • Comment faire confiance à un compilateu...
    Xavier Leroy
  • Construction à large couverture de la re...
    Benoît Crabbé
  • Définir et mesurer la complexité : la t...
    Jean-Paul Delahaye
  • Rendre la virgule flottante plus rigoure...
    Jean-Michel Muller
  • Approximations for stochastic graph rewr...
    Vincent Danos
  • Social Networks : a research vision and ...
    Peter Marbach
  • Three discrete geometric structures and ...
    Nabil Mustafa
  • From spanners to distance oracles and co...
    Laurent Viennot
  • Cognitive Computing
    Jérôme Pesenti
  • Vers les nouvelles bases de données pers...
    Serge Abiteboul
  • Structured Parallel Programming Primitiv...
    Vivek Sarkar
  • Manipuler les réseaux euclidiens
    Damien Sthelé
  • Réduction de modèles de voies de signali...
    Jérôme Feret
  • Le patient numérique personnalisé
    Nicholas Ayache
  • Scade 6: conception d'un langage de prog...
    Bruno Pagano
  • Co-Adaptive Instruments. Can we reinven...
    Wendy Mackay
  • Analyse de pire temps d’exécution et pro...
    Pascal Raymond
  • Chiffrer mieux pour (dé)chiffrer plus
    Anne Canteaut
  • New Results at the Crossroads of Convexi...
    Sébastien Bubeck
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