Matthieu Martel

Professor in Computer Science
Vice-President for International & Cross-Border Relations
Laboratoire de Mathématiques et de Physique (LAMPS)
Université de Perpignan Via Domitia

Co-founder and scientific advisor of Numalis

Publications


  • 2023
    • Dorra Ben Khalifa and Matthieu Martel, On the Functional Properties of Automatically Generated Fixed-Point Controllers. 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023. IEEE 2023 (pdf)
    • Asma Soualah, Stéphane Abide and Matthieu Martel, Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach. 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2023 (pdf)
    • Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa and Matthieu Martel 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, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023. ACM Best Paper Award (pdf)
    • Céline Bellanger, Pierre-Loic Garoche, Matthieu Martel, Célia Picard: Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. EPTCS 395 (pdf)

  • 2022
    • Martel, Matthieu, Compressed Matrix Computations. In: 9th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT2022). IEEE Press. (pdf)
    • Ben Khalifa, Dorra, Xinyi Li, Ignacia Laguna, Matthieu Martel and Ganesh Gopalakrishnan Toward Increasing Trust in Exascale Simulations In: 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing, XLOOP@SC 2022, Dallas, TX, USA, November 14, 2022. IEEE. (pdf)
    • Benmaghnia, Hanane, Matthieu Martel and Yasmine Seladji, Code Generation For Neural Networks Based on Fixed-Point Arithmetic. In: Transactions on Embedded Computing Systems. To appear.
    • Bessaı, Sofiane, Ben Khalifa Dorra, Benmaghnia Hanane and Matthieu Martel, Fixed-Point Code Synthesis Based on Constraint Generation Karol Desnos, Sergio A. Pertuz: Design and Architecture for Signal and Image Processing - 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022, Proceedings. Lecture Notes in Computer Science 13425, Springer (pdf)
    • Ben Khalifa, Dorra and Matthieu Martel Constrained Precision Tuning 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022. IEEE (pdf)
    • Soualah, Asma and Matthieu Martel Efficient Neural Network Validation with Affine Forms, In: 6th International Conference on System Reliability and Safety (ICSRS 2022), November 23-25, 2022 in Venice, Italy. IEEE Press. (pdf)

  • 2021
    • Dorra Ben Khalifa, Assalé Adjé and Matthieu Martel, Fast and Efficient Bit-Level Precision Tuning , 28th Static Analysis Symposium, Lecture Notes in Computer Science, Chicago, Illinois, Sun 17 - Fri 22 October 2021. (pdf)
    • Dorra Ben Khalifa and Matthieu Martel, An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic , 4th International Conference on Information and Computer Technologies, ICICT 2021, Kahului, HI, USA, March 11-14, 2021. (pdf)
    • Dorra Ben Khalifa and Matthieu Martel, A Study of the Floating-Point Tuning Behaviour on the N-body Problem , The 21st International Conference on Computational Science and its Applications, Cagliari, Italy, September 13 - 16, 2021. (pdf)
    • Farah Benmouhoub, Pierre-Loic Garoche and Matthieu Martel, Parallel Accurate and Reproducible Summation , Computing Conference, Lecture Notes in Networks and Systems, London, UK, 15-16 July 2021. (pdf)
    • Farah Benmouhoub, Pierre-Loic Garoche and Matthieu Martel, An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods , 14th International Workshop on Numerical Software Verification 2021, Los Angeles, CA, USA, 18-19 July 2021 (pdf)

  • 2020
    • Dorra Ben Khalifa and Matthieu Martel, Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices , IEEE International Conference on Internet of Things and Intelligence System, IoTaIS 2020, Bali, Indonesia, January 27-28, 2021 (pdf)
    • Corentin De Souza, Ludovic Gauthier, Arnault Ioualalen, David Lesens, Matthieu Martel and Philippe Miramont Validating the Numerical Accuracy of Critical Systems A Case Study with Spoat and Space Launcher Flight Software , Embedded Real Time Systems, ERTS 29th to 31st January, Toulouse, France, 2020 (pdf)

  • 2019
    • Dorra Ben Khalifa and Matthieu Martel, Precision Tuning and Internet of Things, IEEE - International Conference on IoT Embedded Systems and Communications IINTEC, Hammamet, Tunisia, 20-22 December, 2019 (pdf)
    • Precision Tuning and Internet of Things, Seventh International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Shenzhen, China, November 9, 2019 (pdf)
    • Arnault Ioualalen and Matthieu Martel, Neural Network Precision Tuning , Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Lecture Notes in Computer Science 11785, Springer 2019 (pdf)
    • Farah Benmouhoub, Pierre-Loic Garoche and Matthieu Martel, Improving the Numerical Accuracy of Parallel Programs by Data Mapping, 8th International Workshop on Numerical and Symbolic Abstract Domains October 8, 2019 Porto, Portugal (pdf)
    • Mikael Barboteu, Nacera Djehaf and Matthieu Martel, Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics, Computers & Mathematics with Applications, Volume 77(11), pages 2883-2893, 2019 (pdf)
    • Asma Mansouri, Matthieu Martel and Oana-Silvia Serea, Fixed Point Computation by Exponentiating Linear Operators., 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, IEEE Press, pages 1096-1102 (pdf)

  • 2018
    • Matthieu Martel, Strongly Typed Numerical Computations, 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, 2018, Lecture Notes in Computer Science 11232, Springer 2018 (pdf)
    • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot, Numerical program optimisation by automatic improvement of the accuracy of computations, International Journal of Intelligent Engineering Informatics 6(1/2), pages 115-145 (2018) (pdf)
    • Nasrine Damouche, Matthieu Martel, On the Impact of Numerical Accuracy Optimization on General Performances of Programs, 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, IEEE PRess, pages 333-340 (pdf)
    • Nasrine Damouche and Matthieu Martel, Mixed Precision Tuning with Salsa, 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems, PECCS 2018, Porto, Portugal, SciTePress, (pdf)

  • 2017
    • Arnault Ioualalen, Matthieu Martel and Nicolas Normand, An Overview of Numalis Software Suite for Reliable Numerical Computation Best Industry Paper, 28th IEEE International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France, October 23-26, 2017. (pdf)
    • Matthieu Martel, Floating-Point Format Inference in Mixed-Precision, 9th NASA Formal Methods Symposium NFM 2017, NASA Ames Research Center, Moffett Field, CA, USA, May 16-18, 2017 (pdf)
    • Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot, Numerical Accuracy Improvement by Interprocedural Program Transformation, 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES, Sankt Goar, Germany, June 12-13, 2017. (pdf)
    • Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot, Improving the numerical accuracy of programs by automatic transformation, International Journal on Software Tools for Technology Transfer, STTT 19(4): 427-448, 2017
    • Matthieu Martel, Amine Najahi, Guillaume Revy Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks, Journal of Systems Architecture: Embedded Software Design 76: 133-148, 2017
    • Laurent Th�venoux, Philippe Langlois, Matthieu Martel Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time, Concurrency and Computation: Practice and Experience 29(7) , 2017

  • 2016
    • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot, Data-types optimization for floating-point formats by program transformation, International Conference on Control, Decision and Information Technologies, CoDIT 2016, Saint Julian's, Malta, April 6-8, 2016, IEEE Press, pages 576-581 (pdf)
    • Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock, Toward a Standard Benchmark Format and Suite for Floating-Point Analysis, 9th International Workshop on Numerical Software Verification, Toronto, Canada, July 17-18, 2016, Lecture Notes in Computer Science, Springer, pages 63-77 (pdf)
    • Alexis Werey, David Delmas and Matthieu Martel, Accuracy Analysis of Numerical Computations for Avionics Automatic Code Generators, 8th European Congress on Embedded Real Time Software and Systems (ERTS2), Toulouse, France, 27-29 Janvier 2016 (pdf)

  • 2015
    • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot, Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods, 25th International Symposium on Logic-Based Program Synthesis and Transformation, Siena, Italy, July 13-15, 2015 (pdf)
    • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot, Intra-procedural Optimization of the Numerical Accuracy of Programs, Formal Methods for Industrial Critical Systems - 20th International Workshop, Lecture Notes in Computer Science 9128, Springer, Oslo, Norway, June 22-23, 2015 (pdf)
    • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot, Optimizing the accuracy of a rocket trajectory simulation by program transformation, 12th ACM International Conference on Computing Frontiers, CF'15, ACM Press, Ischia, Italy, May 18-21, 2015 (pdf)
    • Laurent Th�venoux, Philippe Langlois and Matthieu Martel, Automatic Source-to-Source Error Compensation of Floating-Point Programs, 18th IEEE International Conference on Computational Science and Engineering (CSE), Porto, Portugal, October 21-23, 2015 (pdf)

  • 2014
    • Matthieu Martel, Amine Najahi and Guillaume Revy, Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication 4th International Conference on Pervasive and embedded computing and communication Systems, PECCS 2014, Lisbon, Portugal, January 7-9, 2014 (pdf)
    • Matthieu Martel, Amine Najahi and Guillaume Revy, Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition Conference on Design and Architectures for Signal and Image Processing, DASIP 2014, Madrid, Spain, October 8-10, 2014 (pdf)
    • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot, Transformation of a PID Controller for Numerical Accuracy, 7th International Workshop on Numerical Software Verification, Vienna, Austria, July 17-18, 2014 (pdf)

  • 2013
    • Francesco Logozzo and Matthieu Martel, Automatic Repair of Overflowing Expressions with Abstract Interpretation, in Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013, pages 341-357, volume 129 of EPTCS (pdf)
    • Arnault Ioualalen and Matthieu Martel, Synthesizing accurate floating-point formulas, 24th International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2013, Washington, DC, USA, June 5-7, 2013 (pdf)
    • Matthieu Martel, Introduction � la th�orie de l'interpr�tation abstraite et application � la validation de codes num�riques, Informatique math�matique : une photographie en 2013, Philippe Langlois �diteur, pages 145-185, Presses Universitaires de Perpignan, 2013, (ISBN 9782354121839)

  • 2012
    • Matthieu Martel, Accurate Evaluation of Arithmetic Expressions (Invited Talk), Fourth International Workshop on Numerical and Symbolic Abstract Domains (NSAD), Electronic Notes in Theoretical Computer Science, 2012 (pdf)
    • Arnault Ioualalen and Matthieu Martel, A New Abstract Domain for the Representation of Mathematically Equivalent Expressions, Static Analysis Symposium, SAS'12, Lecture Notes in Computer Science, Volume 7460, pages 75-93, Springer-Verlag, 2012 (pdf)
    • Arnault Ioualalen and Matthieu Martel, Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach, Conference on Design and Architectures for Signal and Image Processing (DASIP), 2012 (pdf)
    • Laurent Th�venoux, Matthieu Martel, Philippe Langlois, Accuracy Optimization using Automatic Compensation in Floating-Point Arithmetic , 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), 2012 (pdf)
    • Arnault Ioualalen and Matthieu Martel, Sardana: an Automatic Tool for Numerical Accuracy Optimization, 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN) 2012(pdf)

  • 2011
    • Matthieu Martel, Matthieu Martel. RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC'11 September 26-29, 2011, Timisoara, Romania (pdf)

  • 2010
    • Radhia Cousot and Matthieu Martel (Editors), Static Analysis Symposium (SAS), Lecture Notes in Computer Science, Springer-Verlag, 6337, 2010
    • Laurent Th�venoux, Matthieu Martel, Philippe Langlois, Trade-off between accuracy and time for automatically generated algorithms, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2010 (pdf)
    • Laurent Th�venoux, Matthieu Martel, Philippe Langlois, Accuracy Versus Time: A Case Study with Summation Algorithms, ACM-SIGSAM International Workshop on Parallel and Symbolic Computation (PASCO), 2010 (pdf)
  • 2009
    • Matthieu Martel, Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics, Journal of Formal Methods in System Design, volume 35, pages 265-278, 2009, Springer (pdf)
    • Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, and Jeremy Siek. In Pursuit of Real Answers, 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009 (pdf)
    • Alexandre Chapoutot and Matthieu Martel. Abstract simulation: a static analysis of simulink models, 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009 (pdf)
    • Matthieu Martel, Program Transformation for Numerical Precision, Partial Evaluation and Program Manipulation, PEPM'09, ACM Press, (pdf)
    • Alexandre Chapoutot and Matthieu Martel, Diff�rentiation automatique et formes de Taylor en analyse statique de programmes num�riques, Technique et sciences informatiques (TSI), � para�tre, 2009 (pdf)

  • 2008
    • Matthieu Martel, Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics, First International Workshop on Numerical Abstractions for Software Verification, invited paper, 2008 (pdf)
    • Alexandre Chapoutot and Matthieu Martel, Static Analysis of Simulink Programs (short paper), Synchronous languages and model-driven high-level programming of reactive and embedded systems, SLAP2008, Electronic Notes in Theoretical Computer Science, 2008 (pdf)
    • Olivier Bouissou and Matthieu Martel, A Hybrid Denotational Semantics for Hybrid Systems, European Symposium on Programming, ESOP'08, Lecture Notes in Computer Science, Springer-Verlag, 4960, 2008 (pdf)
    • Olivier Bouissou and Matthieu Martel, Abstract Interpretation of the Physical Inputs of Embedded Programs, Verification, Model Checking and Abstract Interpretation, VMCAI'08, Lecture Notes in Computer Science, Springer-Verlag, 4905, 2008 (pdf)

  • 2007
    • Matthieu Martel, Semantics-Based Transformation of Arithmetic Expressions, Static Analysis Symposium, SAS'07, Lecture Notes in Computer Science, Springer-Verlag, 4634, 2007 (pdf)
    • Olivier Bouissou and Matthieu Martel, Static Analysis of Embedded Programs with Continuous I/O, 10th International Conference on Hybrid Systems: Computation and Control, poster session, 2007 (pdf)
    • Alexandre Chapoutot and Matthieu Martel, Différentiation automatique et formes de Taylor en analyse statique de programmes numériques, 10ième conférence francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2007 (pdf)
    • Olivier Bouissou and Matthieu Martel, GRKLib: a Guaranteed Runge-Kutta Library, IEEE Conference Proceedings (follow-up of SCAN'06), 2007 (pdf)

  • 2006
    • Matthieu Martel, Eléments pour la validation de systèmes numériques intégrés, Mémoire d'habilitation �  diriger des recherches, Université Paris IX Dauphine, 2006 (pdf)
    • Olivier Bouissou and Matthieu Martel, A Runge-Kutta Method for Computing Guaranteed Solutions of ODEs, 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 2006 (pdf)
    • Alexandre Chapoutot and Matthieu Martel, Abstract Frequency Analysis of Synchronous Systems, ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), poster session, 2006, abstract and poster
    • Matthieu Martel, Semantics of roundoff error propagation in finite precision computations, Journal of Higher Order and Symbolic Computation, 19:7-30, 2006 (pdf)
    • Daniel Krob and Matthieu Martel, Le master professionnel "ingénierie des systèmes industriels complexes", Conférence annuelle de l'Association Française d'Ingénierie système, 2006 (pdf)
    • Eric Goubault, Matthieu Martel and Sylvie Putot, Some future challenges in the validation of control systems, European Congress on Embedded Real Time Software (ERTS), 2006 (pdf)

  • 2005
    • Matthieu Martel, An Overview of Semantics for the Validation of Numerical Programs, Verification, Model Checking and Abstract Interpretation, VMCAI'05, Lecture Notes in Computer Science, Springer-Verlag 3385, 2005 (pdf)
    • Alexandru Costan, Eric Goubault, Stéphane Gaubert, Matthieu Martel and Sylvie Putot, A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs, Computer Aided Verification, CAV'05, Lecture Notes in Computer Science, Springer-Verlag 3576, 2005 (pdf)
    • Matthieu Martel, Towards an abstraction of the physical environment of embedded systems, International Workshop on Numerical and Symbolic Abstract Domains, NSAD'05, 2005 (pdf)

  • 2004
    • Matthieu Martel, Validation of Assembler Programs for DSPs: A Static Analyzer, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), 2004 (pdf)
    • Sylvie Putot, Eric Goubault and Matthieu Martel, Static Analysis-Based Validation of Floating-Point Computations, follow-up of the seminary on Numerical Software with Result Verification, at Dagstuhl, Germany, 2004, Lecture Notes in Computer Science, Springer-Verlag 2991 (pdf)

  • 2003
    • Matthieu Martel, Improving the Static Analysis of Loops by Dynamic Partitioning Techniques, 2003, Third IEEE International Workshop on Source Code Analysis and Manipulation, SCAM'03 (pdf)

  • 2002
    • Matthieu Martel, Static Analysis of the Numerical Stability of Loops, 2002, Static Analysis Symposium, SAS'02, Lecture Notes in Computer Science, Springer-Verlag 2477 (pdf)
    • Matthieu Martel, Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach, European Symposium on Programming, ESOP'2002, Lecture Notes in Computer Science, Springer-Verlag 2305 (pdf)
    • Eric Goubault, Matthieu Martel and Sylvie Putot, Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter, European Symposium on Programming, ESOP'2002, Lecture Notes in Computer Science, Springer-Verlag2305 (pdf)

  • 2001
    • Matthieu Martel and Marc Gengler, Partial Evaluation of Concurrent Programs, Euro-par Conference on Parallel Processing, Euro-par'2001, Lecture Notes in Computer Science, Springer-Verlag 2150 (pdf)

  • 2000
    • Matthieu Martel, Analyse Statique et Evaluation Partielle de Systèmes de Processus Mobiles, PhD Thesis, Université d'Aix-Marseille II, 2000 (pdf)
    • Matthieu Martel and Marc Gengler, Communication Topology Analysis for Concurrent Programs, 7th International SPIN Workshop on Model Checking of Software, SPIN'2000, Lecture Notes in Computer Science, Springer-Verlag 1885 (pdf)
    • Matthieu Martel and Marc Gengler, Analyse Statique pour la Sûreté des Applications Distribuées, Rencontres Francophones du Parallélisme, Renpar'12, 2000 (pdf)

  • 1998
    • Matthieu Martel and Marc Gengler, Des Etages en Concurrent ML, Rencontres Francophones du Parallélisme, Renpar'10, 1998 (pdf)

  • 1997
    • Matthieu Martel and Marc Gengler, Self-applicable Partial Evaluation for the Pi-calculus, ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'97 (pdf)