wosp2020 2wosp2020 1