Publications

2024

1. ERCIM News

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

   Pierre Lermusiaux, and Benoît Montagu

   ERCIM News, 2024

   Bib HTML

   @article{ERCIM_news,
     author = {Lermusiaux, Pierre and Montagu, Beno{\i}t},
     title = {The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation},
     journal = {{ERCIM} News},
     volume = {139},
     number = {138},
     year = {2024},
     url = {https://ercim-news.ercim.eu/en139/special/the-salto-project-static-analysis-of-ocaml-programs-by-abstract-interpretation},
   }

2. 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},
   }

2023

1. SYNASC 2023

   Generic Encodings and Static Analysis of Constructor Rewriting Systems

   Horatiu Cirstea, Pierre Lermusiaux, and Pierre-Etienne Moreau

   In 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023, 2023

   DOI Bib HTML PDF

   @inproceedings{CirsteaLM23,
     author = {Cirstea, Horatiu and Lermusiaux, Pierre and Moreau, Pierre{-}Etienne},
     title = {Generic Encodings and Static Analysis of Constructor Rewriting Systems},
     booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for
                       Scientific Computing, {SYNASC} 2023, Nancy, France, September 11-14,
                       2023},
     pages = {1--4},
     publisher = {{IEEE}},
     year = {2023},
     url = {https://ieeexplore.ieee.org/document/10522705},
     doi = {10.1109/SYNASC61333.2023.00056},
   }

2022

1. 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},
   }

2021

1. 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},
   }

2020

1. LOPSTR 2020

   Pattern Eliminating Transformations

   Horatiu Cirstea, Pierre Lermusiaux, and Pierre-Etienne Moreau

   In International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, Sep 2020

   DOI Bib HTML PDF

   @inproceedings{CirsteaLM20,
     author = {Cirstea, Horatiu and Lermusiaux, Pierre and Moreau, Pierre{-}Etienne},
     title = {Pattern Eliminating Transformations},
     booktitle = {International Symposium on Logic-Based Program Synthesis and Transformation, {LOPSTR} 2020},
     series = {Lecture Notes in Computer Science},
     volume = {12561},
     pages = {74--92},
     publisher = {Springer},
     year = {2020},
     month = sep,
     doi = {10.1007/978-3-030-68446-4\_4},
     url = {https://link.springer.com/chapter/10.1007/978-3-030-68446-4\_4},
   }