Proceedings of the 9th ACM SIGPLANSIGOPS international conference on Virtual execution environments - Muir, Steve (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages; ACM Special Interest Group on Operating Systems (ACM, 2013)