Binary Analysis Research (BAR) Workshop 2020