Jean-Pierre Lozi

Publications

Communication dans un congrès (23)

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
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
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
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
SecV: Secure code partitioning via multi-language secure values Peterson Yuhala,Pascal Felber,Hugo Guiroux,Jean-Pierre Lozi,Alain Tchanaet 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
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
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
OS Scheduling with Nest: Keeping Tasks Close Together on Warm Cores Julia Lawall,Himadri Chhaya-Shailesh,Jean-Pierre Lozi,Baptiste Lepers,Willy Zwaenepoelet al. EuroSys 2022 - Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩ Communication dans un congrès hal-03612592v1
Montsalvat: Intel SGX shielding for GraalVM native images Peterson Yuhala,Jämes Ménétrey,Pascal Felber,Valerio Schiavoni,Alain Tchanaet 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
aDFS: An Almost Depth-First-Search Distributed Graph-Querying System Vasileios Trigonakis,Jean-Pierre Lozi,Tomáš Faltín,Nicholas P Roth,Iraklis Psaroudakiset al. USENIX ATC '21, Jul 2021, Online, United States Communication dans un congrès hal-03249229v1
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 Leperset al. 2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States Communication dans un congrès hal-02901169v1
Provable Multicore Schedulers with Ipanema: Application to Work Conservation Baptiste Lepers,Redha Gouicem,Damien Carver,Jean-Pierre Lozi,Nicolas Palixet al. Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩ Communication dans un congrès hal-02554342v1
CSR++: A Fast, Scalable, Update-Friendly Graph Data Structure Soukaina Firmli,Vasileios Trigonakis,Jean-Pierre Lozi,Iraklis Psaroudakis,Alexander Weldet 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
Understanding scheduler performance : a feature-based approach Redha Gouicem,Julien Sopena,Julia Lawall,Gilles Muller,Baptiste Leperset 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
Fork/Wait and Multicore Frequency Scaling: a Generational Clash Damien Carver,Redha Gouicem,Jean-Pierre Lozi,Julien Sopena,Baptiste Leperset 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
Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs Redha Gouicem,Julien Sopena,Julia Lawall,Gilles Muller,Baptiste Leperset 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
Towards Proving Optimistic Multicore Schedulers Baptiste Lepers,Willy Zwaenepoel,Jean-Pierre Lozi,Nicolas Palix,Redha Gouicemet 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
The Linux Scheduler: a Decade of Wasted Cores Jean-Pierre Lozi,Baptiste Lepers,Justin Funston,Fabien Gaud,Vivien Quémaet al. EuroSys 2016, ACM, Apr 2016, London, United Kingdom. ⟨10.1145/2901318.2901326⟩ Communication dans un congrès hal-01295194v1
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
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
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
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

Rapport (3)

BPF Hybrid Lock: Using eBPF to communicate with the scheduler Victor Laforet,Jean-Pierre Lozi,Julia Lawall Inria; Institut Polytechnique de Paris. 2023 Rapport (rapport contrat/projet) hal-04266815v2
Graphing Tools for Scheduler Tracing Julia Lawall,Himadri Chhaya-Shailesh,Jean-Pierre Lozi,Gilles Muller RR-9498, Inria Paris. 2023 Rapport (rapport de recherche) hal-04001993v1
Efficient locking for multicore architectures Jean-Pierre Lozi,Gaël Thomas,Julia L. Lawall,Gilles Muller [Research Report] RR-7779, INRIA. 2011, pp.30 Rapport (rapport de recherche) hal-00641252v1

Poster de conférence (1)

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

Chapitre d'ouvrage (1)

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

Article dans une revue (2)

How useful randomness for cryptography can emerge from multicore-implemented complex networks of chaotic maps Jean-Pierre Lozi,René Lozi,Oleg Garasym Journal of Difference Equations and Applications, 2017, 23 (5), pp.821-859. ⟨10.1080/10236198.2017.1287176⟩ Article dans une revue hal-01742568v1
Fast and Portable Locking for Multicore Architectures Jean-Pierre Lozi,Florian David,Gaël Thomas,Julia Lawall,Gilles Muller ACM Transactions on Computer Systems, 2016, ⟨10.1145/2845079⟩ Article dans une revue hal-01252167v1

Thèse (1)

Towards more scalable mutual exclusion for multicore architectures Jean-Pierre Lozi Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066119⟩ Thèse tel-01303075v2