Publications

2024

1. ESOP 2024

   Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

   Lermusiaux, Pierre, and Montagu, Benoît

   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

   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://doi.org/10.1007/978-3-031-57267-8\_15},
     doi = {10.1007/978-3-031-57267-8\_15},
   }

2022

1. PhD Thesis

   Analyse statique de transformations pour l’élimination de motifs

   Lermusiaux, Pierre

   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

   Cirstea, Horatiu,  Lermusiaux, Pierre, and Moreau, Pierre-Etienne

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

   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

   Cirstea, Horatiu,  Lermusiaux, Pierre, and Moreau, Pierre-Etienne

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

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