VLDB 2026 Research / reviewers in the wild / expert
Franck Védrine
dblp:12/1588
· DBLP profile ↗
9ranked-venue papers
2as first author
2since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 8 · 2 first-author · 1 since 2021Theory of computation · 2 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Chromatic Analysis of Numerical ProgramsabstractThis paper introduces the concept of chromatic numbers, which allows to tint a scalar or a set of scalars to estimate the relations between input and output variables under additive property. This consists in proposing a decomposition of a resulting value as a sum of tinted values. We illustrate how this concept can be used on a deep neural networks example by tinting group of value at once allowing to track a large number of values together. David Defour, Franck Védrine |
ARITH | 2 |
| 2021 | Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles |
VMCAI | 1 |
| 2018 | A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis
Maxime Jacquemin, Sylvie Putot, Franck Védrine |
SAS | 3 |
| 2012 | Modular Static Analysis with Zonotopes
Eric Goubault, Sylvie Putot, Franck Védrine |
SAS | 3 |
| 2011 | Policy Iteration within Logico-Numerical Abstract Domains
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault |
ATVA | 3 |
| 2011 | Refinement-Based CFG Reconstruction from Unstructured Programs
Sébastien Bardin, Philippe Herrmann, Franck Védrine |
VMCAI | 3 |
| 2009 | HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine |
CAV | 5 |
| 2009 | Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine |
FMICS | 6 |
| 1995 | Binding-Time Analysis and Strictness Analysis by Abstract Interpretation
Franck Védrine |
SAS | 1 |