Former PhD student in the AriC team at LIP-ENS Lyon, and in the Compilation Expertise Center at STMicroelectronics, under the supervision of Claude-Pierre Jeannerod, Christophe Monat and Jean-Michel Muller.
Curriculum-Vitae: , [PDF]
I am currently carrying on a post-doctoral fellowship on equivalence checking for concurrent asynchronous systems, in the framework of the Bluesky for I-Automation collaborative project.
The subject of my PhD thesis has been the design of efficient custom floating-point operators for integer processors and the compilation techniques to select such operators in application codes. [manuscript, slides]
Simultaneous floating-point sine and cosine for VLIW integer processors, with Claude-Pierre Jeannerod. Accepted for publication in the proceedings of ASAP 2012.
Non-generic floating-point software support for embedded media processing, with Claude-Pierre Jeannerod, Christophe Monat. Accepted for publication in the proceedings of SIES 2012.
How to square floats accurately and efficiently on the ST231 integer processor, with Claude-Pierre Jeannerod, Christophe Monat, and Guillaume Revy. ARITH-20 Proceedings, Tübingen, July 2011.
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors, with Christian Bertin, Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Christophe Mouilleron, Jean-Michel Muller, and Guillaume Revy. PASCO 2010 Proceedings, Grenoble, July 2010.
NLMS-Based AEDA Algorithm for Sound Source Localization (Chinese), with Shou-zheng ZHU. Journal of East China Normal University, Natural Sc, 2007(5): 113-117.
23rd IEEE International Conference on Applicationspecific Systems, Architectures and Processors, The Netherlands, July 2012. [slides]
7th IEEE International Symposium on Industrial Embedded Systems, Germany, June 2012. [slides]
Arénaire Seminar, Ecole Normale Supérieure de Lyon, France, December 2011.