Domains of Study:

My research is in the field of Static analysis. I am especially interested in computer arithmetic, numerical accuracy, algorithms and semantic models that aim at improving the performance metrics of HPC applications. This applies to:
  • Semantic modelling knowledge of numerical codes
  • Development of techniques based on static analysis: precision tuning, code synthesis, etc.
  • Detecting floating-point accuracy problems.


  • POPiNN : a fixed-point program synthesis tool for neural networks.
  • POPiX : a fixed-point program synthesis tool based on static analysis [version 1] [version 2].
  • Candy : a C++ library for dynamic floating-point cancellation detection.
  • POP : a static tool for precision tuning.

Academic Service:

If you are interested in my research topic, you can send me an email.