Analysing Parallel Complexity of Term Rewriting. - Thaïs Baudon; Carsten Fuhs; Laure Gonnord (LOPSTR, 2022)

Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types. - Thaïs Baudon; Gabriel Radanne; Laure Gonnord (Proc. ACM Program. Lang., 2023)

On Complexity Bounds and Confluence of Parallel Term Rewriting. - Thaïs Baudon; Carsten Fuhs; Laure Gonnord (Fundam. Informaticae, 2024)

Algebraic Data Types for High-Performance Computing. (Types algébriques pour le calcul haute performance). - Thaïs Baudon (2024)