David DEFOUR

University Professor in Computer Science

Contact

Office: Building B, 2st Floor. (google map , campus)
Postal: LAMPS, Université de Perpignan, 52 avenue Paul Alduy, 66860 Perpignan, France
Office Phone: 33 (0)4 30 19 23 06
Fax: 33 (0)4 68 66 22 87
Email: david.defour (AT) univ-perp.fr

Field of interest

• Computer Arithmetic: Number Systems, Numerical Reproducibility, Low Precision, Floating-Point Algorithms, Elementary Functions Evaluation
• HPC: GP-GPU, BLAS,
• Computer Architecture and microarchitecture: GPU, Embedded multicores, Reverse engineering, Power Consumption
• Applications: Renewable energy, Banking, Scientific Computing, BioInformatics, Cybersecurity

Thesis proposal

You are a master student and interested in working in any of those fields. Should you need further information on available subject, do not hesitate to contact me via email.

• Detection of Numerical Bugs with Large Language Model(LLM)
• Evaluation of SAT Solvers and Bit-Blasting to challenges numerical bugs in programs
• Evaluation of Soft Error Resilience in Floating-Point Units
• Numerical Debugging through Reverse Execution: Trace Construction and Reverse Replay in HPC Programs

,