Prof. Redha Gouicem, Ph.D.

Head of the OS group

Github E-Mail dblp ORCID 02.223

Office hours: By appointment. Please book a slot on this link.


I am a researcher in computer science with a focus on operating systems, virtualization, and binary translation. My work often intersects with formally verified systems, where I aim to bring together theoretical rigor and practical applications to improve the reliability and efficiency of system software.

Since June 2023, I lead the Operating Systems Teaching and Research Unit in the Computer Science Department at RWTH. Before that, from 2021, I was a research group leader in the Systems Research Group at TU Munich under Prof. Pramod Bhatotia. In 2020, I earned my Ph.D. from Sorbonne Université (Paris, France), while working at LIP6 and Inria in the Whisper group under the supervision of Gilles Muller and Julien Sopena.


Teaching


Publication list

2023
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. Gouicem Redha, Sprokholt Dennis, Ruehl Jasper, Rocha Rodrigo C.O., Spink Tom, Chakraborty Soham and Bhatotia Pramod. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023.
2022
Lasagne: A Static Binary Translator for Weak Memory Model Architectures. Rocha Rodrigo C.O., Sprokholt Dennis, Fink Martin, Gouicem Redha, Spink Tom, Chakraborty Soham and Bhatotia Pramod. In PLDI ’22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022.
2022
VMSH: Hypervisor-Agnostic Guest Overlays for VMs. Thalheim Jörg, Okelmann Peter, Unnibhavi Harshavardhan, Gouicem Redha and Bhatotia Pramod. In EuroSys ’22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5 - 8, 2022.
2020
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. Gouicem Redha, Carver Damien, Lozi Jean-Pierre, Sopena Julien, Lepers Baptiste, Zwaenepoel Willy, Palix Nicolas, Lawall Julia and Muller Gilles. In Proceedings of the 2020 USENIX Annual Technical Conference, USENIX ATC 2020, July 15-17, 2020.
2020
Provable Multicore Schedulers with Ipanema: Application to Work Conservation. Lepers Baptiste, Gouicem Redha, Carver Damien, Lozi Jean-Pierre, Palix Nicolas, Aponte Maria-Virginia, Zwaenepoel Willy, Sopena Julien, Lawall Julia and Muller Gilles. In EuroSys ’20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020.
2020
Thread Scheduling in Multi-Core Operating Systems. (Ordonnancement de Fils d’exécution Dans Les Systèmes d’exploitation Multi-cœurs). Gouicem Redha.
2019
Fork/Wait and Multicore Frequency Scaling: A Generational Clash. Carver Damien, Gouicem Redha, Lozi Jean-Pierre, Sopena Julien, Lepers Baptiste, Zwaenepoel Willy, Palix Nicolas, Lawall Julia and Muller Gilles. In Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019.
2018
The Battle of the Schedulers: FreeBSD ULE Vs. Linux CFS. Bouron Justinien, Chevalley Sebastien, Lepers Baptiste, Zwaenepoel Willy, Gouicem Redha, Lawall Julia, Muller Gilles and Sopena Julien. In Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018, Boston, MA, USA, July 11-13, 2018.
2017
Towards Proving Optimistic Multicore Schedulers. Lepers Baptiste, Zwaenepoel Willy, Lozi Jean-Pierre, Palix Nicolas, Gouicem Redha, Sopena Julien, Lawall Julia and Muller Gilles. In Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017.