Talks

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”, Selinar 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