| 2024 | CoDIT | Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers. | Dorra Ben Khalifa, Matthieu Martel |
| 2023 | CoDIT | On the Functional Properties of Automatically Generated Fixed-Point Controllers. | Dorra Ben Khalifa, Matthieu Martel |
| 2023 | SC | What Operations can be Performed Directly on Compressed Arrays, and with What Error? | Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel |
| 2023 | SYNASC | Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach | Asma Soualah, Matthieu Martel, Stphane Abide |
| 2022 | CoDIT | Constrained Precision Tuning. | Dorra Ben Khalifa, Matthieu Martel |
| 2021 | ICCSA | A Study of the Floating-Point Tuning Behaviour on the N-body Problem. | Dorra Ben Khalifa, Matthieu Martel |
| 2021 | SAS | Fast and Efficient Bit-Level Precision Tuning. | Assal Adj, Dorra Ben Khalifa, Matthieu Martel |
| 2019 | CoDIT | Fixed Point Computation by Exponentiating Linear Operators. | Asma Mansouri, Matthieu Martel, Oana-Silvia Serea |
| 2018 | CoDIT | On the Impact of Numerical Accuracy Optimization on General Performances of Programs. | Nasrine Damouche, Matthieu Martel |
| 2018 | ICFEM | Strongly Typed Numerical Computations. | Matthieu Martel |
| 2017 | ISSRE | An Overview of Numalis Software Suite for Reliable Numerical Computation. | Arnault Ioualalen, Matthieu Martel, Nicolas Normand |
| 2017 | SCOPES | Numerical Accuracy Improvement by Interprocedural Program Transformation. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2016 | CAV | Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. | Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock |
| 2016 | CoDIT | Data-types optimization for floating-point formats by program transformation. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | FMICS | Intra-procedural Optimization of the Numerical Accuracy of Programs. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | LOPSTR | Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2012 | SAS | A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. | Arnault Ioualalen, Matthieu Martel |
| 2011 | SYNASC | RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. | Matthieu Martel |
| 2009 | PEPM | Program transformation for numerical precision. | Matthieu Martel |
| 2008 | ESOP | A Hybrid Denotational Semantics for Hybrid Systems. | Olivier Bouissou, Matthieu Martel |
| 2008 | VMCAI | Abstract Interpretation of the Physical Inputs of Embedded Programs. | Olivier Bouissou, Matthieu Martel |
| 2007 | SAS | Semantics-Based Transformation of Arithmetic Expressions. | Matthieu Martel |
| 2005 | CAV | A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. | Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot |
| 2005 | VMCAI | An Overview of Semantics for the Validation of Numerical Programs. | Matthieu Martel |
| 2003 | SCAM | Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. | Matthieu Martel |
| 2002 | ESOP | Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. | Eric Goubault, Matthieu Martel, Sylvie Putot |
| 2002 | ESOP | Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. | Matthieu Martel |
| 2002 | SAS | Static Analysis of the Numerical Stability of Loops. | Matthieu Martel |
| 2001 | EuroPar | Partial Evaluation of Concurrent Programs. | Matthieu Martel, Marc Gengler |
| 1997 | PEPM | Self-Applicable Partial Evaluation for the pi-Calculus. | Marc Gengler, Matthieu Martel |