Sites Inria

Il y a 3 Résultats avec le mot clé : "Coccinelle"

Rencontre Inria Industrie

RII - qualité logicielle

4/10/2013

À l’occasion de l’Open World Forum 2013, la direction du transfert et de l’innovation organise une Rencontre Inria Industrie sur la qualité logicielle le vendredi 4 octobre.

Lieu : Le Beffroi 2 place Emilie Cresp - 92120 Montrouge - Salle Gopher (2.06)

Intervenant(s) : Isabelle Ryl, Xavier Leroy, Julie Lawall, Gilles Muller, Stéphane Ducasse, Sylvain Conchon, Mohamed Iguernelala, Pascal Fontaine

Mots-clés :

Accueil > Innovation > Agenda > RII - qualité logicielle

lire la suite

Conférence scientifique

Julia Lawall (Whisper) : Coccinelle: Automating bug finding and evolution in the Linux kernel

17/03/2016

 One of the accomplishments of computer science is to ease tasks that humans find tedious and error prone, while at the same time making the performnace of these tasks more comprehensive and reliable.  

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2016 > Julia Lawall (Whisper) : Coccinelle: Automating bug finding and evolution in the Linux kernel

Lire la suite

Julie Lawall, Inria/LIP6 Julie Lawall, Inria/LIP6

Colloquium J. Morgenstern : Julie Lawall (Inria/LIP6)

23/11/2017

Julie Lawall (Inria/LIP6) viendra le 23 novembre 2017 nous présenter ses travaux - "Coccinelle : synergie entre la recherche en langage de programmation et le noyau Linux."

Lieu : Inria, Sophia Antipolis, Amphithéâtre, Bâtiment Kahn à 11h

Mots-clés :

Accueil > Centre > Sophia > Agenda > Colloquium J. Morgenstern : Julie Lawall (Inria/LIP6)

lire la suite

Haut de page

Suivez Inria