2021-06-24 –, Auditorium
The DECODER open source platform combines information from different sources to share big software knowledge between developers, testers and maintainers. This centralized knowledge contains very heterogeneous documents (code, comments, documentation, formal specifications, tests and static analysis reports, etc.). A set of NLP-based tools is trained to extract relevant semantic information and find correspondences between the documents, either to provide accurate code summarization or to generate a formal view of a plain-text document, which can then be fed to code analyzers.
to complete
Virgile Prevosto is researcher at CEA list. He holds an Engineering degree from École Polytechnique and a PhD in CS from Université Paris 6. After a post-doc at Max-Planck Institute for Informatics in Saarbrücken and a stay at Inria Rocquencourt, he joined CEA List in 2006, and has been since then a core developer of the Frama-C platform and acted as CEA's principal investigator for various collaborative projects, including the coordination of the French-German DEVICE-Soft and ANR U3CAT projects.