# Matthieu Martel

Orcid: 0000-0002-6238-9651
According to our database

Collaborative distances:

^{1}, Matthieu Martel authored at least 71 papers between 1997 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures.

Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, 2024

Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024

2023

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach<sup>1</sup>.

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

What Operations can be Performed Directly on Compressed Arrays, and with What Error?

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

Proceedings of the 9th International Conference on Control, 2023

2022

CoRR, 2022

Proceedings of the 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing, 2022

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

Proceedings of the Design and Architecture for Signal and Image Processing, 2022

Proceedings of the 8th International Conference on Control, 2022

Proceedings of the IEEE/ACM International Conference on Big Data Computing, 2022

2021

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.

Proceedings of the Software Verification - 13th International Conference, 2021

Proceedings of the Static Analysis - 28th International Symposium, 2021

Proceedings of the Intelligent Computing, 2021

An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic.

Proceedings of the 4th International Conference on Information and Computer Technologies, 2021

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

2020

Proceedings of the IEEE International Conference on Internet of Things and Intelligence System, 2020

2019

Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics.

Comput. Math. Appl., 2019

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Proceedings of the International Conference on Internet of Things, 2019

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

Proceedings of the 6th International Conference on Control, 2019

2018

Numerical program optimisation by automatic improvement of the accuracy of computations.

Int. J. Intell. Eng. Informatics, 2018

Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems, 2018

Proceedings of the Formal Methods and Software Engineering, 2018

On the Impact of Numerical Accuracy Optimization on General Performances of Programs.

Proceedings of the 5th International Conference on Control, 2018

2017

Int. J. Softw. Tools Technol. Transf., 2017

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks.

J. Syst. Archit., 2017

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time.

Concurr. Comput. Pract. Exp., 2017

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Proceedings of the Automated Formal Methods, 2017

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Proceedings of the International Conference on Control, 2016

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods.

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

Optimizing the accuracy of a rocket trajectory simulation by program transformation.

Proceedings of the 12th ACM International Conference on Computing Frontiers, 2015

2014

Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication.

Proceedings of the PECCS 2014, 2014

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition.

Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, 2014

2013

Proceedings of the Semantics, 2013

Proceedings of the 24th International Conference on Application-Specific Systems, 2013

2012

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.

Proceedings of the Static Analysis - 19th International Symposium, 2012

Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach.

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations.

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

2010

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques.

Tech. Sci. Informatiques, 2009

Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics.

Formal Methods Syst. Des., 2009

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Proceedings of the International Conference on Embedded Software and Systems, 2009

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

Proceedings of the Verification, 2008

Proceedings of the Programming Languages and Systems, 2008

2007

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

High. Order Symb. Comput., 2006

2005

Proceedings of the Verification, 2005

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

2003

Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Proceedings of the Numerical Software with Result Verification, 2003

2002

Proceedings of the Static Analysis, 9th International Symposium, 2002

Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.

Proceedings of the Programming Languages and Systems, 2002

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.

Proceedings of the Programming Languages and Systems, 2002

2001

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

1997

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997