presented at event 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’14), co-located with ASPLOS 2014 Conference 2013 ACM Symposium on Cloud Computing (SoCC’13) Conference