Publications

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

PDF Artifact Source code

Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia. Lasagne: A Static Binary Translator for Weak Memory Model Architectures. PLDI, 2022.

PDF Artifact

Jörg Thalheim, Peter Okelmann, Harshavardhan Unnibhavi, Redha Gouicem, Pramod Bhatotia. VMSH: Hypervisor-Agnostic Guest Overlays for VMs. Eurosys, 2022.

PDF Source code Artifact award

Redha Gouicem. Thread Scheduling in Multi-core Operating Systems. Ph.D. Thesis (Awarded the accessit to the 2021 French Ph.D. Award in Network and Distributed Systems), 2020.

PDF Slides Video (fr)

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

PDF Slides Video

Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller. Provable Multicore Schedulers with Ipanema: Application to Work Conservation. EuroSys, 2020.

PDF

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

PDF

Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix. Understanding Scheduler Performance : a Feature-based Approach. Compas - Conférence d’informatique en Parallélisme, Architecture et Système, 2019.

PDF

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

PDF

Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix. Ipanema : un Langage Dédié pour le Développement d'Ordonnanceurs Multi-coeur Sûrs. Compas: Conférence d’informatique en Parallélisme, Architecture et Système, 2017.

PDF

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

PDF