HotOS 2015 paper