Matthieu Martel

Yassamine Seladji

ACM Trans. Embed. Comput. Syst., September, 2024

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

[BibT_eX]

[DOI]

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

Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Control, 2024

Compile-Time Optimization of the Energy Consumption of Numerical Computations.

[BibT_eX]

[DOI]

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

Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2024

2023

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

[BibT_eX]

[DOI]

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>.

[BibT_eX]

[DOI]

Asma Soualah

Stéphane Abide

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?

[BibT_eX]

[DOI]

Tripti Agarwal

Harvey Dam

Ponnuswamy Sadayappan

Ganesh Gopalakrishnan

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