Login / Signup
Baptiste Pauget
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 3
Top Topics
Systolic Array
Control Flow
Programming Language
State Machines
Top Venues
ACM Trans. Embed. Comput. Syst.
ARRAY@PLDI
VMIL@SPLASH
</>
Publications
</>
Jean-Louis Colaço
,
Michael Mendler
,
Baptiste Pauget
,
Marc Pouzet
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.
ACM Trans. Embed. Comput. Syst.
22 (5s) (2023)
Jean-Louis Colaço
,
Baptiste Pauget
,
Marc Pouzet
Polymorphic Types with Polynomial Sizes.
ARRAY@PLDI
(2023)
Baptiste Pauget
,
David J. Pearce
,
Alex Potanin
Towards compilation of an imperative language for FPGAs.
VMIL@SPLASH
(2018)