M
Matthieu Martel
Researcher at University of Perpignan
Publications - 89
Citations - 1052
Matthieu Martel is an academic researcher from University of Perpignan. The author has contributed to research in topics: Floating point & Static analysis. The author has an hindex of 17, co-authored 81 publications receiving 989 citations. Previous affiliations of Matthieu Martel include Dali University & University of Montpellier.
Papers
More filters
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
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
TL;DR: This paper presents a tool for studying the propagation of rounding errors in floating-point computations, that carries out some ideas proposed in [3], [7].
Proceedings ArticleDOI
GRKLib: a Guaranteed Runge Kutta Library
Olivier Bouissou,Matthieu Martel +1 more
TL;DR: A new library for computing guaranteed bounds of the solutions of Initial Value Problems (IVP) is described, which implements an error control technique based on step size reduction in order to reach a certain tolerance on local errors.
Book ChapterDOI
Static Analysis-Based Validation of Floating-Point Computations
TL;DR: In this paper, the authors present a static analysis for floating-point numbers, based on abstract interpretation by interval values and series of interval error terms, aiming at identifying the operations responsible for the main losses of accuracy.
Proceedings ArticleDOI
Program transformation for numerical precision
TL;DR: A semantics-based transformation is proposed in the abstract interpretation framework and it aims at rewriting pieces of numerical codes in order to obtain results closer to what the computer would output if it used the exact arithmetic.