I am a post-doc in the Convecs team at Inria.

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.

Email: lujingyan@gmail.com

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.

PhD thesis

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]