1st Workshop on Kernel Isolation, Safety and Verification (KISV 2023)
October 23, 2023 Koblenz, Germany In conjunction with the 29th ACM Symposium on Operating Systems Principles (SOSP '23) This workshop aims to bring together researchers and developers from the field of operating systems, programming languages, security, computer architecture and verification with the goal to accelerate changes in the kernel through a combination of isolation, programming language safety, and formal verification. The objectives of the workshop are: Identify the challenges and opportunities in using hardware support for kernel isolation, safe programming languages like Rust, and automated verification tools like Dafny within the kernel environment....