4th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud ’12)