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 (2011-2014) and as an ATER (Attaché Temporaire d'Enseignement et de Recherche) (2014-2015) 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)
- Laurent-Stéphane Didier (referee)
- Matthieu Martel (director)
- Ali Mili (president)
- Guillaume Revy (director)
Research
Research topics
- Fixed-point arithmetic:
- Tools for the generation of fixed-point codes.
- Numerical certification of fixed-point codes.
- Linear algebra basic blocks in fixed-point arithmetic.
- Fixed-point arithmetic:
Software
Publications/Communications
Ph.D. thesis
[1] Synthesis of certified programs in fixed-point 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] Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. Accepted to the Journal of Systems Architecture, 2016.Get it [lirmm-01279628]
International conferences with review committees and proceedings
[3] Toward the synthesis of fixed-point 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, 8-10 October 2014.Get it [lirmm-01024984]
[4] Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. Presented at the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, 22-25 September 2014.Get it [lirmm-00814338]
[5] Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. In A. Ahrens, C. Benavente-Peces , and J. Filipethe, editors, 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014), pages 204-214, Lisbon, Portugal, 7-9 January 2014.Get it [lirmm-00860383]
[6] Design of Fixed-point Embedded Systems (DEFIS) French ANR Project. Demo Night of the Conference on Design and Architectures for Signal and Image Processing (DASIP 2012), Karlsruhe, Germany, 23-25 October 2012.Get it [hal-00822487]
Abstract only conferences
[7] Approach based on instruction selection for fast and certified code generation. In 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012), Novosibirsk, Russia, 23-29 September 2012.Get it [PDF (abstract)] [BibTeX] [lirmm-00813055]
Research reports
[8] Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. . Research report LIRMM-13006, 2013.Get it [lirmm-00814338] Recent talks
[9] 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, 8-10 October 2014. [Slides]
[10] 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, 22 September 2014. [Slides]
[11] Code synthesis for linear algebra basic blocks in fixed-point 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 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, 7-9 January 2014. [Slides]
[13] Automated synthesis of fixed-point 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 fixed-point 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 fixed-point programs based on instruction selection: the case of polynomial evaluation.
5th Rencontres Arithmétique de l'Informatique Mathématique (RAIM '12), Dijon, France, 20-22 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 code-based 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
- 2014/15 Ater at UPVD.
- xx hours TEB.
- Dedicated webpage
- 24 hours Introduction to operating systems.
- Handouts: [TDo1][TDo2][TDo3][TDo4]
- 24 hoursProgrammation avancée en C.
- Handouts: [TDo1][TDo2][TDo3][TDo4][TDo5][Exam 2013][TDo6]
Curriculum vitae
- 2011-2014 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 high-school students: Number representation in computers
Contact
-
DALI UPVD-LIRMM project-team
Université de Perpignan Via Domitia Building B (Room BN1-7) 52 avenue Paul Alduy F-66860 Perpignan cedex 9, France
Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier CNRS: UMR 5506 - Université Montpellier 2 161 rue Ada F-34095 Montpellier cedex 5, France
Email