Aurèle Barrière wins the EAPLS Best Dissertation Award 2023

With great pleasure, the European Association on Programming Languages and Systems announces the outcome of the EAPLS Best Dissertation Award 2023.

This award is given to the PhD student who has made the most original and influential contribution to the area of Programming Languages and Systems and has graduated in 2023 at a European academic institute. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole.

The winner of this edition of the EAPLS Best Dissertation Award is

 Aurèle Barrière (University of Rennes)

for the PhD thesis entitled

"Formal verification of just-in-time compilation"

supervised by Professor Sandrine Blazy.

The winner was selected by a committee of international experts. Details on the procedure can be found at http://eapls.org/pages/phd_award/. The candidate theses were judged on originality, significance, and quality of writing.

The jury concluded that the dissertation is an outstanding piece of work; it was considered the best amongst very strong contenders. A summary of the jury's findings:

• The application of formal verification methods to JIT is rarely heard before and is very challenging.
• The contribution of Aurèle Barriére shows for the first time how this can be achieved opening an avenue for applying and extending his work to current real-world programming languages and jit compilers.
• The thesis fills up an existing void between the theory and practice in the area.
• The thesis could already immediately be used as a textbook introducing the topic of just-in-time compilation and the formal verification of just-in-time compilers.

We offer Aurèle our heartfelt congratulations on his achievement. We are confident that it will be a sign of a long and distinguished scientific career.