Pierre Lermusiaux
Research Engineer at Inria Rennes
I am currently working as a Research Engineer for Inria, in the Epicure team, at the Brittany Center associated with Université de Rennes. I mainly work on the Salto project, which goal is to provide a static analyser for OCaml programs based on Abstract Interpretation.
As of September 2020, I am a PhD graduate in computer science from Université de Lorraine. I did my thesis at LORIA, under the supervision of Horatiu Cirstea and Pierre-Etienne Moreau, on static analysis methods to guarantee algebraic properties on program transformations using a formalism based on term rewrite systems and pattern-matching.
My scientific interests vary from formal studies of program transformations and applications of the rewrite formalisms, to static analysis techniques. I may dabble into a bit of distributed algorithms and parallel programming paradigms whenever I get the opportunity.
Personal interests include Badminton, Scuba-diving (and eventual associated travels), hiking and a little bit of Piano practice (although my talent is pretty limited).
selected publications
- ESOP 2024Detection of Uncaught Exceptions in Functional Programs by Abstract InterpretationIn Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II 2024