Concepedia

Redha Gouicem

RG

Statistics

Publications

3

Citations

46

H-Index

3

Active since

2020

Affiliations

Sorbonne Université(Current)

Redha Gouicem is an author at Sorbonne Université specializing in formal verification, operations research, and parallel programming.

Top concepts

EngineeringFormal MethodsComputer ScienceParallel ComputingFormal VerificationOperations ResearchSystems EngineeringComputer EngineeringParallel ProgrammingComputer Architecture

Publications per year

2020–2022

3

Publications

3

Provable multicore schedulers with Ipanema

Baptiste Lepers, Redha Gouicem, Damien Carver et al. · 2020 · 16 citations · Full text

Engineering, Computer Architecture, Work Conservation +17

Lasagne: a static binary translator for weak memory model architectures

Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink et al. · 2022 · 16 citations · Full text

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS

Justinien Bouron, Sebastien Chevalley, Baptiste Lepers et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2020 · 14 citations · Full text

1–3 of 3