Towards Proving Optimistic Multicore Schedulers. - Baptiste Lepers; Willy Zwaenepoel; Jean-Pierre Lozi; Nicolas Palix; Redha Gouicem; Julien Sopena; Julia Lawall; Gilles Muller (HotOS, 2017)

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. - Justinien Bouron; Sebastien Chevalley; Baptiste Lepers; Willy Zwaenepoel; Redha Gouicem; Julia Lawall; Gilles Muller; Julien Sopena (USENIX ATC, 2018)

Fork/Wait and Multicore Frequency Scaling: a Generational Clash. - Damien Carver; Redha Gouicem; Jean-Pierre Lozi; Julien Sopena; Baptiste Lepers; Willy Zwaenepoel; Nicolas Palix; Julia Lawall; Gilles Muller (PLOS@SOSP, 2019)

Provable multicore schedulers with Ipanema: application to work conservation. - Baptiste Lepers; Redha Gouicem; Damien Carver; Jean-Pierre Lozi; Nicolas Palix; Maria-Virginia Aponte; Willy Zwaenepoel; Julien Sopena; Julia Lawall; Gilles Muller (EuroSys, 2020)

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. - Redha Gouicem; Damien Carver; Jean-Pierre Lozi; Julien Sopena; Baptiste Lepers; Willy Zwaenepoel; Nicolas Palix; Julia Lawall; Gilles Muller (USENIX ATC, 2020)

Thread Scheduling in Multi-core Operating Systems. (Ordonnancement de Fils d'Exécution dans les Systèmes d'Exploitation Multi-cœurs). - Redha Gouicem (2020)

VMSH: hypervisor-agnostic guest overlays for VMs. - Jörg Thalheim; Peter Okelmann; Harshavardhan Unnibhavi; Redha Gouicem; Pramod Bhatotia (EuroSys, 2022)

Lasagne: a static binary translator for weak memory model architectures. - Rodrigo C. O. Rocha; Dennis Sprokholt; Martin Fink 004; Redha Gouicem; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (PLDI, 2022)

Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. - Redha Gouicem; Dennis Sprokholt; Jasper Ruehl; Rodrigo C. O. Rocha; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (ASPLOS (1), 2023)