Co-occurring keywords · papers mentioning both
Papers
KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
OSDI 2025
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel
OSDI 2024
The benefits and costs of writing a POSIX kernel in a high-level language
OSDI 2018