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.
Software:
- 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:
- CoDIT'24, CoDIT'23, Program Committee
- PLDI'24 , SAS'23, ECOOP'23, SAS'22, FORMATS'22, Artifact Evaluation Committee
- PLDI'23 SRC , CoDIT'23, The journal of Supercomputing 2022 , Reviewer
- ECOOP'23, FORMATS'22, External Review Committee