Baptiste Pauget

According to our database, Baptiste Pauget authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 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

PhD thesis, 2023

Polymorphic Types with Polynomial Sizes.

Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet

Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, 2023

2018

Towards compilation of an imperative language for FPGAs.

Baptiste Pauget, David J. Pearce, Alex Potanin

Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018