Towards compilation of an imperative language for FPGAs. - Baptiste Pauget; David J. Pearce 001; Alex Potanin (VMIL@SPLASH, 2018)

Polymorphic Types with Polynomial Sizes. - Jean-Louis Colaço; Baptiste Pauget; Marc Pouzet (ARRAY@PLDI, 2023)

Spécification de la mémoire dans un langage synchrone flot de données doté de tableaux de taille statique. (Memory Specification in a Data-flow Synchronous Language with Statically Sized Arrays). - Baptiste Pauget (2023)

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. - Jean-Louis Colaço; Michael Mendler; Baptiste Pauget; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2023)