default search action
Matthieu Martel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Hanane Benmaghnia
, Matthieu Martel
Code Generation for Neural Networks Based on Fixed-point Arithmetic. ACM Trans. Embed. Comput. Syst. 23(5): 68:1-68:28 (2024) - [c64]Dorra Ben Khalifa
Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds. CCIA 2024: 136-139 - [c63]Dorra Ben Khalifa
Compile-Time Optimization of the Energy Consumption of Numerical Computations. CF (Companion) 2024 - [c62]Dorra Ben Khalifa, Matthieu Martel:
Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers. CoDIT 2024: 1201-1206 - [c61]Dorra Ben Khalifa
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. LCTES 2024: 12-22 - [i7]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 abs/2406.11209 (2024) - 2023
- [c60]Dorra Ben Khalifa
On the Functional Properties of Automatically Generated Fixed-Point Controllers. CoDIT 2023: 786-791 - [c59]Tripti Agarwal
What Operations can be Performed Directly on Compressed Arrays, and with What Error? SC Workshops 2023: 252-262 - [c58]Asma Soualah, Matthieu Martel, Stéphane Abide:
Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach1. SYNASC 2023: 122-130 - [c57]Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard:
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. FMAS@iFM 2023: 188-204 - 2022
- [c56]Matthieu Martel:
Compressed Matrix Computations. BDCAT 2022: 68-76 - [c55]Dorra Ben Khalifa
Constrained Precision Tuning. CoDIT 2022: 230-236 - [c54]Sofiane Bessaï, Dorra Ben Khalifa
Fixed-Point Code Synthesis Based on Constraint Generation. DASIP 2022: 108-120 - [c53]Asma Soualah
Efficient Neural Network Validation with Affine Forms. ICSRS 2022: 179-185 - [c52]Dorra Ben Khalifa
Toward Increasing Trust in Exascale Simulations. XLOOP@SC 2022: 26-31 - [i6]Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji:
Fixed-Point Code Synthesis For Neural Networks. CoRR abs/2202.02095 (2022) - [i5]Matthieu Martel:
Compressed Matrix Computations. CoRR abs/2202.13007 (2022) - [i4]Dorra Ben Khalifa, Matthieu Martel:
Constrained Precision Tuning. CoRR abs/2203.07486 (2022) - [i3]Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel:
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. CoRR abs/2205.05339 (2022) - 2021
- [c51]Dorra Ben Khalifa
A Study of the Floating-Point Tuning Behaviour on the N-body Problem. ICCSA (5) 2021: 176-190 - [c50]Dorra Ben Khalifa
An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic. ICICT 2021: 69-78 - [c49]Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel:
Parallel Accurate and Reproducible Summation. SAI (1) 2021: 363-382 - [c48]Assalé Adjé, Dorra Ben Khalifa
Fast and Efficient Bit-Level Precision Tuning. SAS 2021: 1-24 - [c47]Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel:
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. VSTTE 2021: 165-181 - [i2]Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel:
Fast and Efficient Bit-Level Precision Tuning. CoRR abs/2103.05241 (2021) - [i1]Dorra Ben Khalifa, Matthieu Martel:
A Study of the Floating-Point Tuning Behaviour on the N-body Problem. CoRR abs/2108.00228 (2021) - 2020
- [c46]Dorra Ben Khalifa
Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices. IoTaIS 2020: 116-122
2010 – 2019
- 2019
- [j8]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): 2883-2893 (2019) - [c45]Asma Mansouri, Matthieu Martel, Oana-Silvia Serea:
Fixed Point Computation by Exponentiating Linear Operators. CoDIT 2019: 1096-1102 - [c44]Dorra Ben Khalifa
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. FTSCS 2019: 77-94 - [c43]Dorra Ben Khalifa
Precision Tuning and Internet of Things. IINTEC 2019: 80-85 - [c42]Arnault Ioualalen, Matthieu Martel:
Neural Network Precision Tuning. QEST 2019: 129-143 - 2018
- [j7]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): 115-145 (2018) - [c41]Nasrine Damouche, Matthieu Martel:
On the Impact of Numerical Accuracy Optimization on General Performances of Programs. CoDIT 2018: 333-340 - [c40]Matthieu Martel:
Strongly Typed Numerical Computations. ICFEM 2018: 197-214 - [c39]Nasrine Damouche, Matthieu Martel:
Mixed Precision Tuning with Salsa. PECCS 2018: 185-194 - 2017
- [j6]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) - [j5]Matthieu Martel, Amine Najahi, Guillaume Revy:
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. J. Syst. Archit. 76: 133-148 (2017) - [j4]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. 19(4): 427-448 (2017) - [c38]Arnault Ioualalen, Matthieu Martel, Nicolas Normand:
An Overview of Numalis Software Suite for Reliable Numerical Computation. ISSRE Workshops 2017: 1-4 - [c37]Nasrine Damouche
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM 2017: 63-76 - [c36]Matthieu Martel:
Floating-Point Format Inference in Mixed-Precision. NFM 2017: 230-246 - [c35]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES 2017: 1-10 - [e3]Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar:
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers. Lecture Notes in Computer Science 10152, 2017, ISBN 978-3-319-54291-1 [contents] - 2016
- [c34]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: 63-77 - [c33]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Data-types optimization for floating-point formats by program transformation. CoDIT 2016: 576-581 - 2015
- [c32]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers 2015: 40:1-40:2 - [c31]Laurent Thévenoux, Philippe Langlois, Matthieu Martel:
Automatic Source-to-Source Error Compensation of Floating-Point Programs. CSE 2015: 9-16 - [c30]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS 2015: 31-46 - [c29]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR 2015: 143-160 - [c28]Sergiy Bogomolov
Preface. NSV 2015: 1-2 - [c27]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Transformation of a PID Controller for Numerical Accuracy. NSV 2015: 47-54 - [e2]Sergiy Bogomolov, Matthieu Martel:
Seventh and Eighth International Workshops on Numerical Software Verification, NSV 2014, Vienna, Austria, July 17-18, 2014 & NSV 2015, Seattle, WA, USA, April 13, 2015. Electronic Notes in Theoretical Computer Science 317, Elsevier 2015 [contents] - 2014
- [c26]Matthieu Martel, Amine Najahi, Guillaume Revy:
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. DASIP 2014: 1-8 - [c25]Matthieu Martel, Amine Najahi, Guillaume Revy:
Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. PECCS 2014: 204-214 - 2013
- [c24]Arnault Ioualalen, Matthieu Martel:
Synthesizing accurate floating-point formulas. ASAP 2013: 113-116 - [c23]Francesco Logozzo, Matthieu Martel:
Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt 2013: 341-357 - 2012
- [c22]Arnault Ioualalen, Matthieu Martel:
Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach. DASIP 2012: 1-8 - [c21]Arnault Ioualalen, Matthieu Martel:
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. SAS 2012: 75-93 - [c20]Matthieu Martel:
Accurate Evaluation of Arithmetic Expressions (Invited Talk). NSAD@SAS 2012: 3-16 - 2011
- [c19]Matthieu Martel:
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. SYNASC 2011: 118-122 - 2010
- [c18]Philippe Langlois, Matthieu Martel, Laurent Thévenoux:
Accuracy versus time: a case study with summation algorithms. PASCO 2010: 121-130 - [e1]Radhia Cousot, Matthieu Martel:
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Lecture Notes in Computer Science 6337, Springer 2010, ISBN 978-3-642-15768-4 [contents]
2000 – 2009
- 2009
- [j3]Matthieu Martel:
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. Formal Methods Syst. Des. 35(3): 265-278 (2009) - [j2]Alexandre Chapoutot
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Tech. Sci. Informatiques 28(4): 503-531 (2009) - [c17]Alexandre Chapoutot
Abstract Simulation: A Static Analysis of Simulink Models. ICESS 2009: 83-92 - [c16]Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
In Pursuit of Real Answers. ICESS 2009: 115-122 - [c15]Matthieu Martel:
Program transformation for numerical precision. PEPM 2009: 101-110 - 2008
- [c14]Olivier Bouissou, Matthieu Martel:
A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77 - [c13]Olivier Bouissou, Matthieu Martel:
Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI 2008: 37-51 - 2007
- [c12]Matthieu Martel:
Semantics-Based Transformation of Arithmetic Expressions. SAS 2007: 298-314 - 2006
- [j1]Matthieu Martel:
Semantics of roundoff error propagation in finite precision calculations. High. Order Symb. Comput. 19(1): 7-30 (2006) - 2005
- [c11]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: 462-475 - [c10]Matthieu Martel:
An Overview of Semantics for the Validation of Numerical Programs. VMCAI 2005: 59-77 - 2004
- [c9]Matthieu Martel:
Validation of assembler programs for DSPs: a static analyzer. PASTE 2004: 8-13 - 2003
- [c8]Sylvie Putot, Eric Goubault, Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification 2003: 306-313 - [c7]Matthieu Martel:
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. SCAM 2003: 13-21 - 2002
- [c6]Matthieu Martel:
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. ESOP 2002: 194-208 - [c5]Eric Goubault, Matthieu Martel, Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP 2002: 209-212 - [c4]Matthieu Martel:
Static Analysis of the Numerical Stability of Loops. SAS 2002: 133-150 - 2001
- [c3]Matthieu Martel, Marc Gengler:
Partial Evaluation of Concurrent Programs. Euro-Par 2001: 504-513 - 2000
- [c2]Matthieu Martel, Marc Gengler:
Communication Topology Analysis for Concurrent Programs. SPIN 2000: 265-286
1990 – 1999
- 1997
- [c1]Marc Gengler, Matthieu Martel:
Self-Applicable Partial Evaluation for the pi-Calculus. PEPM 1997: 36-46
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: