Skip to Main content Skip to Navigation
New interface

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
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-00698619v1  Conference papers
Arnault IoualalenMatthieu Martel. Sardana: an Automatic Tool for Numerical Accuracy Optimization
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4
hal-00698621v1  Conference papers
Arnault IoualalenMatthieu Martel. Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
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-01255942v1  Journal articles
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Transformation of a PID Controller for Numerical Accuracy
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
hal-00813003v1  Books
Radhia CousotMatthieu Martel. Static Analysis
Springer, LNCS (6337), 2010, 978-3-642-15768-4. ⟨10.1007/978-3-642-15769-1⟩
lirmm-00860383v1  Conference papers
Matthieu MartelMohamed Amine NajahiGuillaume Revy. Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication
PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩
hal-00812995v1  Conference papers
Matthieu Martel. Accurate Evaluation of Arithmetic Expressions (Invited Talk)
NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.3-16
hal-00821668v1  Conference papers
Philippe LangloisMatthieu MartelLaurent Thévenoux. Trade-off Between Accuracy and Time for Automatically Generated Summation Algorithms
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2010, Lyon, France
hal-00821667v1  Conference papers
Philippe LangloisMatthieu MartelLaurent Thévenoux. Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
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⟩