Reliable and fast DWARF-based stack unwinding. - Théophile Bastian; Stephen Kell; Francesco Zappa Nardelli (Proc. ACM Program. Lang., 2019)

From micro-OPs to abstract resources: constructing a simpler CPU performance model through microbenchmarking. - Nicolas Derumigny; Fabian Gruber; Théophile Bastian; Christophe Guillon; Louis-Noël Pouchet; Fabrice Rastello (CoRR, 2020)

PALMED: Throughput Characterization for Superscalar Architectures. - Nicolas Derumigny; Théophile Bastian; Fabian Gruber; Guillaume Iooss; Christophe Guillon; Louis-Noël Pouchet; Fabrice Rastello (CGO, 2022)

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)