© Xavier Pierre / CNRS
I am a CNRS researcher in the CAMUS / ICPS team of ICube, in Strasbourg, France. I am regularly looking for motivated computer science students interested in becoming young researchers!
Research Goal. The goal of my research is to empower programmers to optimize programs safely, interactively, and across abstraction layers. I plan to develop a novel optimization assistant that adapts to software and hardware evolution, includes an effective interactive feedback loop, and is able to reason about numerical accuracy of finite precision numbers (integers, floating-point and fixed point numbers).
Highlighted Projects.
- OptiTrust is a framework for programmer-guided, verified program optimization, based on source-to-source transformations and separation logic. The development of OptiTrust is led by Arthur Charguéraud and me. Check out some OptiTrust case studies here.
- more incubating!
PhD Thesis. I received my PhD from the University of Glasgow, in Scotland, supervised by Michel Steuwer and Phil Trinder. I worked on the high-level functional language Rise and its Shine compiler that applies optimizations using rewrite rules before generating imperative code. My thesis shows the potential of Shine to achieve domain-extensibility, controllable automation, and generate high performance code. Domain-extensibility facilitates adapting compilers to new algorithms and hardware. Controllable automation enables performance engineers to gradually take control of the optimization process.
You can read my Curriculum Vitae to learn more.