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.
PhD Students:
- Julien Bortolussi (October 2024 - 2027): Static analysis-based detection and repair of floating-point arithmetic anomalies.
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