Keisuke Nishimura -

Registered user since Tue 13 Aug 2024

Name:Keisuke Nishimura

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