-
Sardana: an Automatic Tool for Numerical Accuracy Optimization
International audience -
A New Abstract Domain for the Representation of Mathematically Equivalent Exp...
International audience -
Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sarda...
International audience -
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Co-located with SAS 2012 -
Polyèdres et compilation
International audience -
Synthesizing Accurate Floating-Point Formulas
International audience
