Talks

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

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, 2015Reliable 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.

Advertisements