S
Sylvie Putot
Researcher at École Polytechnique
Publications - 51
Citations - 1422
Sylvie Putot is an academic researcher from École Polytechnique. The author has contributed to research in topics: Static analysis & Affine arithmetic. The author has an hindex of 22, co-authored 47 publications receiving 1316 citations. Previous affiliations of Sylvie Putot include Université Paris-Saclay & Commissariat à l'énergie atomique et aux énergies alternatives.
Papers
More filters
Book ChapterDOI
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
TL;DR: The IEEE 754 standard, the FLUCTUAT tool, the types of codes to be analyzed and the analysis methodology, together with code examples and analysis results are presented.
Book ChapterDOI
Static analysis of numerical algorithms
Eric Goubault,Sylvie Putot +1 more
TL;DR: This work extends a former domain, with an implicitly relational domain for the approximation of the floating-point values of variables, based on affine arithmetic, which allows us to analyze non trivial numerical computations, that no other abstract domain can analyze with such precise results.
Proceedings ArticleDOI
Static analysis of finite precision computations
Eric Goubault,Sylvie Putot +1 more
TL;DR: This work defines several abstract semantics for the static analysis of finite precision computations, that bound not only the ranges of values taken by numerical variables of a program, but also the difference with the result of the same sequence of operations in an idealized real number semantics.
Book ChapterDOI
A policy iteration algorithm for computing fixed points in static analysis of programs
TL;DR: A policy iteration algorithm for monotone self-maps of complete lattices for lattices arising in the interval abstraction of values of variables is introduced and analyzed.
Book ChapterDOI
The Zonotope Abstract Domain Taylor1
TL;DR: This work focuses here on a specific kind of numerical invariants: the set of values taken by numerical variables, with a real numbers semantics, at each control point of a program.