Pierre Lermusiaux

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 2022, 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 2024

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

Pierre Lermusiaux, and Benoît Montagu

In 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

DOI Bib HTML PDF

@inproceedings{LermusiauxM24,
  author = {Lermusiaux, Pierre and Montagu, Beno{\i}t},
  title = {Detection of Uncaught Exceptions in Functional Programs by Abstract
                    Interpretation},
  booktitle = {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}},
  series = {Lecture Notes in Computer Science},
  volume = {14577},
  pages = {391--420},
  publisher = {Springer},
  year = {2024},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-57267-8_15},
  doi = {10.1007/978-3-031-57267-8\_15},
}

PhD Thesis

Analyse statique de transformations pour l’élimination de motifs

Pierre Lermusiaux

Sep 2022

Bib HTML PDF

@phdthesis{Lermu22,
  author = {Lermusiaux, Pierre},
  title = {Analyse statique de transformations pour l’élimination de motifs},
  school = {{Universit{\'e} de Lorraine}},
  year = {2022},
  month = sep,
  type = {PhD Thesis},
  url = {http://www.theses.fr/2022LORR0372},
}

PPDP 2021

Static analysis of pattern-free properties

Horatiu Cirstea, Pierre Lermusiaux, and Pierre-Etienne Moreau

In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021, Sep 2021

DOI Bib HTML PDF

@inproceedings{CirsteaLM21,
  author = {Cirstea, Horatiu and Lermusiaux, Pierre and Moreau, Pierre{-}Etienne},
  title = {Static analysis of pattern-free properties},
  booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                 of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages = {9:1--9:13},
  publisher = {{ACM}},
  year = {2021},
  month = sep,
  doi = {10.1145/3479394.3479404},
  url = {https://dl.acm.org/doi/10.1145/3479394.3479404},
}