Skip to Main content Skip to Navigation

lirmm-00835508v1  Conference papers
Bernard GoossensPhilippe LangloisDavid ParelloKathy Porada. Computing Time for Summation Algorithm: Less Hazard and More Scientific Research
Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain
hal-00813002v1  Conference papers
Matthieu Martel. RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. pp.118-122
hal-01158399v1  Conference papers
Laurent ThévenouxPhilippe LangloisMatthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs
Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩
tel-01143824v1  Theses
Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
hal-00698618v1  Conference papers
Arnault IoualalenMatthieu Martel. A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
SAS: Static Analysis Symposium, Sep 2012, Deauville, France. pp.75-93
lirmm-00872562v1  Journal articles
Fabienne JézéquelPhilippe LangloisNathalie Revol. First steps towards more numerical reproducibility
ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩
hal-01236919v2  Journal articles
Laurent ThévenouxPhilippe LangloisMatthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
Concurrency and Computation: Practice and Experience, Wiley, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
hal-00835736v1  Conference papers
Arnault IoualalenMatthieu Martel. Synthesizing Accurate Floating-Point Formulas
ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. pp.113-116, ⟨10.1109/ASAP.2013.6567563⟩
lirmm-01141852v1  Conference papers
Philippe LangloisRafife NheiliChristophe Denis. Numerical Reproducibility: Feasibility Issues
NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. pp.1-5, ⟨10.1109/NTMS.2015.7266509⟩
lirmm-01349698v1  Conference papers
Chemseddine ChohraPhilippe LangloisDavid Parello. Parallel experiments with RARE-BLAS
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.135-138, ⟨10.1109/SYNASC.2016.032⟩