COLLOQUIUM 2017

- Campus Jussieu

Le colloquium Pierre et Marie Curie présente des exposés consacrés à la physique contemporaine et aux disciplines connexes. Ces exposés sont destinés à tous les étudiants et à tous les enseignants et chercheurs mais plus particulièrement aux étudiants de master et aux étudiants en thèse. Les exposés ont lieu soit en français soit en anglais.

Understanding and Verifying JavaScript Programs


Envie de télécharger cette vidéo sur votre ordinateur ? Cliquez ici (poids : 1.2 Go)

Résumé

The dynamic nature of JavaScript, together with its complex semantics, makes it a difficult target for logical analysis. This talk will describe JaVerT, a JavaScript Verification Toolchain, which we believe provides the first logic-based symbolic analysis tool for JavaScript. A key goal of the project has been to establish trust in JaVert, both through theoretical results and comprehensive testing. The talk is aimed at a general audience interested in program verification. Knowledge of JavaScript is not assumed. This talk describes joint work with Jose Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene and Thomas Wood.


Orateur(s) : Philippa Gardner, Professor in the Department of Computing at Imperial College London
Public : Tous
Date : 28 mars 2017
Lieu : Campus Jussieu