Senior Researcher at Inria
Head of the PACAP Research Group
My current research interests include aspects of static and just-in-time compilation, as well as dynamic binary rewriting. I am particularly interested in the interaction of compiler optimizations with micro-architectural features and performance assessment.
More recently, we started investigating compilation techniques dedicated to non-volatile memory and intermittently powered systems.
We also look into how compilation techniques help security mechanisms.
Google Scholar seems to maintain a good publication list.
- Tiptop a simple tool, very similar to the UNIX top utility, that displays the values of hardware performance counters associated to processes and threads. The goal is to make the collection of performance and bottleneck data as simple as possible, including simple installation and usage. No privilege is required, any user can run tiptop. Tiptop has been integrated in major Linux distributions, such as Fedora, Debian, Ubuntu. To give it a try:
# dnf install tiptop
- If-memo is a linker-based technique for enabling software memorizing of any dynamically linked pure function by function interception. Typically, this framework is useful to intercept the computationally expensive pure functions – the transcendental functions from the math library. Our technique does not need the availability of source code and thus can even be applied to commercial applications as well as applications with legacy codes. As far as users are concerned, enabling memoization is as simple as setting an environment variable. Our framework does not make any specific assumptions about the underlying architecture or compiler too-chains, and can work with a variety of current architectures.