VMKit: Improving design and performance of Managed Runtime Environments | IEEE Conference Publication | IEEE Xplore