Keisuke Nishimura -

Registered user since Tue 13 Aug 2024

Name:Keisuke Nishimura

Contributions

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