Talks

November 2022 Seminar at Inria team Emeraude, Lyon

June 2022 CANUM: Calcul et Algorithmique Numérique, invited to special session on reliable computing, Evian-les-Bains, France

March 2022 ReCAP: International Workshop on Reliable Computing and Computer-Assisted Proofs, plenary speaker, Japan

March 2022 Journées Nationales de GDR Informatique Mathématiques, Lille, France

29 November 2019 “Optimal design of multiplierless FIR filters”, RAIM 2019 : 11èmes Rencontres Arithmétique de l’Informatique Mathématique, Toulon, France

28 November 2019 “Semi-Automatic implementation of the complementary error function“, RAIM 2019 : 11èmes Rencontres Arithmétique de l’Informatique Mathématique, Toulon, France

17 July 2019 “Sound approximations of programs with elementary functions”, presenting our work with Eva Darulova at Computer-Aided Verification conference, New York, USA[slides]

12 July 2019 “Reliable and accurate computing. Computer arithmetic approach for digital filters”, invited talk at the Design and Automation of Robust Systems workshop, New York, USA [slides]

11 Jun 2019 “Semi-Automatic implementation of the complementary error function”, presenting our work with Jean-Michel Muller at ARITH-26, Kyoto, Japan[slides]

14 November 2018 “Towards reliable and efficient computing”, Seminar at  LS2N in the team OGRE, Nantes, France

12 November 2018 “Sound approximation of programs with elementary functions”, RAIM 2018 : 10èmes Rencontres Arithmétique de l’Informatique Mathématique, Gif-sur-Yvette, France [slides]

12 September 2018 “FiXiF toolbox: numerically reliable digital filters”, invited to the special session on HPC & Tools at the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Tokyo, Japan [slides]

25 May 2018 “Towards reliable implementation of digital filters. How digital signal processing and computer arithmetic meet”, LRI, Orsay, France

3 April 2018 poster presenting synthesis of my research at Journées Nationales du GDR-IM

23 November, 2017 “Rigorous verification of digital implemented filters. “, Seminar at Max Plank Institute for Software Systems, Saarbruken, Germany

21 November, 2017 “How digital signal processing and computer arithmetic meet”, Seminar at University of Kassel, Kassel, Germany

24-26 October, 2017 “Rigorous verification of digital implemented filters against frequency specifications”, RAIM 2017 : 9ème Rencontres Arithmétique de l’Informatique Mathématique, Lyon, France

25 September, 2017 “Algorithmique de l’implémentation fiable de filtres numériques”, thesis defence, University of Pierre and Marie Curie, Paris, France [slides]

31 August – 4 September, 2017 “Multiplierless unified architecture for mixed radix-2/3/4 FFTs”, European Signal Processing Conference 2017 (EUSIPCO2017), Kos island, Greece

20 June, 2017 “Using the Specialized Implicit Form for the error-analysis of FFT implementations”, Tampere University of Technology, Tampere, Finland

1 June, 2017 “Techniques for the reliable implementation of digital filters”, Inria/Irisa, Rennes, France

5 January, 2017 “Towards reliable implementation of digital filters”, ENS Lyon, Lyon, France [slides]

3 November, 2016 “Reliable implementation of digital filters: framework overview”, University of California, Berkeley, CA, USA

1 November, 2016 “Reliable implementation of digital filters: framework overview”, University of Texas in El Paso, El Paso, TX, USA

26-30 October, 2016 “Reliable Fixed-Point Implementation of Linear Data-Flows”, 30th IEEE Workshop on Signal Processing Systems (SiPS 2016), Dallas, TX, USA  [poster]

26-30 September, 2016 “Computing the Worst-Case Peak Gain of a digital filter in Interval Arithmetic”, SCAN 2016, Uppsala, Sweden [slides]

21-26 August, 2016 “Optimization techniques in implementation of linear time-invariant control systems”, Conference on Computer Algebra and Information Technologies, Odessa, Ukraine

28-30 June, 2016 “Towards reliable implementation of digital filters”, RAIM 2016 : 8ème Rencontres Arithmétique de l’Informatique Mathématique, Banyuls-sur-Mer, France [slides]

11 May, 2016 “Towards unified code generation for libms and filters”, Mid-term thesis report, Paris, France [slides]

4-8 April, 2016 “Reliable implementation of digital filters”, L’école Jeunes Chercheurs en Informatique Mathématique 2016 (EJCIM 2016), Strasbourg, France [slides]

8-11 November, 2015 “Determining Fixed-Point Formats for a Digital Filter Implementation using the Worst-Case Peak Gain Measure”, 49th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, USA [slides]

31 August – 4 September, 2015 “Fixed-Point implementation of lattice wave digital filter: comparison and error analysis”, European Signal Processing Conference 2015 (EUSIPCO2015), Nice, France [slides]

22-24 June, 2015 “Reliable evaluation of the worst-case peak gain matrix in multiple precision”, 22nd IEEE Symposium on Computer Arithmetic (ARITH22), Lyon, France [slides]

… as well as at seminars of PEQUAN team at LIP6 and at ANR Metalibm project meetings.