Redha Gouicem

Research Group Leader – OS and Virtualization Team

Decentralized Systems Engineering Chair - TU Munich

I’m a computer systems researcher in the Department of Informatics at TU Munich, in the Decentralized Systems Engineering chair, where I lead the OS and Virtualization team. I currently work on binary translation systems, more precisely on cross-architecture binary emulation.

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

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

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

PDF 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