Hanbing Li

I’m a PhD student supervised by Isabelle Puaut and Erven Rohou

E-mail address: hanbing.li@inria.fr

Thesis: Extraction and traceability of flow information for WCET estimation.

Research

• Framework to trace and maintain flow information for WCET estimation from source code to machine code to benefit from optimizations
• Implementation in the LLVM compiler and output for the Heptane static WCET analysis tool

Publications

• Traceability of flow information: Reconciling compiler optimizations and wcet estimation. Hanbing Li, Isabelle Puaut, and Erven Rohou.  In RTNS-22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France.
• Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. Hanbing Li, Isabelle Puaut, and Erven Rohou. In RTCSA-21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2015, Hong-Kong, China.