Jean-Pierre Lozi -

Not registered as user

Name:Jean-Pierre Lozi

Contributions

2025

OlivierFest

Author of Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core within the OlivierFest 2025-track

2024

Static Analysis Symposium

Keynote Speaker of Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper) within the SAS 2024-track