MultiK: A Framework for Orchestrating Multiple Specialized Kernels

Publication
arXiv:1903.06889 [cs.OS]