Matthieu Martel

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

On the Functional Properties of Automatically Generated Fixed-Point Controllers.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Control, 2023

2022

Fixed-Point Code Synthesis For Neural Networks.

[BibT_eX]

[DOI]

Hanane Benmaghnia

Yassamine Seladji

CoRR, 2022

Toward Increasing Trust in Exascale Simulations.

[BibT_eX]

[DOI]

Ganesh Gopalakrishnan

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

Efficient Neural Network Validation with Affine Forms.

[BibT_eX]

[DOI]

Asma Soualah

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

Fixed-Point Code Synthesis Based on Constraint Generation.

[BibT_eX]

[DOI]

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

Constrained Precision Tuning.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Control, 2022

Compressed Matrix Computations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Farah Benmouhoub

Pierre-Loïc Garoche

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

Fast and Efficient Bit-Level Precision Tuning.

[BibT_eX]

[DOI]

Assalé Adjé

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

Parallel Accurate and Reproducible Summation.

[BibT_eX]

[DOI]

Farah Benmouhoub

Pierre-Loïc Garoche

Proceedings of the Intelligent Computing, 2021

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

[BibT_eX]

[DOI]

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

A Study of the Floating-Point Tuning Behaviour on the N-body Problem.

[BibT_eX]

[DOI]

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

2020

Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mikaël Barboteu

Nacera Djehaf

Comput. Math. Appl., 2019

Neural Network Precision Tuning.

[BibT_eX]

[DOI]

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

Precision Tuning and Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet of Things, 2019

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations.

[BibT_eX]

[DOI]

Assalé Adjé

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

Fixed Point Computation by Exponentiating Linear Operators.

[BibT_eX]

[DOI]

Asma Mansouri

Oana-Silvia Serea

Proceedings of the 6th International Conference on Control, 2019

2018

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

[BibT_eX]

[DOI]

Int. J. Intell. Eng. Informatics, 2018

Mixed Precision Tuning with Salsa.

[BibT_eX]

[DOI]

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

Strongly Typed Numerical Computations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Control, 2018

2017

Improving the numerical accuracy of programs by automatic transformation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Amine Najahi

Guillaume Revy

J. Syst. Archit., 2017

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

[BibT_eX]

[DOI]

Laurent Thévenoux

Philippe Langlois

Concurr. Comput. Pract. Exp., 2017

Numerical Accuracy Improvement by Interprocedural Program Transformation.

[BibT_eX]

[DOI]

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

Floating-Point Format Inference in Mixed-Precision.

[BibT_eX]

[DOI]

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

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Formal Methods, 2017

An Overview of Numalis Software Suite for Reliable Numerical Computation.

[BibT_eX]

[DOI]

Nicolas Normand

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

2016

Data-types optimization for floating-point formats by program transformation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Control, 2016

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.

[BibT_eX]

[DOI]

Alexander Sanchez-Stern

Zachary Tatlock

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

2015

Transformation of a PID Controller for Numerical Accuracy.

[BibT_eX]

[DOI]

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

Preface.

[BibT_eX]

[DOI]

Sergiy Bogomolov

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

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

[BibT_eX]

[DOI]

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

Intra-procedural Optimization of the Numerical Accuracy of Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Automatic Source-to-Source Error Compensation of Floating-Point Programs.

[BibT_eX]

[DOI]

Laurent Thévenoux

Philippe Langlois

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Amine Najahi

Guillaume Revy

Proceedings of the PECCS 2014, 2014

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

[BibT_eX]

[DOI]

Amine Najahi

Guillaume Revy

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

2013

Automatic Repair of Overflowing Expressions with Abstract Interpretation.

[BibT_eX]

[DOI]

Francesco Logozzo

Proceedings of the Semantics, 2013

Synthesizing accurate floating-point formulas.

[BibT_eX]

[DOI]

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

2012

Accurate Evaluation of Arithmetic Expressions (Invited Talk).

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2010

Accuracy versus time: a case study with summation algorithms.

[BibT_eX]

[DOI]

Philippe Langlois

Laurent Thévenoux

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.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2009

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

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2009

Program transformation for numerical precision.

[BibT_eX]

[DOI]

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

In Pursuit of Real Answers.

[BibT_eX]

[DOI]

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

Abstract Simulation: A Static Analysis of Simulink Models.

[BibT_eX]

[DOI]

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

2008

Abstract Interpretation of the Physical Inputs of Embedded Programs.

[BibT_eX]

[DOI]

Olivier Bouissou

Proceedings of the Verification, 2008

A Hybrid Denotational Semantics for Hybrid Systems.

[BibT_eX]

[DOI]

Olivier Bouissou

Proceedings of the Programming Languages and Systems, 2008

2007

Semantics-Based Transformation of Arithmetic Expressions.

[BibT_eX]

[DOI]

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

2006

Semantics of roundoff error propagation in finite precision calculations.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2006

2005

An Overview of Semantics for the Validation of Numerical Programs.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

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

[BibT_eX]

[DOI]

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

2004

Validation of assembler programs for DSPs: a static analyzer.

[BibT_eX]

[DOI]

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

2003

Improving the Static Analysis of Loops by Dynamic Partitioning Techniques.

[BibT_eX]

[DOI]

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

Static Analysis-Based Validation of Floating-Point Computations.

[BibT_eX]

[DOI]

Sylvie Putot

Eric Goubault

Proceedings of the Numerical Software with Result Verification, 2003

2002

Static Analysis of the Numerical Stability of Loops.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2002

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

[BibT_eX]

[DOI]

Eric Goubault

Sylvie Putot

Proceedings of the Programming Languages and Systems, 2002

2001

Partial Evaluation of Concurrent Programs.

[BibT_eX]

[DOI]

Marc Gengler

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

2000

Communication Topology Analysis for Concurrent Programs.

[BibT_eX]

[DOI]

Marc Gengler

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

1997

Self-Applicable Partial Evaluation for the pi-Calculus.

[BibT_eX]

[DOI]

Marc Gengler