Weaving Synchronous Reactions into the Fabric of SSA-form Compilers. - Hugo Pompougnac; Ulysse Beaugnon; Albert Cohen 001; Dumitru Potop-Butucaru (ACM Trans. Archit. Code Optim., 2022)

Spécification et compilation de réseaux de neurones embarqués. (Specification and compilation of embedded neural networks). - Hugo Pompougnac (2022)

Bidirectional Reactive Programming for Machine Learning. - Dumitru Potop-Butucaru; Albert Cohen 001; Gordon D. Plotkin; Hugo Pompougnac (CoRR, 2023)

Performance bottlenecks detection through microarchitectural sensitivity. - Hugo Pompougnac; Alban Dutilleul; Christophe Guillon; Nicolas Derumigny; Fabrice Rastello (CoRR, 2024)

Performance Debugging through Microarchitectural Sensitivity and Causality Analysis. - Alban Dutilleul; Hugo Pompougnac; Nicolas Derumigny; Gabriel Rodriguez; Valentin Trophime; Christophe Guillon; Fabrice Rastello (CoRR, 2024)

First-Class Verification Dialects for MLIR. - Mathieu Fehr; Yuyou Fan; Hugo Pompougnac; John Regehr; Tobias Grosser (Proc. ACM Program. Lang., 2025)

CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzers. - Théophile Bastian; Hugo Pompougnac; Alban Dutilleul; Fabrice Rastello (ACM Trans. Archit. Code Optim., 2025)