Publications

Home Page

Publications

  • M. A. Najahi, Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks, Ph.D. dissertation, Université de Perpignan Via Domitia, 2014.
  • M. Martel, A. Najahi, G. Revy, Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition, 6th Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Spain, 2014.
  • C. Mouilleron, A. Najahi, G. Revy, Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic, 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, 2014.
  • M. Martel, A. Najahi, G. 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, 2014.
  • B. Lopez, T. Hilaire, L-S. Didier, Formatting bits to better implement signal processing algorithms, Conference on Pervasive and Embedded Computing and Communication Systems-PECCS 2014, Lisbon, Portugal, 2014. paper
  • T. Hilaire, B. Lopez, Reliable implementation of linear filters with fixed-point arithmetic, Signal Processing Systems-SiPS 2013, Taipei, Taiwan, 2013. paper
  • R. Rocher, O. Sentieys , N. Simon, L. Didier, T. Hilaire, B. Lopez, E. Goubault, S. Putot, F. Vedrine, A. Najahi, G. Revy, L. Fangain, C. Samoyeau, F. Lemonnier, C. Clienti, Design of fixed-point embedded systems (DEFIS) French ANR project at Conference on Design & Architectures for Signal & Image Processing-DASIP 2012, Karlsruhe, Germany, 2012. link
  • B. Lopez, T. Hilaire, L-S. Didier, Sum-of-products Evaluation Schemes with Fixed-Point arithmetic, and their application to IIR filter implementation, Conference on Design & Architectures for Signal & Image Processing-DASIP 2012, Karlsruhe, Germany, 2012. paper
  • A. Chapoutot, L-S. Didier, F. Villers, Range Estimation of Floating-Point Variables in Simulink Models, Conference on Design & Architectures for Signal & Image Processing-DASIP 2012, Karlsruhe, Germany, 2012. (Best paper award) paper
  • A. Ioualalen and M. Martel, Synthesis of Arithmetic Expressions for the Fixed-point Arithmetic: The Sardana Approach, Conference on Design & Architectures for Signal & Image Processing-DASIP 2012, Karlsruhe, Germany, 2012. (Best poster award)
  • Eric Goubault and Sylvie Putot, Robustness analysis of finite precision implementations, Proceedings of Asian Symposium on Programming Languages and Systems APLAS 2013, LNCS volume 8301, pp 50-57, 2013. paper
  • E. Goubault, S. Putot , F. Védrine, Modular Static Analysis with Zonotopes, 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012, Lecture Notes in Computer Science Volume 7460, pp 24-40 paper.pdf
  • F. Vedrine, E. Goubault, S. Putot and T. Le Gall. Interactive Analysis in FLUCTUAT, Tools for Automatic Program AnalysiS - TAPAS 2012, 14th September 2012, Deauville, France. paper slides
  • L. Thévenoux, Transformation automatique de code pour optimiser la précision et la vitesse des calculs en arithmétique flottante, Rencontres Arithmétique de l'Informatique Mathématique – RAIM 2012, Dijon, France
  • D. Ménard, Evaluation des performances des systèmes en virgule fixe, Rencontres Arithmétique de l'Informatique Mathématique – RAIM 2012, Dijon, France
  • B. Lopez, Schémas d’évaluation de produits scalaire en arithmétique virgule fixe, application aux filtres IIR. Rencontres Arithmétique de l'Informatique Mathématique – RAIM 2012, Dijon, France
  • A. Najahi, Synthesis of fixed-point programs based on instruction selection: the case of polynomial evaluation, Rencontres Arithmétique de l'Informatique Mathématique – RAIM 2012, Dijon, France
  • C. Mouilleron, A. Najahi, G. Revy, Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic, http://hal-lirmm.ccsd.cnrs.fr/lirmm-00814338
  • N. Simon, D. Ménard , O. Sentieys , ID.Fix A software tool for fixed-point refinement of embedded systems, In University Booth of the IEEE/ACM on Design Automation Conference (DAC), Austin, June 2013 http://www.youtube.com/watch?v=nKYA4hezplQ
  • O. Sentieys , N. Simon, D. Ménard , R. Rocher , S. Ganda, ID.Fix Infrastructure for the Design of Fixed-Point Systems, In University Booth of the IEEE/ACM on Design Automation Conference (DAC), Austin, June 2013
  • D . Ménard , N. Simon, J.C. Naud, O. Sentieys , ID.Fix Infrastructure for the Design of Fixed-Point Systems, In University Booth of the IEEE/ACM on Design Automation Conference (DAC), San Fransisco, June 2012 , http://www.youtube.com/watch?v=DpzvO_m44Ho
  • O. Sentieys , D. Ménard , R. Rocher . ID.FIX: A Software Infrastructure for the design of fixed-point systems, In University Booth of the IEEE/ACM Conference on Design, Automation and Test in Europe (DATE), Grenoble, March 2013.