Towards a Linear-Algebraic Hypervisor
arxiv.org