An important bit of context is that this is a talk from the workshop "MoreVMs", which is about -- you guessed it -- language VMs and not systems VMs. In that co

An important bit of context is that this is a talk from the workshop "MoreVMs", which is about -- you guessed it -- language VMs and not systems VMs. In that context, the qualifier is not necessary. In more general contexts I tend to write "language VMs" explicitly.