Jean-Pierre Lozi

31
Documents

Publications

Publications

Deposit thumbnail

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-05337063v1
Deposit thumbnail

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-05306363v1
Deposit thumbnail

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-04708445v1
Deposit thumbnail

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-03905483v2
Deposit thumbnail

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-04355247v1
Deposit thumbnail

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-04354563v1
Deposit thumbnail

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-03750209v1
Deposit thumbnail

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-03612592v1
Deposit thumbnail

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-03415550v2
Deposit thumbnail

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-03249229v1
Deposit thumbnail

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-02901169v1
Deposit thumbnail

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-02554342v1
Deposit thumbnail

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-03060095v1
Deposit thumbnail

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-02558763v1
Deposit thumbnail

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-02349987v2
Deposit thumbnail

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-02111160v1
Deposit thumbnail

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-01556597v1
Deposit thumbnail

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-01295194v1
Deposit thumbnail

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-00991709v2
Deposit thumbnail

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-01302679v1
Deposit thumbnail

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-00918079v1

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-00779908v1
Deposit thumbnail

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-01302676v1
Deposit thumbnail

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-04262326v1
Deposit thumbnail

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-01767057v1