papers: update with homesys, tma, and ml icfp workshops