Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. - Jean-Pierre Lozi; Florian David; Gaël Thomas 001; Julia Lawall; Gilles Muller (USENIX ATC, 2012)

Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. - Suman Saha 002; Jean-Pierre Lozi; Gaël Thomas 001; Julia L. Lawall; Gilles Muller (DSN, 2013)

Towards more scalable mutual exclusion for multicore architectures. (Vers des mécanismes d'exclusion mutuelle plus efficaces pour les architectures multi-cœur). - Jean-Pierre Lozi (2014)

The Linux scheduler: a decade of wasted cores. - Jean-Pierre Lozi; Baptiste Lepers; Justin R. Funston; Fabien Gaud; Vivien Quéma; Alexandra Fedorova (EuroSys, 2016)

Fast and Portable Locking for Multicore Architectures. - Jean-Pierre Lozi; Florian David; Gaël Thomas 001; Julia Lawall; Gilles Muller (ACM Trans. Comput. Syst., 2016)

Your Cores Are Slacking Off - Or Why OS Scheduling Is a Hard Problem. - Jean-Pierre Lozi; Baptiste Lepers; Justin R. Funston; Fabien Gaud; Vivien Quéma; Alexandra Fedorova (login Usenix Mag., 2016)

Towards Proving Optimistic Multicore Schedulers. - Baptiste Lepers; Willy Zwaenepoel; Jean-Pierre Lozi; Nicolas Palix; Redha Gouicem; Julien Sopena; Julia Lawall; Gilles Muller (HotOS, 2017)

Analytics with smart arrays: adaptive and efficient language-independent data. - Iraklis Psaroudakis; Stefan Kaestle; Matthias Grimmer; Daniel Goodman; Jean-Pierre Lozi; Tim Harris 001 (EuroSys, 2018)

Placement of Virtual Containers on NUMA systems: A Practical and Comprehensive Model. - Justin R. Funston; Maxime Lorrillere; Alexandra Fedorova; Baptiste Lepers; David Vengerov; Jean-Pierre Lozi; Vivien Quéma (USENIX ATC, 2018)

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 (PLOS@SOSP, 2019)

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, 2020)

CSR++: A Fast, Scalable, Update-Friendly Graph Data Structure. - Soukaina Firmli; Vasileios Trigonakis; Jean-Pierre Lozi; Iraklis Psaroudakis; Alexander Weld; Dalila Chiadmi; Sungpack Hong; Hassan Chafi (OPODIS, 2020)

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 (USENIX ATC, 2020)

Montsalvat: Intel SGX shielding for GraalVM native images. - Peterson Yuhala; Jämes Ménétrey; Pascal Felber; Valerio Schiavoni; Alain Tchana; Gaël Thomas 001; Hugo Guiroux; Jean-Pierre Lozi (Middleware, 2021)

aDFS: An Almost Depth-First-Search Distributed Graph-Querying System. - Vasileios Trigonakis; Jean-Pierre Lozi; Tomás Faltín; Nicholas P. Roth; Iraklis Psaroudakis; Arnaud Delamare; Vlad Haprian; Calin Iorgulescu; Petr Koupy; Jinsoo Lee; Sungpack Hong; Hassan Chafi (USENIX ATC, 2021)

OS scheduling with nest: keeping tasks close together on warm cores. - Julia Lawall; Himadri Chhaya-Shailesh; Jean-Pierre Lozi; Baptiste Lepers; Willy Zwaenepoel; Gilles Muller (EuroSys, 2022)

Artifact for the paper "OS Scheduling with Nest: Keeping Threads Close Together on Warm Cores". - Julia Lawall; Himadri Chhaya-Shailesh; Jean-Pierre Lozi; Baptiste Lepers; Willy Zwaenepoel; Gilles Muller (Zenodo, 2022)

A Reachability Index for Recursive Label-Concatenated Graph Queries. - Chao Zhang 045; Angela Bonifati; Hugo Kapp; Vlad Ioan Haprian; Jean-Pierre Lozi (ICDE, 2023)

FastXenBlk: high-performance virtualized disk IOs without compromising isolation (industry track). - Damien Thenot; Jean-Pierre Lozi; Gaël Thomas 001 (Middleware Industry, 2023)

SecV: Secure Code Partitioning via Multi-Language Secure Values. - Peterson Yuhala; Pascal Felber; Hugo Guiroux; Jean-Pierre Lozi; Alain Tchana; Valerio Schiavoni; Gaël Thomas 001 (Middleware, 2023)

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. - Julia Lawall; Keisuke Nishimura; Jean-Pierre Lozi (SAS, 2024)

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (Artifact). - Julia Lawall; Keisuke Nishimura; Jean-Pierre Lozi (Zenodo, 2024)