Workshop on Hot Topics in Operating Systems