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 Faculty of Computer Science 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
- Operating Systems and System Software (lectures)
- Linux Kernel Programming (lectures)
- Advanced Operating Systems (lectures)
- Seminars
Publications
- PaCaR: Improved Buffered I/O Locality on NUMA Systems with Page Cache Replication
Jérôme Coquisart, Julien Sopena, Redha Gouicem
Proceedings of the 21st European Conference on Computer Systems (EuroSys ’26), Edinburgh, UK, April 28 - 30, 2026
🏆 Best Paper Award, Best Artifact Award
📄 Paper 📑 Slides ⚗ Artifact 💻 Code - Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures
Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia
Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2026, Pittsburgh, PA, USA, March 22-26, 2026
📄 Paper ⚗ Artifact 💻 Code - Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
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
🏆 Distinguished Artifact Award
📄 Paper ⚗ Artifact - VMSH: Hypervisor-Agnostic Guest Overlays for VMs
Jörg Thalheim, Peter Okelmann, Harshavardhan Unnibhavi, Redha Gouicem, Pramod Bhatotia
EuroSys ’22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5 - 8, 2022
🏆 Gilles Muller Artifact Award
📄 Paper ⚗ Artifact - Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
PLDI ’22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022
📄 Paper ⚗ Artifact - 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 ’20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020
📄 Paper - 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
Proceedings of the 2020 USENIX Annual Technical Conference, USENIX ATC 2020, July 15-17, 2020
📄 Paper 🎥 Presentation - 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
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019
📄 Paper - 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
Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018, Boston, MA, USA, July 11-13, 2018
📄 Paper - Towards Proving Optimistic Multicore Schedulers
Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017
📄 Paper
