Arbitrary and Variable Precision Floating-Point Arithmetic Support in Dynamic Binary Translation. - Marie Badaroux; Frédéric Pétrot (ASP-DAC, 2021)

To Pin or Not to Pin: Asserting the Scalability of QEMU Parallel Implementation. - Marie Badaroux; Saverio Miroddi; Frédéric Pétrot (DSD, 2021)

Fast Instruction Cache Simulation is Trickier than You Think. - Marie Badaroux; Julie Dumas; Frédéric Pétrot (DroneSE/RAPIDO@HiPEAC, 2023)