Matthieu Martel


Professor in Computer Science


Laboratoire de Mathématiques et de Physique (LAMPS)
Université de Perpignan Via Domitia

Publications


2016    2015    2014    2013    2012    2011    2010    2009    2008    2007    2006    2005    2004    2003   

  • 2017
    • 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)
  • 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)