Homepage

Research

Teaching

Publications


  2016

  • Nasrine DAMOUCHE. Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods. Université de Perpignan Via Domitia - Laboratoire de Mathématiques et de PhySique LAMPS. Perpignan, France, December 12th 2016.
    PDF, SLIDES.

  2017

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Numerical Accuracy Improvement by Interprocedural Program Transformation. 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES. (accepted)

  • Nasrine Damouche and Matthieu Martel. Salsa : An automatic tool improve the accuracy of programs. 6th International Workshop on the Automated Formal Methods, AFM. (accepted)

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations. International Journal of Intelligent Engineering Informatics, IJIEI. (Accepted with minor revision)

  2016

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Improving the numerical accuracy of programs by automatic transformation. International Journal on Software Tools for Technology Transfer, STTT, Springer. 2016

  • Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern and Zachary Tatlock. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. 9th International Workshop on Numerical Software Verification. NSV, Toronto, Ontario, Canada, July 17-18, 2016(PDF)

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Amélioration à la Compilation de la Précision de Programmes Numériques. Journées nationales du GDR GPL 2016, GDR-GPL, Besançon, France, June 07-10, 2016(PDF)

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Data-Types Optimization for Floating-Point Formats by Program Transformation. 3rd IEEE International Conference on Control, Decision and Information Technologies, CoDIT, Saint Julian's, Malta, April 06-08, 2016(PDF)

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Numerically Accurate Code Generation. IEEE/ACM International Symposium on Code Generation and Optimization. ACM New York,CGO, Springer. 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, LOPSTR, Siena, Italy, July 13-15, 2015(PDF)

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Intra-Procedural Optimization of the Numerical Accuracy of Programs. 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS, 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. ACM International Conference on Computing Frontiers 2015 ACM CF, Ischia, Italy, May 18-21, 2015(PDF)

  2014

  • Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot. Transformation of a PID Controller for Numerical Accuracy. 7th International Workshop on Numerical Software Verification, NSV, Vienna, Austria, July 17-18th, 2014 (PDF)

  2017

  • June 21-23 : Improving the accuracy of programs by automatic transformation, 12th rencontre de la communauté française de compilation, Lyon, France.

  • June 12-13 : Numerical Accuracy Improvment by Interprocedural Program Transformation, SCOPES, Sankt Goar, Germany.

  • April 19 : Salsa : An automatic tool improve the accuracy of programs, AFM 2017, Moffett Field, CA, USA.

  2016

  • June 07-10 : Improving the Numerical Accuracy of Programs Based on Floating-Point Arithmetic, GPL-GDR 2016, besançon, France (SLIDES).

  • May 30 - June 03 : Accelerating the Computation of Numerical Methods by Accuracy Optimization, Emerging Trends in Applied Mathematics and Mechanics, ETAMM 2016, Perpignan, France (SLIDES).

  • Fabruaury 02-04 : Inter-procedural Transformation of Numerical Programs, Meeting CAFEIN, Les Angles, France (SLIDES).

  2015

  • February 02-04 : Intra-Procedural Optimization of the Numerical Accuracy of Programs , Meeting CAFEIN, Les Angles, France (SLIDES).
  • January 12-14 : 9th meeting of Compiler Days , Paris, France (SLIDES).

  2014

  • June 27-28 : Inter-Expression Transformation of Numerical Programs, Meeting CAFEIN, Banyuls-sur-Mer, France (SLIDES).
  • May 15-16 : l'informatique et les erreurs d'arrondi. 3rd Doctoral's Congress, Perpignan, France (SLIDES).

  2013

  • November 2013 : Transformation automatique de programmes pour la précision numérique. DALI'S Doctoral Day, Perpignan, France.

  2017

  • October, 09-13: école de vérification, Université de Tlemcen, Algérie.
  • August, 27-30: Invited to the Dagstuhl Seminar 17352, Germany.

  2016

  2015

  • September 21-23: Organizer with Matthieu Martel of JDC'10 : 10iemes Journees Nationales de Compilation du GDR GPL , Banyuls-sur-Mer, France.

  • April 13: PC-Chair of NSV 2015: 8th International Workshop on Numerical Software Verification 2015 , Seattle, USA.

  2014

  • September 11-13 : 21st International Static Analysis Symposium , Munich, Germany (SAS 2014).
  • July 18-22 : 26th International Conference on Computer-Aided Verification , Vienna, Austria (CAV 2014).
  • May 26 : Participation at the regional final competition of My Thesis in 180s France. (MT180s)

  2013

  • November 18-20 : 6th meeting of Arithmétiques de l'Informatique Mathématique , Paris, France (RAIM 2013).

  2016

  • March 12-18 : Numerically Accurate Code Generation. International Symposium on Code Generation and Optimization (CGO), CGO, Barcelona, Espagne. (POSTER)

  2015

  • May 18-21 : Optimizing the Accuracy of a Satellite Trajectory Simulation by Program Transformation. ACM International Conference on Computing Frontiers, ACM CF, Ischia, Italy. (POSTER)

  2013

  • May 15-16 : L'informatique et la Précision des Calculs Numérique. 3rd Doctoral's Congress, Perpignan, France. (POSTER)