Jean-Pierre Lozi
31
Documents
Publications
Publications
|
|
Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_coreOLIVIERFEST '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
|
|
|
Tapestry: Revealing Wait-For Dependencies Between Application ThreadsPLOS 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
|
|
|
Should We Balance? Towards Formal Verification of the Linux Kernel SchedulerSAS 2024 - 31st Static Analysis Symposium, Oct 2024, Pasadena (California), United States
Communication dans un congrès
hal-04708445
v1
|
|
|
SecV: Secure code partitioning via multi-language secure valuesMiddleware '23: 24th International Middleware Conference, Dec 2023, Bologna, Italy. pp.207-219, ⟨10.1145/3590140.3629116⟩
Communication dans un congrès
hal-04355247
v1
|
|
|
A Reachability Index for Recursive Label-Concatenated Graph QueriesICDE 2023 - 39th IEEE International Conference on Data Engineering, Apr 2023, Anaheim, United States
Communication dans un congrès
hal-03905483
v2
|
|
|
FastXenBlk: high-performance virtualized disk IOs without compromising isolationThe 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
|
|
|
Towards User-Programmable Schedulers in the Operating System KernelSPMA 22 - 11th workshop on Systems for Post-Moore Architectures, Apr 2022, Rennes, France. pp.1-4
Communication dans un congrès
hal-03750209
v1
|
|
|
OS Scheduling with Nest: Keeping Tasks Close Together on Warm CoresEuroSys 2022 - Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩
Communication dans un congrès
hal-03612592
v1
|
|
|
Montsalvat: Intel SGX shielding for GraalVM native imagesMiddleware '21: 22nd International Middleware Conference, Dec 2021, Online, Canada. pp.352-364, ⟨10.1145/3464298.3493406⟩
Communication dans un congrès
hal-03415550
v2
|
|
|
aDFS: An Almost Depth-First-Search Distributed Graph-Querying SystemUSENIX ATC '21, Jul 2021, Online, United States
Communication dans un congrès
hal-03249229
v1
|
|
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès
hal-02554342
v1
|
|
|
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Communication dans un congrès
hal-02901169
v1
|
|
|
CSR++: A Fast, Scalable, Update-Friendly Graph Data Structure24th 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
|
|
|
Fork/Wait and Multicore Frequency Scaling: a Generational Clash10th 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
|
|
|
Understanding scheduler performance : a feature-based approachCompas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Communication dans un congrès
hal-02558763
v1
|
|
|
Towards Proving Optimistic Multicore SchedulersHotOS 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
|
|
|
Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrsCompas 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
|
|
|
The Linux Scheduler: a Decade of Wasted CoresEuroSys 2016, ACM, Apr 2016, London, United Kingdom. ⟨10.1145/2901318.2901326⟩
Communication dans un congrès
hal-01295194
v1
|
|
|
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded ApplicationsComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Switzerland
Communication dans un congrès
hal-00991709
v2
|
|
|
EHCtor: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software9ème Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France
Communication dans un congrès
hal-01302679
v1
|
|
|
Hector: Detecting resource-release omission faults in error-handling code for systems softwareDSN 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 Applications2012 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
|
|
|
|
Le Remote Core Lock (RCL) : une nouvelle technique de verrouillage pour les architectures multi-coeur8ème Conférence Française en Systèmes d'Exploitation, May 2011, Saint-Malo, France
Communication dans un congrès
hal-01302676
v1
|
|
|
eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster)SOSP 2023 - The 29th ACM Symposium on Operating Systems Principles, Oct 2023, Koblenz, Germany
Poster de conférence
hal-04262326
v1
|
|
|
Graphing Tools for Scheduler TracingRR-9498, Inria Paris. 2023
Rapport
(rapport de recherche)
hal-04001993
v1
|
|
|
BPF Hybrid Lock: Using eBPF to communicate with the schedulerInria; Institut Polytechnique de Paris. 2023
Rapport
(rapport contrat/projet)
hal-04266815
v2
|
|
|
Efficient locking for multicore architectures[Research Report] RR-7779, INRIA. 2011, pp.30
Rapport
(rapport de recherche)
hal-00641252
v1
|
|
|
The Challenging Problem of Industrial Applications of Multicore-Generated Iterates of Nonlinear MappingsP. 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
|
|
|
How useful randomness for cryptography can emerge from multicore-implemented complex networks of chaotic mapsJournal of Difference Equations and Applications, 2017, 23 (5), pp.821-859. ⟨10.1080/10236198.2017.1287176⟩
Article dans une revue
hal-01742568
v1
|
|
|
Fast and Portable Locking for Multicore ArchitecturesACM Transactions on Computer Systems, 2016, ⟨10.1145/2845079⟩
Article dans une revue
hal-01252167
v1
|
|
|
Towards more scalable mutual exclusion for multicore architecturesOther [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066119⟩
Thèse
tel-01303075
v2
|
Chargement...
Chargement...