Proceedings of the workshop on virtual computer systems on - Journal