Jean-Pierre Lozi

31
Documents

Publications

Publications

Image document

Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core

Julia Lawall , Keisuke Nishimura , Jean-Pierre Lozi
OLIVIERFEST '25 - Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday, Oct 2025, Singapore, Singapore. pp.94 - 105, ⟨10.1145/3759427.3760371⟩
Communication dans un congrès hal-05337063 v1
Image document

Tapestry: Revealing Wait-For Dependencies Between Application Threads

Tomáš Faltin , Himadri Chhaya-Shailesh , Julia Lawall , Jean-Pierre Lozi
PLOS 2025 - 13th Workshop on Programming Languages and Operating Systems, Oct 2025, Seoul, South Korea. pp.8, ⟨10.1145/3764860.3768339⟩
Communication dans un congrès hal-05306363 v1
Image document

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler

Julia Lawall , Keisuke Nishimura , Jean-Pierre Lozi
SAS 2024 - 31st Static Analysis Symposium, Oct 2024, Pasadena (California), United States
Communication dans un congrès hal-04708445 v1
Image document

SecV: Secure code partitioning via multi-language secure values

Peterson Yuhala , Pascal Felber , Hugo Guiroux , Jean-Pierre Lozi , Alain Tchana et al.
Middleware '23: 24th International Middleware Conference, Dec 2023, Bologna, Italy. pp.207-219, ⟨10.1145/3590140.3629116⟩
Communication dans un congrès hal-04355247 v1
Image document

A Reachability Index for Recursive Label-Concatenated Graph Queries

Chao Zhang , Angela Bonifati , Hugo Kapp , Vlad Ioan Haprian , Jean-Pierre Lozi
ICDE 2023 - 39th IEEE International Conference on Data Engineering, Apr 2023, Anaheim, United States
Communication dans un congrès hal-03905483 v2
Image document

FastXenBlk: high-performance virtualized disk IOs without compromising isolation

Damien Thenot , Jean-Pierre Lozi , Gaël Thomas
The 24th International Middleware Conference: Industrial Track (Middleware '23), Dec 2023, Bologna, Italy. pp.42-48, ⟨10.1145/3626562.3626834⟩
Communication dans un congrès hal-04354563 v1
Image document

Towards User-Programmable Schedulers in the Operating System Kernel

Djob Mvondo , Antonio Barbalace , Jean-Pierre Lozi , Gilles Muller
SPMA 22 - 11th workshop on Systems for Post-Moore Architectures, Apr 2022, Rennes, France. pp.1-4
Communication dans un congrès hal-03750209 v1
Image document

OS Scheduling with Nest: Keeping Tasks Close Together on Warm Cores

Julia Lawall , Himadri Chhaya-Shailesh , Jean-Pierre Lozi , Baptiste Lepers , Willy Zwaenepoel et al.
EuroSys 2022 - Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩
Communication dans un congrès hal-03612592 v1
Image document

Montsalvat: Intel SGX shielding for GraalVM native images

Peterson Yuhala , Jämes Ménétrey , Pascal Felber , Valerio Schiavoni , Alain Tchana et al.
Middleware '21: 22nd International Middleware Conference, Dec 2021, Online, Canada. pp.352-364, ⟨10.1145/3464298.3493406⟩
Communication dans un congrès hal-03415550 v2
Image document

aDFS: An Almost Depth-First-Search Distributed Graph-Querying System

Vasileios Trigonakis , Jean-Pierre Lozi , Tomáš Faltín , Nicholas P Roth , Iraklis Psaroudakis et al.
USENIX ATC '21, Jul 2021, Online, United States
Communication dans un congrès hal-03249229 v1
Image document

Provable Multicore Schedulers with Ipanema: Application to Work Conservation

Baptiste Lepers , Redha Gouicem , Damien Carver , Jean-Pierre Lozi , Nicolas Palix et al.
Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès hal-02554342 v1
Image document

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 et al.
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Communication dans un congrès hal-02901169 v1
Image document

CSR++: A Fast, Scalable, Update-Friendly Graph Data Structure

Soukaina Firmli , Vasileios Trigonakis , Jean-Pierre Lozi , Iraklis Psaroudakis , Alexander Weld et al.
24th International Conference on Principles of Distributed Systems (OPODIS '20), Dec 2020, Strasbourg (on line), France. ⟨10.4230/LIPIcs.OPODIS.2020.17⟩
Communication dans un congrès hal-03060095 v1
Image document

Fork/Wait and Multicore Frequency Scaling: a Generational Clash

Damien Carver , Redha Gouicem , Jean-Pierre Lozi , Julien Sopena , Baptiste Lepers et al.
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩
Communication dans un congrès hal-02349987 v2
Image document

Understanding scheduler performance : a feature-based approach

Redha Gouicem , Julien Sopena , Julia Lawall , Gilles Muller , Baptiste Lepers et al.
Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Communication dans un congrès hal-02558763 v1
Image document

Towards Proving Optimistic Multicore Schedulers

Baptiste Lepers , Willy Zwaenepoel , Jean-Pierre Lozi , Nicolas Palix , Redha Gouicem et al.
HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩
Communication dans un congrès hal-01556597 v1
Image document

Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs

Redha Gouicem , Julien Sopena , Julia Lawall , Gilles Muller , Baptiste Lepers et al.
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France
Communication dans un congrès hal-02111160 v1
Image document

The Linux Scheduler: a Decade of Wasted Cores

Jean-Pierre Lozi , Baptiste Lepers , Justin Funston , Fabien Gaud , Vivien Quéma et al.
EuroSys 2016, ACM, Apr 2016, London, United Kingdom. ⟨10.1145/2901318.2901326⟩
Communication dans un congrès hal-01295194 v1
Image document

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications

Jean-Pierre Lozi , Florian David , Gaël Thomas , Julia Lawall , Gilles Muller
ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Switzerland
Communication dans un congrès hal-00991709 v2
Image document

EHCtor: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software

Suman Saha , Jean-Pierre Lozi
9ème Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France
Communication dans un congrès hal-01302679 v1
Image document

Hector: Detecting resource-release omission faults in error-handling code for systems software

Suman Saha , Jean-Pierre Lozi , Gaël Thomas , Julia Lawall , Gilles Muller
DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE/IFIP, Jun 2013, Budapest, Hungary. pp.1-12, ⟨10.1109/DSN.2013.6575307⟩
Communication dans un congrès hal-00918079 v1

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications

Jean-Pierre Lozi , Florian David , Gaël Thomas , Julia L. Lawall , Gilles Muller
2012 USENIX Annual Technical Conference (USENIX ATC '12), Jun 2012, Boston, MA, United States. ⟨10.5555/2342821.2342827⟩
Communication dans un congrès hal-00779908 v1
Image document

Le Remote Core Lock (RCL) : une nouvelle technique de verrouillage pour les architectures multi-coeur

Jean-Pierre Lozi
8ème Conférence Française en Systèmes d'Exploitation, May 2011, Saint-Malo, France
Communication dans un congrès hal-01302676 v1
Image document

eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster)

Victor Laforet , Jean-Pierre Lozi , Julia Lawall
SOSP 2023 - The 29th ACM Symposium on Operating Systems Principles, Oct 2023, Koblenz, Germany
Poster de conférence hal-04262326 v1
Image document

The Challenging Problem of Industrial Applications of Multicore-Generated Iterates of Nonlinear Mappings

Jean-Pierre Lozi , Oleg Garasym , René Lozi
P. Manchanda, R. Lozi, A.H. Siddiqi. Industrial mathematics and complex systems, Emerging Mathematical models, Methods and Algorithms, Springer, pp.43-76, 2017, ⟨10.1007/978-981-10-3758-0_4⟩
Chapitre d'ouvrage hal-01767057 v1