Matthieu Martel

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 42

Top Topics

Automatically Generate

Matrix Multiplication

Top Venues

Publications

Dorra Ben Khalifa, Matthieu Martel
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. LCTES (2024)
Tripti Agarwal, Harvey Dam, Dorra Ben Khalifa, Matthieu Martel, P. Sadayappan, Ganesh Gopalakrishnan
What Operations can be Performed Directly on Compressed Arrays, and with What Error? CoRR (2024)
Dorra Ben Khalifa, Matthieu Martel
Compile-Time Optimization of the Energy Consumption of Numerical Computations. CF (Companion) (2024)
Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel
What Operations can be Performed Directly on Compressed Arrays, and with What Error? SC Workshops (2023)
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. CoRR (2023)
Asma Soualah, Matthieu Martel, Stéphane Abide
. SYNASC (2023)
Dorra Ben Khalifa, Matthieu Martel
On the Functional Properties of Automatically Generated Fixed-Point Controllers. CoDIT (2023)
Matthieu Martel
Compressed Matrix Computations. CoRR (2022)
Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan
Toward Increasing Trust in Exascale Simulations. XLOOP@SC (2022)
Asma Soualah, Matthieu Martel
Efficient Neural Network Validation with Affine Forms. ICSRS (2022)
Dorra Ben Khalifa, Matthieu Martel
Constrained Precision Tuning. CoDIT (2022)
Matthieu Martel
Compressed Matrix Computations. BDCAT (2022)
Sofiane Bessaï, Dorra Ben Khalifa, Hanane Benmaghnia, Matthieu Martel
Fixed-Point Code Synthesis Based on Constraint Generation. DASIP (2022)
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. CoRR (2022)
Dorra Ben Khalifa, Matthieu Martel
Constrained Precision Tuning. CoRR (2022)
Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
Fixed-Point Code Synthesis For Neural Networks. CoRR (2022)
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
Parallel Accurate and Reproducible Summation. SAI (1) (2021)
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
Fast and Efficient Bit-Level Precision Tuning. CoRR (2021)
Dorra Ben Khalifa, Matthieu Martel
An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic. ICICT (2021)
Dorra Ben Khalifa, Matthieu Martel
A Study of the Floating-Point Tuning Behaviour on the N-body Problem. ICCSA (5) (2021)
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. VSTTE (2021)
Dorra Ben Khalifa, Matthieu Martel
A Study of the Floating-Point Tuning Behaviour on the N-body Problem. CoRR (2021)
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
Fast and Efficient Bit-Level Precision Tuning. SAS (2021)
Dorra Ben Khalifa, Matthieu Martel
Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices. IoTaIS (2020)
Mikaël Barboteu, Nacera Djehaf, Matthieu Martel
Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics. Comput. Math. Appl. 77 (11) (2019)
Arnault Ioualalen, Matthieu Martel
Neural Network Precision Tuning. QEST (2019)
Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. FTSCS (2019)
Asma Mansouri, Matthieu Martel, Oana-Silvia Serea
Fixed Point Computation by Exponentiating Linear Operators. CoDIT (2019)
Dorra Ben Khalifa, Matthieu Martel
Precision Tuning and Internet of Things. IINTEC (2019)
Matthieu Martel
Strongly Typed Numerical Computations. ICFEM (2018)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics 6 (1/2) (2018)
Nasrine Damouche, Matthieu Martel
On the Impact of Numerical Accuracy Optimization on General Performances of Programs. CoDIT (2018)
Nasrine Damouche, Matthieu Martel
Mixed Precision Tuning with Salsa. PECCS (2018)
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. Concurr. Comput. Pract. Exp. 29 (7) (2017)
Matthieu Martel
Floating-Point Format Inference in Mixed-Precision. NFM (2017)
Matthieu Martel, Amine Najahi, Guillaume Revy
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. J. Syst. Archit. 76 (2017)
Arnault Ioualalen, Matthieu Martel, Nicolas Normand
An Overview of Numalis Software Suite for Reliable Numerical Computation. ISSRE Workshops (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Nasrine Damouche, Matthieu Martel
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Data-types optimization for floating-point formats by program transformation. CoDIT (2016)
Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. NSV@CAV (2016)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Transformation of a PID Controller for Numerical Accuracy. Electron. Notes Theor. Comput. Sci. 317 (2015)
Sergiy Bogomolov, Matthieu Martel
Preface. Electron. Notes Theor. Comput. Sci. 317 (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR (2015)
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
Automatic Source-to-Source Error Compensation of Floating-Point Programs. CSE (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers (2015)
Matthieu Martel, Amine Najahi, Guillaume Revy
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. DASIP (2014)
Matthieu Martel, Amine Najahi, Guillaume Revy
Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. PECCS (2014)
Arnault Ioualalen, Matthieu Martel
Synthesizing accurate floating-point formulas. ASAP (2013)
Francesco Logozzo, Matthieu Martel
Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt (2013)
Arnault Ioualalen, Matthieu Martel
Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach. DASIP (2012)
Arnault Ioualalen, Matthieu Martel
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. SAS (2012)
Matthieu Martel
Accurate Evaluation of Arithmetic Expressions (Invited Talk). Electron. Notes Theor. Comput. Sci. 287 (2012)
Matthieu Martel
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. SYNASC (2011)
Philippe Langlois, Matthieu Martel, Laurent Thévenoux
Accuracy versus time: a case study with summation algorithms. PASCO (2010)
Matthieu Martel
Program transformation for numerical precision. PEPM (2009)
Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
In Pursuit of Real Answers. ICESS (2009)
Alexandre Chapoutot, Matthieu Martel
Abstract Simulation: A Static Analysis of Simulink Models. ICESS (2009)
Matthieu Martel
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. Formal Methods Syst. Des. 35 (3) (2009)
Alexandre Chapoutot, Matthieu Martel
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Tech. Sci. Informatiques 28 (4) (2009)
Olivier Bouissou, Matthieu Martel
A Hybrid Denotational Semantics for Hybrid Systems. ESOP (2008)
Olivier Bouissou, Matthieu Martel
Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI (2008)
Matthieu Martel
Semantics-Based Transformation of Arithmetic Expressions. SAS (2007)
Matthieu Martel
Semantics of roundoff error propagation in finite precision calculations. High. Order Symb. Comput. 19 (1) (2006)
Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV (2005)
Matthieu Martel
An Overview of Semantics for the Validation of Numerical Programs. VMCAI (2005)
Matthieu Martel
Validation of assembler programs for DSPs: a static analyzer. PASTE (2004)
Sylvie Putot, Eric Goubault, Matthieu Martel
Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification (2003)
Matthieu Martel
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. SCAM (2003)
Matthieu Martel
Static Analysis of the Numerical Stability of Loops. SAS (2002)
Matthieu Martel
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. ESOP (2002)
Eric Goubault, Matthieu Martel, Sylvie Putot
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP (2002)
Matthieu Martel, Marc Gengler
Partial Evaluation of Concurrent Programs. Euro-Par (2001)
Matthieu Martel, Marc Gengler
Communication Topology Analysis for Concurrent Programs. SPIN (2000)
Marc Gengler, Matthieu Martel
Self-Applicable Partial Evaluation for the pi-Calculus. PEPM (1997)