Matthieu Martel

89 papers A* 1A 3B 8C 14Misc 2Journal 18Unranked 41

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values. ARRAY@PLDI Guillaume Berthelot, Arnault Ioualalen, Matthieu Martel
2025	J	`jnl`	Automated Fixed-Point Precision Optimization for FPGA Synthesis. IEEE Open J. Circuits Syst. Inès Winandy, Arnaud Dion, Florent Manni, Pierre-Loïc Garoche, Dorra Ben Khalifa, Matthieu Martel
2025	J	`jnl`	Formally proved specification of non-nested STL formulas as synchronous observers. Sci. Comput. Program. Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
2025	—	`conf`	LINGUATEC-IA: Research and development of Artificial Intelligence for the low-resourced languages of the Pyrenees. SEPLN-PD Itziar Aldabe, Itziar Aduriz, Xabier Arregi, Aitzol Astigarraga, Myriam Bras, Pauline Charrier, Itziar Cortes, Urtzi Etxeberria, Igor Leturia, Matthieu Martel, Miguel Angel Pelles, Aure Séguier, Jordi Suïls
2025	—	`conf`	Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers. SOAP@PLDI Dorra Ben Khalifa, Matthieu Martel
2024	J	`jnl`	Code Generation for Neural Networks Based on Fixed-point Arithmetic. ACM Trans. Embed. Comput. Syst. Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
2024	—	`conf`	Compile-Time Optimization of the Energy Consumption of Numerical Computations. CF (Companion) Dorra Ben Khalifa, Matthieu Martel
2024	B	`conf`	Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. LCTES Dorra Ben Khalifa, Matthieu Martel
2024	—	`conf`	Energy Efficient Matrix Computations Through Homomorphic Compression. ICT4S Matthieu Martel, Célia Picard, Abdelmouhaimen Sarhane
2024	—	`conf`	Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds. CCIA Dorra Ben Khalifa, Matthieu Martel
2024	C	`conf`	Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers. CoDIT Dorra Ben Khalifa, Matthieu Martel
2024	J	`jnl`	What Operations can be Performed Directly on Compressed Arrays, and with What Error? CoRR Tripti Agarwal, Harvey Dam, Dorra Ben Khalifa, Matthieu Martel, P. Sadayappan, Ganesh Gopalakrishnan
2023	C	`conf`	On the Functional Properties of Automatically Generated Fixed-Point Controllers. CoDIT Dorra Ben Khalifa, Matthieu Martel
2023	Misc	`conf`	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach SYNASC Asma Soualah, Matthieu Martel, Stéphane Abide
2023	—	`conf`	Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. FMAS@iFM Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
2023	—	`conf`	What Operations can be Performed Directly on Compressed Arrays, and with What Error? SC Workshops Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel
2022	J	`jnl`	An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. CoRR Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
2022	C	`conf`	Compressed Matrix Computations. BDCAT Matthieu Martel
2022	J	`jnl`	Compressed Matrix Computations. CoRR Matthieu Martel
2022	C	`conf`	Constrained Precision Tuning. CoDIT Dorra Ben Khalifa, Matthieu Martel
2022	J	`jnl`	Constrained Precision Tuning. CoRR Dorra Ben Khalifa, Matthieu Martel
2022	—	`conf`	Efficient Neural Network Validation with Affine Forms. ICSRS Asma Soualah, Matthieu Martel
2022	—	`conf`	Fixed-Point Code Synthesis Based on Constraint Generation. DASIP Sofiane Bessaï, Dorra Ben Khalifa, Hanane Benmaghnia, Matthieu Martel
2022	J	`jnl`	Fixed-Point Code Synthesis For Neural Networks. CoRR Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
2022	—	`conf`	Toward Increasing Trust in Exascale Simulations. XLOOP@SC Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan
2021	—	`conf`	A Study of the Floating-Point Tuning Behaviour on the N-body Problem. ICCSA (5) Dorra Ben Khalifa, Matthieu Martel
2021	J	`jnl`	A Study of the Floating-Point Tuning Behaviour on the N-body Problem. CoRR Dorra Ben Khalifa, Matthieu Martel
2021	—	`conf`	An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. VSTTE Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
2021	—	`conf`	An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic. ICICT Dorra Ben Khalifa, Matthieu Martel
2021	B	`conf`	Fast and Efficient Bit-Level Precision Tuning. SAS Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
2021	J	`jnl`	Fast and Efficient Bit-Level Precision Tuning. CoRR Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
2021	—	`conf`	Parallel Accurate and Reproducible Summation. SAI (1) Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
2020	—	`conf`	Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices. IoTaIS Dorra Ben Khalifa, Matthieu Martel
2019	C	`conf`	Fixed Point Computation by Exponentiating Linear Operators. CoDIT Asma Mansouri, Matthieu Martel, Oana-Silvia Serea
2019	—	`conf`	Neural Network Precision Tuning. QEST Arnault Ioualalen, Matthieu Martel
2019	J	`jnl`	Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics. Comput. Math. Appl. Mikaël Barboteu, Nacera Djehaf, Matthieu Martel
2019	—	`conf`	POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. FTSCS Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
2019	—	`conf`	Precision Tuning and Internet of Things. IINTEC Dorra Ben Khalifa, Matthieu Martel
2018	—	`conf`	Mixed Precision Tuning with Salsa. PECCS Nasrine Damouche, Matthieu Martel
2018	J	`jnl`	Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2018	C	`conf`	On the Impact of Numerical Accuracy Optimization on General Performances of Programs. CoDIT Nasrine Damouche, Matthieu Martel
2018	C	`conf`	Strongly Typed Numerical Computations. ICFEM Matthieu Martel
2017	—	`conf`	An Overview of Numalis Software Suite for Reliable Numerical Computation. ISSRE Workshops Arnault Ioualalen, Matthieu Martel, Nicolas Normand
2017	J	`jnl`	Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. Concurr. Comput. Pract. Exp. Laurent Thévenoux, Philippe Langlois, Matthieu Martel
2017	—	`conf`	Floating-Point Format Inference in Mixed-Precision. NFM Matthieu Martel
2017	J	`jnl`	Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2017	C	`conf`	Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2017	—	`ed.`	Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers NSV@CAV Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
2017	—	`conf`	Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM Nasrine Damouche, Matthieu Martel
2017	J	`jnl`	Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. J. Syst. Archit. Matthieu Martel, Amine Najahi, Guillaume Revy
2016	C	`conf`	Data-types optimization for floating-point formats by program transformation. CoDIT Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2016	—	`conf`	Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. NSV@CAV Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
2015	—	`conf`	Automatic Source-to-Source Error Compensation of Floating-Point Programs. CSE Laurent Thévenoux, Philippe Langlois, Matthieu Martel
2015	C	`conf`	Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	C	`conf`	Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Preface. NSV Sergiy Bogomolov, Matthieu Martel
2015	—	`ed.`	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 NSV Sergiy Bogomolov, Matthieu Martel
2015	—	`conf`	Transformation of a PID Controller for Numerical Accuracy. NSV Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2014	—	`conf`	Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. PECCS Matthieu Martel, Amine Najahi, Guillaume Revy
2014	—	`conf`	Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. DASIP Matthieu Martel, Amine Najahi, Guillaume Revy
2013	—	`conf`	Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt Francesco Logozzo, Matthieu Martel
2013	—	`conf`	Synthesizing accurate floating-point formulas. ASAP Arnault Ioualalen, Matthieu Martel
2012	B	`conf`	A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. SAS Arnault Ioualalen, Matthieu Martel
2012	—	`conf`	Accurate Evaluation of Arithmetic Expressions (Invited Talk). NSAD@SAS Matthieu Martel
2012	—	`conf`	Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach. DASIP Arnault Ioualalen, Matthieu Martel
2011	Misc	`conf`	RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. SYNASC Matthieu Martel
2010	—	`conf`	Accuracy versus time: a case study with summation algorithms. PASCO Philippe Langlois, Matthieu Martel, Laurent Thévenoux
2010	B	`ed.`	Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings SAS Radhia Cousot, Matthieu Martel
2009	—	`conf`	Abstract Simulation: A Static Analysis of Simulink Models. ICESS Alexandre Chapoutot, Matthieu Martel
2009	J	`jnl`	Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Tech. Sci. Informatiques Alexandre Chapoutot, Matthieu Martel
2009	J	`jnl`	Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. Formal Methods Syst. Des. Matthieu Martel
2009	—	`conf`	In Pursuit of Real Answers. ICESS Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
2009	C	`conf`	Program transformation for numerical precision. PEPM Matthieu Martel
2008	A	`conf`	A Hybrid Denotational Semantics for Hybrid Systems. ESOP Olivier Bouissou, Matthieu Martel
2008	B	`conf`	Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI Olivier Bouissou, Matthieu Martel
2007	B	`conf`	Semantics-Based Transformation of Arithmetic Expressions. SAS Matthieu Martel
2006	J	`jnl`	Semantics of roundoff error propagation in finite precision calculations. High. Order Symb. Comput. Matthieu Martel
2005	A*	`conf`	A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
2005	B	`conf`	An Overview of Semantics for the Validation of Numerical Programs. VMCAI Matthieu Martel
2004	—	`conf`	Validation of assembler programs for DSPs: a static analyzer. PASTE Matthieu Martel
2003	C	`conf`	Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. SCAM Matthieu Martel
2003	—	`conf`	Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification Sylvie Putot, Eric Goubault, Matthieu Martel
2002	A	`conf`	Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP Eric Goubault, Matthieu Martel, Sylvie Putot
2002	A	`conf`	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. ESOP Matthieu Martel
2002	B	`conf`	Static Analysis of the Numerical Stability of Loops. SAS Matthieu Martel
2001	—	`conf`	Partial Evaluation of Concurrent Programs. Euro-Par Matthieu Martel, Marc Gengler
2000	—	`conf`	Communication Topology Analysis for Concurrent Programs. SPIN Matthieu Martel, Marc Gengler
1997	C	`conf`	Self-Applicable Partial Evaluation for the pi-Calculus. PEPM Marc Gengler, Matthieu Martel