Redha Gouicem

Associate Professor

RWTH Aachen University

I am an Associate Professor at RWTH Aachen University leading the Operating Systems group. My research revolves around operating systems, scheduling, virtualisation, and binary translation systems, with a flavour of formal verification.

Before that, I worked as a senior researcher in the Department of Informatics at TU Munich, in the chair of Distributed Systems and Operating Systems, where I lead the OS and Virtualization team.

I obtained my Ph.D. in computer science in 2020 from Sorbonne Université, where I worked in the Whisper research group at LIP6 and Inria, under the supervision of Gilles Muller and Julien Sopena. My work focused on thread scheduling in general-purpose operating systems.

We have open positions for Ph.D. students and B.Sc./M.Sc. thesis at our chair!
Contact me if you want to apply!

Featured Publications

Full publication list

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, 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

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

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