Auditorium (Building IMAG)
22 November 2018 - 10h00
Lightweight analysis and verification techniques
by analyse et verif. legeres Une journee de reflexion from 5 exposes 10h - 16h30
Résumé : PROGRAMME : 5 seminaires de 45 min suivi de 10 min de question
* 10h-10h55 : Julia LAWALL, Directrice de Recherche INRIA/LIP6 (Source-Code Evolution and Bug Finding in OS)
TITLE : Software evolution and bug finding using Coccinelle
ABSTRACT : Coccinelle is a program matching and transformation tool for C code that has been extensively applied to the Linux kernel. Coccinelle is built around the notion of a semantic patch, amounting to a generic code pattern with annotations of lines of code to add and remove. Coccinelle is neither sound nor complete, but semantic patches have the advantage of providing a notation that is accessible to Linux kernel developers. We review some of the successes in the use of Coccinelle, as well as some of the pitfalls, and examine the tradeoffs between them.
* pause cafe de 15min
* 11h10-12h05 : Pascal CUOQ, TrustinSoft (C analysis tools)
TITRE : Tests, an entry point for the sound static analysis of real software?
* pause repas de 1h30
* 13h30-14h25 : Olivier BOUISSOU, MathWorks, Paris
TITLE : Finding bugs in large scale software, can sound techniques help ?
* 14h30-15h30 (en visio) Mathieu NAYROLLES, Technical Architect, UBISOFT Canada (Machine Learning for Software Defect Detection)
TITLE : Using Machine Learning to predict, prevent and fix bugs at Ubisoft.
ABSTRACT : Preventing defects to reach consumers is one of the most important tasks of any application developer. Using machine learning and pattern matching, we attempt to automatically prevent defects from reaching the central code repository by intercepting them at commit-time. In this talk, we present an approach to detect and resolve, defects in large polyglot projects. Our approach, when evaluated on past contributions, was able to detect ~65% of the commits containing defects. In addition, this project allowed us to improve our coding practices by discovering new guidelines that apply to our application domain, in our case high-budget game development.
* 15h30-16h30 (en visio) SÃ©bastien MOSSER, Maitre de conference a l'Universite de Nice - Sophia Antipolis (Software Composition & Reuse)
TITLE : Need for formal verification when composing software