Proceedings of the Workshop on Hot Topics in Operating Systems