My name is Philippe Théveny, I am currently a PhD student in the ARIC (formerly ARENAIRE) team under the supervision of Nathalie REVOL.

Interests

My PhD thesis, whose title is Numerical quality and high performance in scientific computing on emerging architectures, focuses on the trade-off between efficiency and numerical quality of floating-point algorithms when implemented on multi-core processors.

Software

I made some contributions to the following libraries of mathematical functions for floating-point numbers in arbitrary precision:

• MPFR: real numbers.
• MPC: complex numbers.
• MPFI: real intervals.

Publications

• V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer and N. Revol LEMA: towards a language for reliable arithmetic. ACM Commun. Comput. Algebra 44, 1/2 (July 2010), 41-52. DOI=10.1145/1838599.1838622
• K. R. Ghazi, V. Lefèvre, P. Théveny, P. Zimmermann. Why and how to use arbitrary precision. IEEE Des. Test 12, 3 (May 2010), 5-5. DOI=10.1109/MCSE.2010.73

Talks

• LEMA: towards a language for reliable arithmetic at the 2010 International Workshop on Programming Languages for Mechanized Mathematics Systems