Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
No abstract available.
Related papers
- Modular verification of preemptive OS kernels JFP 2013
- Modular verification of preemptive OS kernels ICFP 2011
- Load balancing on speed PPoPP 2010
- Integrating Formal Schedulability Analysis into a Verified OS Kernel CAV 2019
- Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers CAV 2026
- Verifying the Verifier: eBPF Range Analysis Verification CAV 2023
- Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C CAV 2019
- Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel SAS 2024