My PhD is about formal verification of Just-in-Time compilers.
In 2019, I completed the Magistère Informatique from the ENS Rennes, and got my Master's degree from the University Rennes 1.
- Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin. Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS 2019
- Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin. Changing Observations in Epistemic Temporal Logic. KR 2018
- Aurèle Barrière, Sandrine Blazy, David Pichardie. Towards Formally Verified Just-in-Time Compilation. CoqPL 2020. Slides. Extended Abstract.
In 2019, I did an internship at IRISA, about formal verification of just-in-time compilation. This work was supervised by Sandrine Blazy and David Pichardie.
2017 Winter Internship
In Winter 2017, I did an internship in the University Federico II in Naples, about Changing Observation in Epistemic Temporal Logics. This internship was done under the supervision of Aniello Murano, Bastien Maubert and Sasha Rubin.
2017 Summer Internship
In Summer 2017, I did an internship with the Software Foundations Laboratory in Seoul National University, about implementing integer-pointer cast semantics in CompCert. This internship was done under the supervision of Chung-Kil Hur.
In 2016, I did an internship in the CELTIQUE team (IRISA Rennes), on high level Worst Case Execution Time (WCET) estimation using Abstract Interpretation and Constraint Programming. This internship was done under the supervision of Charlotte Truchet and David Cachera.
My work can be found on github (report in French).
Most of my work can be found on my github page.