Mohamed Amine Najahi
 Hi, I currently work for Nvidia as a software engineer with a focus on securing communications for next generation cars.
 The material in this page is from my time as a PhD student (20112014) and as an ATER (Attaché Temporaire d'Enseignement et de Recherche) (20142015) at the DALI TEAM (part of the UPVD and the LIRMM laboratory).
 I defended my Ph.D. thesis on December 10th, 2014 at the UPVD in front of a jury composed of:
 Sylvie Boldo (examiner)
 Florent de Dinechin (referee)
 LaurentStéphane Didier (referee)
 Matthieu Martel (director)
 Ali Mili (president)
 Guillaume Revy (director)
Research
Research topics
 Fixedpoint arithmetic:
 Tools for the generation of fixedpoint codes.
 Numerical certification of fixedpoint codes.
 Linear algebra basic blocks in fixedpoint arithmetic.
 Fixedpoint arithmetic:
Software
Publications/Communications
Ph.D. thesis
[1] Synthesis of certified programs in fixedpoint arithmetic, and its application to linear algebra basic blocks. Ph.D. Thesis, Université de Perpignan Via Domitia  Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier. Perpignan, France, December 10th 2014.Get it [Tel] [PDF] [Slides]
International journals with review committees
[2] Tradeoffs of certified fixedpoint code synthesis for linear algebra basic blocks. Accepted to the Journal of Systems Architecture, 2016.Get it [lirmm01279628]
International conferences with review committees and proceedings
[3] Toward the synthesis of fixedpoint code for matrix inversion based on Cholesky decomposition. Presented at the Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Spain, 810 October 2014.Get it [lirmm01024984]
[4] Automated Synthesis of TargetDependent Programs for Polynomial Evaluation in FixedPoint Arithmetic. Presented at the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, 2225 September 2014.Get it [lirmm00814338]
[5] Code Size and AccuracyAware Synthesis of FixedPoint Programs for Matrix Multiplication. In A. Ahrens, C. BenaventePeces , and J. Filipethe, editors, 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014), pages 204214, Lisbon, Portugal, 79 January 2014.Get it [lirmm00860383]
[6] Design of Fixedpoint Embedded Systems (DEFIS) French ANR Project. Demo Night of the Conference on Design and Architectures for Signal and Image Processing (DASIP 2012), Karlsruhe, Germany, 2325 October 2012.Get it [hal00822487]
Abstract only conferences
[7] Approach based on instruction selection for fast and certified code generation. In 15th GAMMIMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012), Novosibirsk, Russia, 2329 September 2012.Get it [PDF (abstract)] [BibTeX] [lirmm00813055]
Research reports
[8] Automated Synthesis of TargetDependent Programs for Polynomial Evaluation in FixedPoint Arithmetic. . Research report LIRMM13006, 2013.Get it [lirmm00814338] Recent talks
[9] Toward the synthesis of fixedpoint code for matrix inversion based on Cholesky decomposition.
Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Spain, 810 October 2014. [Slides]
[10] Automated Synthesis of TargetDependent Programs for Polynomial Evaluation in FixedPoint Arithmetic.
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, 22 September 2014. [Slides]
[11] Code synthesis for linear algebra basic blocks in fixedpoint arithmetic: The cases of matrix multiplication and inversion.
Journée du GDR ISIS  Arithmétique pour le traitement de signal et de l'image, Paris, France, 3 July 2014. [Slides]
[12] Code Size and AccuracyAware Synthesis of FixedPoint Programs for Matrix Multiplication.
4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014), Lisbon, Portugal, 79 January 2014. [Slides]
[13] Automated synthesis of fixedpoint programs: the case of matrix multiplication and, some elements on matrix inversion.
ANR DEFIS WP3 meeting, Perpignan, France, 9 July 2013. [Slides]
[14] Automated synthesis of fixedpoint programs: the case of matrix multiplication.
PEQUAN team (LIP6) seminary, Paris, France, 30 May 2013. [Slides]
[15] Synthesis of fixed point programs: the case of matrix multiplication.
École Jeunes Chercheurs en Informatique Mathématique 2013 (EJCIM '13), Perpignan, France, 12 April 2013. [Slides]
[16] Synthesis of fixedpoint programs based on instruction selection: the case of polynomial evaluation.
5th Rencontres Arithmétique de l'Informatique Mathématique (RAIM '12), Dijon, France, 2022 Juin 2012. [Slides]
[17] Mieux calculer avec un ordinateur (Improving computations' quality).
Congrès pluridisciplinaire des doctorants de l'UPVD '12, Perpignan, France, 7 Juin 2012. [Slides]
Master's theses
[18] Algebraic cryptanalysis of codebased cryptosystems. Master's Thesis, Université Pierre et Marie Curie, France, 10 September 2011.Get it [PDF] Slides [PDF]
[19] Algebraic cryptanalysis of a symmetric family of ciphers : Katan & Ktantan. First year Master project, Université Pierre et Marie Curie, France, 15 Juin 2010.Get it [PDF] Slides [PDF]
Teaching
Curriculum vitae
 20112014 Ph.D. student in Computer Science at DALI/UPVD.
 2011 6 months research internship in the SALSA and SECRET teams.
 2011 M.Sc. in Comupter Science at UPMC and MPRI.
 2010 1 month research internship in SALSA TEAM.
 2009 Licence (3 years degree) in Mathematics and Computer Science at UPMC.
 Longer version
Miscellaneous
 My shell: zsh
 My WM: awesome
 My main programming languages: C/C++
 C compilers: gcc , tcc , pcc , lcc , clang
Popularization
 Fête de la science 2013: Computer security in wireless communications
 Introduction to highschool students: Number representation in computers
Contact

DALI UPVDLIRMM projectteam
Université de Perpignan Via Domitia Building B (Room BN17) 52 avenue Paul Alduy F66860 Perpignan cedex 9, France
Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier CNRS: UMR 5506  Université Montpellier 2 161 rue Ada F34095 Montpellier cedex 5, France
Email