Publications

Lasagne: A Static Binary Translator for Weak Memory Model Architectures. PLDI, 2022.

PDF

VMSH: Hypervisor-Agnostic Guest Overlays for VMs. Eurosys, 2022.

PDF Artifact award

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. USENIX ATC, 2020.

PDF Slides Video

Provable Multicore Schedulers with Ipanema: Application to Work Conservation. EuroSys, 2020.

PDF

Fork/Wait and Multicore Frequency Scaling: a Generational Clash. PLOS Workshop @ SOSP, 2019.

PDF

Understanding Scheduler Performance : a Feature-based Approach. Compas - Conférence d’informatique en Parallélisme, Architecture et Système, 2019.

PDF

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. USENIX ATC, 2018.

PDF

Ipanema : un Langage Dédié pour le Développement d'Ordonnanceurs Multi-coeur Sûrs. Compas: Conférence d’informatique en Parallélisme, Architecture et Système, 2017.

PDF

Towards Proving Optimistic Multicore Schedulers. HotOS, 2017.

PDF