A frog skating and knitting

Thaïs Baudon -- thais [dot] baudon [at] ens-lyon [dot] fr

I am a Ph.D. student at LIP (Lyon, France), in the CASH team, supervised by Gabriel Radanne and Laure Gonnord.

I am working on Algebraic Data Types for High-Performance Computing: highly optimised, flexible memory representations of ADTs that are still suitable for associated language constructs such as pattern matching.

Here is my résumé.

Publications

ICFP 2023 Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
LOPSTR 2022
(best paper award)
Analysing Parallel Complexity of Term Rewriting
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
AFADL 2022
(in French)
Knit&Frog: Pattern matching compilation for custom memory representations
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
WST 2021 Parallel Complexity of Term Rewriting Systems
Thaïs Baudon, Carsten Fuhs, Laure Gonnord

Past internships

February-June 2021 (M2) Internship report
Supervisors: Laure Gonnord, CASH Inria team; Carsten Fuhs, Birkbeck, University of London
June-August 2019 (M1) Internship report
Supervisor: Tiark Rompf, PurPL research group, Purdue University
May-August 2018 (L3) Internship report
Supervisor: Philippe Clauss, CAMUS Inria team