Towards efficient and verified virtual machines for dynamic languages.

Martin Desharnais Stefan Brunthaler

Published in: CPP (2021)

Keyphrases

virtual machine
operating system
data center
low latency
real time
expressive power
language independent
databases