Pierre Lermusiaux

According to our database, Pierre Lermusiaux authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation.

Pierre Lermusiaux, Benoît Montagu

ERCIM News, 2024

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.

Pierre Lermusiaux, Benoît Montagu

Proceedings of the Programming Languages and Systems, 2024

2023

Generic Encodings and Static Analysis of Constructor Rewriting Systems.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

2022

Analyse statique de transformations pour l'élimination de motifs. (Static analysis of pattern eliminating transformations).

Pierre Lermusiaux

PhD thesis, 2022

2021

Static analysis of pattern-free properties.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Pattern Eliminating Transformations.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020