Winston: Revisiting iterative compilation for WCET minimization. - Valentin Pasquale; Isabelle Puaut (RTNS, 2022)

Pure Subtype Systems Are Type-Safe. - Valentin Pasquale; Álvaro García-Pérez (CoRR, 2024)