Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments